Detailansicht
Lógica para estudiantes de computación
Informática
ISBN/EAN: 9783639622225
Umbreit-Nr.: 1036065
Sprache:
Spanisch
Umfang: 60 S.
Format in cm: 0.5 x 22 x 15
Einband:
kartoniertes Buch
Erschienen am 12.01.2017
Auflage: 1/2017
- Zusatztext
- Con este libro el estudiante universitario que haya decidido incursionar en el ámbito de la computación e informática, puede utilizarlo como un material de consulta, el cual contiene tres capítulos. En el primero, se mencionan los conceptos básicos de la lógica, el inicio de la traducción de enunciados del lenguaje natural al lenguaje de la Lógica Proposicional, además, inicia la demostración de estructuras lógicas con los Métodos de Tablas de Verdad y Tablas Semánticas. En el segundo, se refuerza la traducción del lenguaje natural al lenguaje lógico y comienza la demostración de estructuras lógicas mediante Métodos Deductivos. En el tercero, se continua desarrollando las habilidades de traducción de enunciados del lenguaje natural al lenguaje de la lógica de predicados. Así mismo, se describe el procedimiento respecto a demostración de estructuras lógicas mediante los métodos Métodos Deductivos para la Lógica de Predicados. En general, se pretende desarrollar habilidades en el estudiante tanto en la traducción de enunciados como en la demostración de estructuras lógicas.
- Autorenportrait
- MC. Angelino Feliciano Morales es profesor investigador de Tiempo Completo en la Facultad de Ingeniería de la UAGro., México. Maestría en Ciencias, Área: Matemática Educativa, perfil PRODEP, ha publicado en revistas nacionales e internacionales. El Dr. Rene Edmundo Cuevas Valencia es SNI-CONACYT-México e investigador por la UAGro.