Logica matematica

La lógica es una disciplina que se ocupa de los métodos de razonamiento, proporciona reglas y técnicas para determinar si un argumento es válido o no. Elrazonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las cienciasfísica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente seusa en forma constante el razonamiento lógico para realizar cualquier actividad. De acuerdo a lo manifestado esta disciplina reviste de una singular importanciadado que es la base fundamental en la adquisición de conocimientos y en la aplicación de éstos en otras disciplinas. El objetivo de la asignatura es proporcionar alalumno instrumentos que le permitan definir, expresar, describir y elaborar conceptos lógico matemáticos, de tal forma que desarrolle su capacidad de poderrepresentar problemas o fenómenos reales aplicados a la carrera y a su diario vivir. Los estudiantes con la ayuda de la “lógica matemática”, serán capaces de relacionarlos conocimientos (leyes, teoremas, fórmulas, etc) que se proporcionan en la carrera de informática, con los problemas que se le presentan en la vida real. Laprogramación de la asignatura está organizada de la siguiente forma: en el primer bimestre conoceremos acerca de la importancia de la Lógica, los fundamentos de laLógica proposicional y la Teoría de conjuntos. En el segundo bimestre abarcaremos el Sistema de numeración binario, el Álgebra booleana; y la Lógica de predicados.