Lógica Matematica

PROGRAMA DETALLADO
VIGENTE
TURNO
2007
DIURNO
UNIVERSIDAD NACIONAL EXPERIMENTAL POLITÉCNICA DE LA FUERZA ARMADA
INGENIERÍA DE SISTEMAS
SEMESTRE
5to
ASIGNATURA
LÓGICA MATEMÁTICA
CÓDIGO
MAT-31213
HORAS
TEORÍA
PRÁCTICA
LABORATORIO
UNIDADES DE CRÉDITO
PRELACIÓN
2
3
0
3
MAT-21113
1.- OBJETIVO GENERAL
Comprender los conceptos básicos de la Lógica Matemática, sus implicaciones yaplicaciones.
2.- SINOPSIS DE CONTENIDO
La asignatura Lógica matemática le permitirá al estudiante desarrollar destrezas en la aplicación de proposiciones lógicas evidenciando el dominio de una lógica preposicional
binaria. El contenido está distribuido en 3 unidades:
UNIDAD 1.- Introducción a la Lógica Matemática.
UNIDAD 2.- Lenguaje y Lógica.
UNIDAD 3.- Teoría de Conjuntos

3.-ESTRATEGIAS METODOLÓGÍCAS GENERALES
Diálogo Didáctico Real: Actividades presenciales (comunidades de aprendizaje), tutorías y actividades electrónicas.
Diálogo Didáctico Simulado: Actividades de autogestión académica, estudio independiente y servicios de apoyo al estudiante.
ESTRATEGIA DE EVALUACIÓN
La evaluación de los aprendizajes del estudiante y en consecuencia, la aprobación de la asignatura,vendrá dada por la valoración obligatoria de un conjunto de elementos, a
los cuales se les asignó un valor porcentual de la calificación final de la asignatura. Se sugieren algunos indicadores y posibles técnicas e instrumentos de evaluación que podrá
emplear el docente para tal fin.
Informe o registro de experiencias, defensa en las actividades presenciales.
Control de rendimiento.Auto-evaluación, co-evaluación y evaluación.
Informe y defensa de experiencias en organizaciones o instituciones relacionadas con el área de la especialidad.
Participación en talleres, dinámicas de grupos, seminarios, etc: Auto -evaluación/ co-evaluación y evaluación.
Registros de participación, otras. Auto-evaluación/ co-evaluación, evaluación del docente /tutor (a).
Pruebas escritas cortas y largas,defensas de trabajos, exposiciones, debates, etc.
Auto-evaluación/ co-evaluación, evaluación del estudiante.

OBJETIVOS DE
APRENDIZAJE
Interpretar
las
Reglas
de
Inferencia
mediante
argumentación lógica basados en
los valores de verdad.

Aplicar el cálculo preposicional,
partiendo del lenguaje oral y
mediante la utilización de las
Tablas de Verdad y reglas de
inferencias.

CONTENIDOESTRATEGIAS DE EVALUACIÓN

UNIDAD 1: INTRODUCCIÓN A LA LÓGICA
MATEMÁTICA.

Realización de actividades teórico-prácticas.
Realización de actividades de campo.
Aportes de ideas a la Comunidad (información
y difusión).
Experiencias vivenciales en el área
profesional
Registros de participación.
Pruebas escritas cortas y largas, defensas de
trabajos, exposiciones, debates, etc.Auto-evaluación
/
co-evaluación
y
evaluación del estudiante.

1.1

Proposiciones: Simbolización. Reglas
de inferencia. Lógica. Certeza y validez.
Reglas de demostración. Tablas de
verdad. Razonamientos validos.

BIBLIOGRAFÍA

Suppes, P Y S. Hill. (1982)
Introducción a la Lógica
Matemática. Edit. Reverte.
Nava,
O.
(1982).
Introducción a la Lógica
Matemática.
Segunda
Edición.Universidad
Simón Bolívar.

UNIDAD 2: LENGUAJE Y LÓGICA.
2.1

2.2

2.3

Semiótica: Sintaxis, semántica y
pragmática. Definiciones formales de
sintaxis:
alfabetos,
lenguajes,
definiciones inductivas, gramáticas libres
de contexto.
Ejemplos: expresiones
algebraicas infijas, prefijas, postfijas.
Semántica: Definiciones formales de
semántica: dominios de interpretación,
funciones devaluación (valuaciones).
Cálculo proposicional (sistema ss):
Definiciones. Valores de verdad.
Fórmulas: Gramática de las fórmulas de
ss.
Arboles asociados a fórmulas.
Sustituciones. Instancias de fórmulas.
Semántica informal: traducción de
proposiciones en español a fórmulas de
ss. Derivaciones: Motivación. Nociones
de derivación.
¿Por qué no se
especifican con gramáticas? Hipótesis....