Professional Documents
Culture Documents
FACULTAD DE INGENIERIA
:
:
:
:
:
:
:
:
:
:
:
Matemticas.
Semestral.
Teora: 2. Prctica: 3.
3 (Tres).
Obligatorio.
17 Semanas.
Primer Ao.
Obligatorio.
2016 - I
18 de Abril del 2016.
Lic. Maximiliano Condor Huamn
DESCRIPCION DE LA ASIGNATURA:
La asignatura de Lgica, es una asignatura de formacin general dentro de la Facultad
de Ingeniera, en su estructura est conformada por contenidos de Lgica Proposicional,
Lgica Cuantificacional y Circuitos Lgicos. Tales contenidos le permitirn al
estudiante de la Facultad de Ingeniera comprender y utilizar la lgica como una
herramienta bsica y poderosa para desarrollar habilidades necesarias para construir
razonamientos vlidos, preparando al alumno para el aprendizaje de la Matemtica,
desarrollado as su razonamiento lgico.
III.
IV.
PROGRAMACIN ACADMICA.
PROGRAMACION DE CONTENIDOS:
UNIDAD
CONTENIDO
ANALTICO
Lgica Proposicional
II
III
06 Semanas
Lgica
Cuantificacional
35,3
06 Semanas
Circuitos Lgicos
29,4
05 Semanas
V CONTENIDO ANALITICO
UNIDAD I : LOGICA PROPOSICIONAL
Introduccin a la Lgica: Definicin. Clases. Enunciados: Definicin. Clases de
enunciados: Abiertos y cerrados. Proposiciones: Definicin. Proposiciones Simples y
Compuestas. Conectores Lgicos. Construccin de sus esquemas a partir del lenguaje usual.
Tablas de valores de verdad. Tautologa. Contradiccin. Contingencia. Leyes del algebra
proposicional ,Simplificacin de proposiciones moleculares.
Inferencias, Definicin. Validez de una inferencia, Inferencias Validas Notables,
Determinacin de una validez de una inferencia, Mtodos de demostracin: Mtodo abreviado,
Mtodo Directo y Mtodo Indirecto. Forma Normal Disyuntiva, Forma Normal Conjuntiva.
(Primera Evaluacin)
UNIDAD II : LOGICA CUANTIFICACIONAL
Lgica de Clases, Tipos de clase, operaciones con clases, Relacin entre
clases, Funcin proposicional, Cuantificadores: Existencial y Universal,
Proposicin Categrica, Negacin de los cuantificadores, Clasificacin de las
proposiciones categricas, Valor de Verdad de una Cuantificacin Teora del
silogismo y su relacin con la teora de clases, validez de un silogismo mediante
diagramas de Venn, ,. Aplicaciones de los cuantificadores.
(Segunda Evaluacin)
UNIDAD III : CIRCUITOS LOGICOS
(Tercera Evaluacin)
VI.
ESTRATEGIAS METODOLOGICAS
En el desarrollo de la asignatura se aplicarn los siguientes mtodos:
6.1 Utilizar el Mtodo Inductivo o Deductivo, mixto.
VI.2 Proporcionar al estudiante una separata que contenga, hojas de ejercicios con el objeto de
inducirlos al trabajo individual o grupal con ejercicios debidamente seleccionados.
VII
exmenes
VIII. BIBLIOGRAFA
-
-----------------------------------------