Programa Analítico
Nombre de la asignatura: Elementos de Computación y Lógica
Carreras: Programador Universitario y Licenciatura en Informática (Cód. materia: PU1)
Módulo: Primer módulo del Primer año de las carreras.
Carrera: Ingeniería en Informática.
Módulo: Primer módulo del Segundo año de la carrera.
Carga horaria semanal: 5 Horas.
Objetivos Generales
El alumno será capaz de:
● Lograr autonomía en el aprendizaje.
● Operar y articular diferentes lenguajes (usual, formal, simbólico y gráfico).
● Distinguir en un problema la información inicial, los resultados esperados y las
alternativas de solución.
Objetivos Específicos
● Manejar a los operadores de la lógica matemática.
● Analizar e interpretar la validez y coherencia de la información a través de la
correspondencia de los símbolos lingüísticos y los significados.
● Identificar formas de razonamientos deductivos.
● Aplicar el álgebra de Boole a la resolución de problemas.
● Listar las distintas estructuras algorítmicas fundamentales.
● Diseñar algoritmos para resolver distintos tipos de problemas.
● Reconocer los conceptos, técnicas y procedimientos referidos al cálculo
proposicional, el cálculo de Predicado.
Contenido
Unidad 1. Proposiciones Simples y Compuestas. Representación simbólica. Conectivos
lógicos: Negación, Conjunción, Disyunción, Condicional, Bicondicional. Tablas de verdad.
Jerarquía de conectivos. Clasificación de fórmulas lógicas por su significado: Tautologías,
contradicciones y contingencias. Implicación y equivalencia lógica. Leyes Lógicas
Unidad 2. Razonamientos. Componentes: premisas, conclusión. Reglas de inferencia.
Métodos de demostración: directo e indirecto. Validez de un razonamiento.Consistencia de
Premisas.
Unidad 3. Lógica de Predicados. Funciones proposicionales. Universo del discurso.
Representación simbólica. Cuantificadores: Cuantificador universal y cuantificador
existencial. Alcance de un cuantificador. Variables libres y variables vinculadas.
Proposiciones categóricas. Negación de proposiciones cuantificadas. Equivalencia de
proposiciones cuantificadas universalmente y existencialmente. Razonamientos. Reglas de
especificación universal y existencial. Reglas de generalización universal y existencial.
Unidad 4. Álgebras Booleanas y circuitos combinatorios. Propiedades de los circuitos
combinatorios. Funciones Booleanas.
Unidad 5. Sistemas de numeración binario. Conversiones. Suma y resta de binarios.
Sistema de numeración octal. conversiones. Sistema de numeración hexadecimal.
Unidad 6. Diseño de Algoritmos. La programación como una metodología. Diseño de
Algoritmos. Métodos de refinamientos sucesivos. Lenguaje de Diseño de programas. La
programación estructurada. Estructuras algorítmicas fundamentales. Formas de reducción
de complejidad: secuenciación, análisis por casos, análisis Iterativo. Generalización del
concepto de procedimiento: Acciones parametrizadas, funciones.
Bibliografía
● Estructuras de Matemáticas Discretas para la Computación - Kolman, Busby y Ross
– Prentice Hall (1997).
● Matemáticas discretas - Richard Johnsonbaugh - Editorial Iberoamérica- (1988)
● Trabajos de Informática – Kisbye y Tiraboschi- cátedra : Elementos de Lógica y
Computación- Universidad Nacional de Córdoba- (1999)
● Matemática Discreta y Lógica – Grassmann y Tremblay-Prentice Hall (1997)
● Introducción a la programación sistemática - Nicklaus Wirth- El Ateneo- 1982
● Algoritmos + Estructuras de Datos = Programas - N.Wirth - El Castillo (1980)
● Algorithms & Data Structures - N.Whirth-Prenticce Hall(1986)
● Estructuras de Datos: Programación y aplicaciones - T.G.Lewis y M.Z.Smith-
Paraninfo(1985).
● Lenguajes de Programación - Pratt y Zelkowitz- Prentice Hall (1998).
● Matemáticas Discretas - K. Bogard- editorial Limusa- ( 1996)
● Lógica y Metodología de la Ciencia – Lic Alberto Zeballos, Mirta Hillen-(1994)
