000			01524nam a2200217Ia 4500
003			2567
005			20241202164912.0
008			201109s9999||||xx |||||||||||||| ||und||
020			_a968-18-0820-7
040			_cB000
041			_aspa
050			_aQA9 _bK6718
100			_aKorfhage, Robert R. _911667
245		0	_aLógica y algoritmos : _bcon aplicaciones a las ciencias de la computación e información / _cRobert R. Korfhage
250			_a1a ed. ; _b2da reimpresión
260			_aMéxico : _bLimusa, _c1982
300			_a222 p. : _besquemas, _c15 x 23 cm
520			_aEste libro, fundamentalmente destinado a hombres de empresa, ingenieros, técnicos en computación y matemáticos, presenta un panorama unificado de la teoría y aplicaciones de la lógica moderna y los algoritmos y técnicas del cálculo programado. En su desarrollo, el autor parte del principio de que el usuario y el diseñador de computadoras deben temer algún conocimiento, tanto de lógica como de teoría de algoritmos. Debidoa ello, el lector encuentra una exposición, tan clara como concisa, de temas tales como: Algebra Booleana, Cálculo Proposicional, Algoritmos y Computadoras, Cálculo de Predicados, y otros temas. El autor finaliza con una breve presentación de los desarrollos más recientes de la teoría de los lenguajes formales en relación con los lenguajes de las computadoras y los problemas de la traducción mecánica de las lenguas naturales.
650			_aMatemática _xLógica matemática _917098
942			_2lcc _cBK
999			_c9702 _d9702