con aplicaciones a las ciencias de la computación e información Korfhage, Robert R. creator text xx México Limusa 1982 9999 1a ed. ; monographic und spa 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. Robert R. Korfhage Matemática Lógica matemática QA9 K6718 968-18-0820-7 201109 20241202164912.0