TECNOLOGICA INFORMATICA
Algebra I
7820521 I 1 2 0 2 S/R
La asignatura “Álgebra I” de la carrera de Informática del Instituto Universitario de
Tecnología Antonio José de Sucre está diseñado para ofrecer, la comprensión y
ejercitación de los distintos tipos de razonamiento, con miras a la formación de un criterio
racional. Es decir, esta asignatura de Razonamiento está dedicada a presentar nociones
básicas de lógica, y algunas de sus aplicaciones en la argumentación.
Adquirir dominio de los métodos y técnicas de formalización y deducción de lo que
constituye la lógica elemental cuyos recursos ser puede formular en principio cualquier
teoría, además de lograr un grado de comprensión adecuado de los principales conceptos
que caracterizan el pensamiento crítico
Unidad I: Cálculo Proposicional
Unidad II: Inferencia Lógica
Unidad III: Cuantificadores
I
CÁLCULO PROPOSICIONAL Al finalizar la unidad el estudiante estará en capacidad de
conocer la argumentación de la lógica proposicional basados
7 SEMANAS en valores de verdad.
• Definición de proposición.
•Distinguir los diferentes tipos de • Tipos de proposición.
proposiciones. •
•Determinar Términos de enlaces o conectivos
las equivalencias entre
lógicos y sus símbolos.
proposiciones. •
•Aplicar la tabla de la verdad. Formas de proposiciones y sus símbolos.
• Equivalencia lógica.
• La tabla de la verdad.
• Implicación tautológica y equivalencia
tautológica.
Del Profesor: Del Alumno:
Exposición teórica. Investigación y desarrollo de ejercicios.
Ejercicios Prácticos. Debate
Prueba Práctica
Evaluación de Talleres Prácticos
II
INFERENCIA LÓGICA Y Al finaliza la unidad el estudiante estará en capacidad de
CUANTIFICADORES determinar la validez de una hipótesis, aplicando la
6 SEMANAS inferencia lógica y sus leyes
• Reglas de inferencia: Modus poniendo
•Aplicar la inferencia lógica para simplificación y
Ponens, Doble negación, Modus tollendo
demostración de expresiones proposicionales.
•Definir términos, predicados y cuantificadores Tollens, Disyunción como premisa.
Modus Tollendo Ponens.
universales. •
•Diferenciar términos de predicados. Deducción Proposicional: Leyes de
•Utilizar los cuantificadores universales y inferencia lógica, Ley de adicción,
Ley del silogismo hipotético, Ley
existenciales.
•Conocer las leyes de identidad del silogismo disyuntivo, Ley de
simplificación disyuntiva, Leyes
conmutativas y las Leyes de
Morgan.
• Función proporcional: definición y
tipos de cuantificadores y
predicados, simbolización y leyes de
la identidad.
Del Profesor: Del Alumno:
Exposición teórica. Investigación y desarrollo de ejercicios.
Ejercicios Prácticos. Debate
Prueba Práctica
Evaluación de Talleres Prácticos
III
TEORÍA DE CONJUNTOS Al finalizar la unidad, el alumno estará en capacidad de
realizar operaciones entre conjuntos, así como aplicar las
5 SEMANAS diferentes relaciones la lógica matemática.
• Definición y característica de los conjunto.
•Definir y caracterizar el concepto de
• Operaciones entre conjuntos
conjunto. •
•Realizar operaciones con conjuntos. Conjunto de números naturales, Axiomas
•Utilizar el principio de inducción. y Principio de inducción.
• Relaciones y funciones
•Definir el concepto de relación y sus
• Álgebra Boole y de circuitos
propiedades.
•Definir y clasificar las funciones
Del Profesor: Del Alumno:
Exposición teórica. Investigación y desarrollo de ejercicios.
Ejercicios Prácticos. Debate
Prueba Práctica
Evaluación de Talleres Prácticos
• Saenz Jorge, Gil Fanny, López Belkis, Romero Neptali y Bethelmy José. (2001) Fundamentos de
la Matemática. Segunda Edición. Editorial Hipotenusa.
• Camacho Luís. (2003). Lógica Simbólica Básica. Editorial Limusa Noriega Editores.
• Gallo Cesar. (1988). Matemática. Tomo I. Segunda Edición. Universidad Central de Venezuela.
• Seguilo Miguel (2008).El pensamiento Lógico Matemático. Editor Ediciones AKAL.
• San Román Juan (1990). Lógica Matemática y Computabilidad. Editor: Ediciones Díaz de Santos.
