Lógica y Matemática. 2a edición

Lógica y Matemática. 2a edición

Para ciencias de la Computación

El libro Lógica y matemática para ciencias de la computación es tanto un resultado de un trabajo de investigación como un producto de la experiencia del autor, el matemático Fidel Barboza Gutiérrez, quien ha escrito varios libros en diversos temas de las matemáticas y ha sido un verdadero "maestro" durante más de 35 años en diferentes universidades públicas y privadas, dedicando su vida a la satisfactoria labor de la docencia. Es para mí un honor y orgullo poder prologar esta obra suya, siendo vocero de sus cientos de "pupilos" que lo admiramos y respetamos reconociendo su carisma, generosidad académica y sabiduría, obteniendo el mejor provecho de su pedagogía y amplio conocimiento expuesto en sus clases magistrales. La Matemática es, tal vez, una de las ciencias exactas más difíciles de enseñar y comprender, pero el profesor Barboza, atendiendo a la pregunta de uno de los grandes genios de la humanidad, el científico Albert Einstein, sobre "¿Cómo explicar que las matemáticas, un producto de la mente humana, independiente de la experiencia, se adapte tan admirablemente bien a los objetos de la realidad?", nos facilita la comprensión, aplicación y utilidad de los conceptos y teorías matemáticas básicas en la formación de un ingeniero, incluyendo aquellas que fundamentan a los algoritmos que aplicamos a casos concretos de la vida, la experimentación y la investigación. 
Prólogo Introducción Agradecimientos 
1 Elementos de Teoría de Conjuntos 
1.1 Introducción
1.2 Operaciones entre conjuntos 
1.3 Álgebra de Números Reales - Álgebra de Conjuntos 
1.4 Conjuntos especiales
2 Relaciones y funciones 
2.1 Relaciones y Bases de datos 
2.2 Representación de relaciones
2.3 Relaciones de equivalencia y relaciones de orden 
2.4 Árboles 
2.5 Funciones 
2.6 Cardinalidad 
3 Cálculo de proposiciones 
3.1 Dificultades en el lenguaje común y advenimiento del 
pensamiento lógico
3.2 Sintaxis 
3.3 Semántica
4 Inferencia lógica 
4.1 Argumentos
4.2 Reglas de inferencia 
4.3 Consistencia de premisas 
4.4 Prueba indirecta
5 Cálculo de predicados
5.1 Términos, predicados y cuantificadores 
5.2 Cuantificadores en los argumentos 
5.3 Forma normal Prenex 
5.4 Inducción matemática 
6 Álgebra de Boole 
6.1 Introducción
6.2 Álgebra de Boole  
6.3 Orden parcial de un álgebra de Boole 
6.4 Funciones Booleanas y Circuitos Lógicos 
6.5 Compuertas lógicas 
6.6 Simplificación sistemática 
7 Matemáticas y algoritmos 
7.1 Algoritmos de Markov 
7.2 Lenguajes Post 
7.3 Funciones recursivas 
7.4 Gramáticas generativas 
7.5 Máquinas de Turing 
Apéndice 
  • LAN025000 ARTES DEL LENGUAJE Y DISCIPLINAS > Biblioteca y ciencia de la información > General
  • Sistemas de Información