Download Lógica Computacional - ET 26 DE 6º Confederación Suiza

ESCUELA TECNICA N 26 D.E. 6º
Confederación Suiza
Jujuy 255 - CABA
ÁREA de COMPUTACIÓN
PROGRAMA CORRESPONDIENTE A: 4º Año – Computación
LOGICA COMPUTACIONAL
UNIDAD 1: SISTEMAS DE NUMERACIÓN:
Sistema Binario. Pasaje de sistema binario a decimal y viceversa. Operaciones de suma y
resta en sistema binario. Complemento a 2. Sistema Hexadecimal. Pasaje de sistema
hexadecimal a decimal y a binario. Viceversas. Operaciones de suma y resta en sistema
hexadecimal. Sistema Octal. Pasaje de sistema octal a decimal y viceversa. Operaciones en
sistema octal. Pasaje de un sistema a otro.
UNIDAD 2: LÓGICA DE CLASES:
Clases. Concepto. Definición por compresión y por extensión. Pertenencia e individuos a una
clase. Relaciones entre clases: Inclusión entre clases, Igualdad e clases. Las clases según el
número de sus miembros: Clases finitas e infinitas. Clases untarias. Clase vacía. Clase
Universal. Diagramas de Venn. Operaciones entre Clases: Intersección, Unión, Diferencia
Relativa, Difrencia Absoluta o Complemento, Diferencia Simétrica.
UNIDAD 3: LOGICA DEL CONCEPTO Y DEL RAZONAMIENTO:
Juicios. Clasificación por cantidad, cualidad, modalidad y relación. Los juicios categóricos de
forma típica. Cuadro de oposición. Relaciones entre juicios categóricos de forma típica.
Razonamientos. Tipos de razonamiento. Validez e invalidez. Razonamiento deductivo:
inferencias inmediatas. Silogismos. Silogismos Categóricos. Modo y figura. Reglas. Formas
válidas y especiales. Método de Analogía Lógica para la determinación de la validez de un
razonamiento.
Método de los Diagramas de Venn aplicado a razonamientos silogísticos.
UNIDAD 4: LOGICA PROPOSICIONAL Y ÁLGEBRA DE BOOLE:
Proposiciones atómicas y moleculares. Las conectivas extensionales. Tablas de verdad.
Leyes de la lógica proposicional. Leyes de De Morgan. Decisión de razonamientos por tablas
de verdad. Prueba formal de validez e invalidez para razonamientos extensos. Método del
condicional asociado. Expresión Canónica de un razonamiento. Diagramas y Cuadros.
Método demostrativo. Reglas de Inferencia.
Álgebra de Boole. Elementos y operadores. Similitud con la Lógica proposicional.
Propiedades de las operaciones. Expresiones equivalentes. Compuertas. Expresiones
booleanas y circuitos combinatorios. Tablas lógicas.