01524nam a2200217Ia 4500 2567 20241202164912.0 201109s9999||||xx |||||||||||||| ||und|| 968-18-0820-7 B000 spa QA9 K6718 Korfhage, Robert R. 11667 Lógica y algoritmos : con aplicaciones a las ciencias de la computación e información / Robert R. Korfhage 1a ed. ; 2da reimpresión México : Limusa, 1982 222 p. : esquemas, 15 x 23 cm Este 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. Matemática Lógica matemática 17098 lcc BK 9702 9702 0 0 lcc V. 1 0 0 G B000 B000 2020-11-10 0 QA9 K6718 4052 2020-11-10 00:00:00 Ej. 1 2020-11-10 BK