Está en la página 1de 3

Centro de educación Técnica N°1

Escuela Técnica Don Antonio Sanchez Platero General Roca- Río Negro
Planificación Anual Lógica
Prof.Lic Jorge Maximiliano Gomez
Fundamentación
La lógica Matemática surge como el resultado de la convergencia de 4 lineas de pensamiento:
1. la Lógica antigua (Aristoteles)
2. La idea de un lenguaje completo y automático para el razonamiento.
3. Los nuevos progresos en álgebra y geometría acaecidos después de 1985
4. La idea de que hay partes de la matemática que son sistemas deductivos, esto es, cadena de razonamientos
que se conforman a las reglas de la lógica.
La lógica proposicional y la lógica de primer orden o lógica de predicados forman parte de las lógicas
clásicas y constituyen el sustento de la programación lógica. El razonamiento lógico se emplea en
matemática para demostrar teoremas; en ciencias de la computación para verificar si los programas son
correctos o no, en las ciencias físicas o naturales para obtener conclusiones de experimentos; en las Ciencias
sociales y en la vida cotidiana, para resolver una increíble cantidad de problemas. Nos referimos a la Lógica
propocional clásica con LPC y utilizaremos LPO, para denotar la lógica de primer orden.
En este sentido la lógica proposicional es una importante rama de la matemática que se formaliza en el siglo
XIX. Se atribuye a Aristoteles (384-322-AC) el primer estudio sistemático y formal del razonamiento lógico
y el empleo del término lógica para referirse al estudio de los argumentos o a la verdad de la ciencia. El
filosofo y matemático Aleman G. W. Leibniz (1646-1716) ha realizado importantes contribuciones durante el
siglo XVII y fue G. Boole de (1815-1864), quien la re descubre y extiende su desarrollo. Enfoques mas
modernos que se deben a G. Frege (1848-1925); A.N. Whitehead (1861-1947) y B. Russell (1872-1970)
entre otros matemáticos.
Siguiendo estas lineas de pensamiento es que la asignatura Lógica en la Especialidad de Técnico en
Informática y Personal estará orientada a brindar y establecer conceptualizaciones y ejercicios que estén al
servicio resolución de problemas derivados de la operatoria, y apoyo a la contratación de productos o
servicios informáticos, desarrollando las actividades descriptas en su perfil profesional y pudiendo actuar de
nexo entre el especialista o experto en el tema, producto o servicio y el usuario final.
Propósitos:



Desarrollar el pensamiento Lógico formal abstracto.
Resolver situaciones problemáticas
distinguir el razonamiento correcto del incorrecto.
Verificar si los programas son correctos o no.

Propósitos específicos en función de cada unidad:
Unidad I:


Reconocer los distintos elementos que componen una proposición y los valores de verdad que estas
pueden tomar.
Reconocer los posibles valores de verdad y su uso mediante tablas de verdad.
Comprender las formas de conectar proposiciones y los resultados lógicos que esto conlleva.

Unidad II

Reconocer las partes que componen un razonamiento y la formas de comprobar la veracidad del
mismo.
Conocer las reglas de inferencias mas comunes utilizadas para comprobar los razonamientos.

demostración. Familias de circuitos integrados lógicos digitales. Tautología y contradicciones. Unidad III: Demostraciones Método de demostración: demostración vacía. . conjunción. regla de generalización. variables de enunciados (variables proposicionales). Funciones booleanas. negación. Demostraciones: Teorema corolario. Proposiciones y valor de verdad. Definición axiomática del álgebra de Boole. demostración directa. demostración por contradicciones y búsqueda de contraejemplos. Generar el interés por temas que se relacionan con la lógica en general.Unidad III   Conocer los diferentes métodos de demostraciones y las reglas utilizadas en los mismos. demostración por la contrarecíproca. demostración trivial. Otras operaciones lógicas. Forma canónica de una función lógica. Conceptos básicos. . proposición condicional. Funciones lógicas básicas. sus teoremas y las funciones lógicas. Contenidos conceptuales Unidad I: Lógica de proposiciones Introducción a los lenguajes formales. proposición compuesta. Reconocer la importancia del uso de las demostraciones en la resolución de problemas comúnes. Consistencia. razonamiento válido. proposición bi condicional. regla de particularización. Proposiciones y tabla de verdad. funciones lógicas. El cálculo deductivo de primer orden. Teorías axiomáticas. razonamientos y cuantificadores: Definiciones matemáticas. Expresiones. tabla de verdad. disyunción exclusiva. proposición recíproca. falacia. Reglas derivadas de inferencia. Teoremas básicos y propiedades del álgebra de Boole. Variables lógicas. Comprender su aplicación en los circuitos digitales. Técnicas de deducción. Variables libres y ligadas. Definiciones lógicas. Contenidos procedimentales     Desarrollo de la capacidad e interpretación Elaboración de resoluciones de razonamientos por diferentes métodos Elaboración de cuadros y redes conceptuales Ejercicios con trabajos prácticos Contenidos actitudinales     Responsabilidad y constancia Fijar pautas comunes de convivencia en el grupo y de compromiso con la material Formar y fomentar una actitud responsable hacia las tareas individuales y grupales. teorema de álgebra booleana. Unidad 2: Razonamientos Razonamientos: razonamiento. Verdad y validez lógica. disyunción. Conexión entre proposiciones (compuestas). lema. proposición contra recíproca. Definición de lenguaje formal. Unidad IV   Conocer el álgebra de Boole. Compuertas lógicas digitales. inferencia: Regla de inferencia mas usuales. términos y formulas. Unidad IV: Álgebra de Boole y compuertas lógicas Álgebra de Boole y compuertas lógicas.

Las clases teóricas promueven la participación de los estudiantes. Permitir el trabajo entre estudiantes fomentando la ayuda mutua Debate de conceptos dados en forma abierta. Estrategias      Elaboración De trabajos prácticos en todos los temas desarrollados Exposición oral y resolución de problemas dados en en conjunto. al alcanzar puntos estratégicos de cada unidad . La introducción de cada nuevo concepto. pero en general la mayor parte de las clases se destina a atender las consultas de los estudiantes y guiarlos en la resolución de as actividades prácticas. El enfoque de la materia es esencialmente práctico.Modalidad de trabajos el dictado de la asignatura se distribuye en clases teóricas y prácticas. intentando guiarlos en cada etapa del proceso. Evaluación y acreditación La evaluación se entiende como un proceso por lo que se realizará en forma continua atendiendo a la apropiación de los contenidos conceptuales y su aplicación práctica en la resolución de las situaciones problemáticas. la metodlogía de enseñanza es fundamentalmente expositiva. además con evaluaciones escritas orales e individuales. Evaluación escrita al alcanzar puntos estratégicos de cada uno de los temas dados. por uno o dos ejemplos que ilustran su aplicación en las clases prácticas se brindan algunas explicaciones expositivas para retomar y reforzar los contenidos presentados en teoría.