TY  - BOOK
AU  - Korfhage, Robert R.
TI  - Lógica y algoritmos: con aplicaciones a las ciencias de la computación e información 
SN  - 968-18-0820-7
AV  - QA9 K6718
PY  - 1982///
CY  - México
PB  - Limusa
KW  - Matemática
KW  - Lógica matemática
N2  - 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
ER  -