Universidad Nacional de Cajamarca

FACULTAD DE INGENIERIA

ESCUELA ACADMICO PROFESIONAL DE ING.. GEOLGICA

DEPARTAMENTO ACADEMICO DE MATEMATICAS

SILABO DE LA ASIGNATURA DE LOGICA
I. PARTE INFORMATIVA:
1. Departamento
2. Rgimen
3. Horas Semanales
4. Crditos
5. Condicin
6. Duracin
7. Ao de Estudios
8. Condicin
9. Ciclo
10. Fecha de Inicio
11. Profesor y Jefe de Prctica
II

:
:
:
:
:
:
:
:
:
:
:

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.

OBJETIVOS DEL CURSO:

Al finalizar el Curso de Lgica el estudiante ser capaz de:
1.
2.
3.
4.
5.

Adquirir conocimientos sobre Lgica Proposicional.

Presentar tcnicas para el reconocimiento de los razonamientos vlidos.
Usar la lgica en los aspectos formales de la Matemtica.
Presenta tcnicas para el reconocimiento de razonamientos vlidos.
Comprende las diferentes definiciones y demuestra propiedades sobre Lgica de
Clases.
6. Entiende la aplicacin de la Lgica Cuantificacional.
7. Aplica y opera Circuitos Lgicos usando las leyes del Algebra Proposicional .

IV.

PROGRAMACIN ACADMICA.
PROGRAMACION DE CONTENIDOS:
UNIDAD

CONTENIDO
ANALTICO

Lgica Proposicional

II

III

% DEL CONTENI TIEMPO PROBADO DE LA ASIG- BLE PARA SU ESNATURA

DIO
35,3

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

Circuito Lgico Definicin, Elementos ,Clases de circuitos: Circuito Lgico en Serie y

Circuito Lgico en Paralelo., Simbolizacin de Circuitos Lgicos, Construccin de circuitos
Lgicos, Simplificacin de circuitos Lgicos. Circuitos con compuertas, Circuitos no serie
paralelo, Diseo de circuitos con propiedades dadas, diseo de circuitos con n terminales.
Aplicaciones.

(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

EVALUACION Y REQUISITOS DE APROBACION

7.1 La calificacin se har en escala vigesimal (0-20). La nota mnima aprobatoria es Once (11).
Toda fraccin en las notas Igual o Mayor a (0,5) es redondeado al entero inmediato superior.
7.2 Constituye evaluacin continua del docente: Intervenciones en clases, Cuatro
escritos durante el semestre, sujetos a mecanismos de recuperacin.

exmenes

7.3 El promedio promocional es la media aritmtica de las evaluaciones continuas obtenidas

despus de sustituir las recuperaciones por las ms bajas calificaciones que tenga el alumno.
7.4 Cuando el estudiante no se presenta injustificadamente a rendir evaluaciones
en la fecha prevista se consignar en el registro la sigla NP ( no se present ).
La condicin de NP, no da derecho a examen de recuperacin ni de aplazado y equivale a
CERO (0) para efectos del promedio.
Todo lo no previsto en el presente syllabus ser resuelto por el Departamento de Matemticas.

VIII. BIBLIOGRAFA
-

Matemtica Bsica, Eduardo Espinoza Ramos

Nociones de Lgica Matemtica, Hugo Ros Quiroz
Matemtica Bsica, Armando Venero
Logica, Moiss Lzaro
Copi, I. M. INTRODUCCIN A LA LGICA, ed. Edema. Bs. As.
Ferrater Mora, F .. LGICA MATEMTICA. Fondo de Cultura Econmica.
Mxico.
Matemtica Bsica I Ricardo Figueroa
Suppes, P. Y Hill, S. INRODUCCIN A LA LGICA MATEMTICA. Ed.
REVERTE S.A. Barcelona.
Suppes, P. INTRODUCCIN A LA LGICA SIMBLICA. CECSA. Mxico

Cajamarca, Abril del 2016

-----------------------------------------

Lic. Maximiliano Condor Huamn

DOCENTE