Lógica matemática

Zusatztext

Este libro abarca todos los temas que son objeto de estudio en el programa de lógica matemática para estudiantes de diversas carreras, especialmente estudiantes de ingeniería, que ofrece el Departamento de Matemáticas de la Universidad Central.Así, en sus nueve capítulos, se aborda la teoría de conjuntos, el razonamiento lógico, la sintaxis de fórmulas, la semántica de proposiciones, la inferencia lógica, la lógica de primer orden, los silogismos categóricos, los métodos de demostración y las álgebras de Boole.En cada capítulo se ofrece al estudiante una explicación con ejemplos, seguida de una serie de problemas prácticos para ser resueltos de forma individual o en grupo, con el fin de favorecer el aprendizaje integral de todos los contenidos.

Autorenportrait

Carlos Fernando Mora Espinosa Magíster en Ciencias Matemáticas de la Universidad Nacional de Colombia (Bogotá) y matemático de la Universidad Nacional de Colombia (Bogotá). Docente de matemáticas en la Universidad Central y la Universidad Militar Nueva Granada. Autor del contenido académico del aula virtual de Lógica Matemática para los programas de pregrado de la Facultad de Ingeniera y Ciencias Básicas de la Universidad Central. Autor de los artículos "Formas de Dirichlet y procesos de Markov" y "Ecuaciones diferenciales estocásticas en análisis no estándar" publicados en el boletín de matemáticas de la Universidad Nacional de Colombia. Julio César Nieto Sánchez Magíster en Ciencias Financieras y de Sistemas de la Universidad Central, con estudios de Especialización en Estadística y matemático de la Universidad Nacional de Colombia(Bogotá). Docente de matemáticas en la Universidad Central y la Universidad Santo Tomás.

Weitere Details