Planificacin Lgica

Profesor
Urweider Santiago

Planificacin Anual: Lgica. Turno Maana

1do ao Ciclo superior Cp.

Programa Lgica 2016

UNIDAD 1

Introduccin a los lenguajes formales: Definicin de lenguaje formal.

Expresiones, trminos y formulas.
Variables libres y ligadas. El clculo deductivo de primer orden. Reglas
derivadas de inferencia. Tcnicas de deduccin. Teoras axiomticas.
Conceptos bsicos. Verdad y validez lgica. Consistencia.

UNIDAD 2

Introduccin a la lgica conjuntista. La construccin de los ordinales.

Induccin y recursin transfinita.
Funciones normales. La aritmtica ordinal. La forma normal de Cantor.
Conceptos bsicos. Induccin y recursin transfinita. Conjuntos
regulares. tomos.
Introduccin al algebra de extensiones y trazas.
Extensiones algebraicas. Homomorfismos entre extensiones. Clausuras
algebraicas.
Extensiones normales. Extensiones separables. El teorema del elemento
primitivo. Normas y trazas.

UNIDAD 3

Algebra de Boole y compuertas lgicas. Definiciones lgicas. Definicin

axiomtica del algebra de Boole.
Teoremas bsicos y propiedades del algebra de Boole. Funciones
booleanas. Otras operaciones lgicas.
Compuertas lgicas digitales. Familias de circuitos integrados lgicos
digitales.

Profesor Urweider, Santiago

Planificacin Anual: Lgica. Turno Maana

1do ao Ciclo superior Cp.

UNIDAD 1
Objetivos

Que los estudiantes puedan expresar en lenguaje formal distintas expresiones del
lenguaje natural.
Que los estudiantes logren analizar el lenguaje formal, viendo su veracidad

CONTENIDO
CONCEPTUAL

Introduccin a los
lenguajes
formales:
Definicin de
lenguaje formal.
Expresiones,
trminos y
formulas.
Variables libres y
ligadas. El clculo
deductivo de
primer orden.
Reglas derivadas
de inferencia.
Tcnicas de
deduccin. Teoras
axiomticas.
Conceptos
bsicos. Verdad y
validez lgica.
Consistencia.

Profesor Urweider, Santiago

CONTENIDO
PROCEDIMENTAL

Anlisis de
premisas,
variables relatores
y constantes.

Realizacin de
tablas de verdad.

Anlisis de tablas
de verdad.

Formulacin de
expresiones
lgicas en
lenguaje natural.

CONTENIDO
ACTITUDINAL

Valoracin de la
utilidad del
lenguaje formal
frente a la
desambigacin

Planificacin Anual: Lgica. Turno Maana

1do ao Ciclo superior Cp.

UNIDAD 2

Objetivos

Que el estudiante comience a reconocer las relaciones de conjunto, sea a

travs de induccin o recursin transfinita.
Que el estudiante conozca la forma normal de Cantor.
Que el estudiante conozca las extensiones algebraicas, trazas y sus
normas.

CONTENIDO
CONCEPTUAL

Introduccin a la
lgica conjuntista.
La construccin
de los ordinales.
Induccin y
recursin
transfinita.
Funciones
normales. La
aritmtica ordinal.
La forma normal
de Cantor.
Conceptos
bsicos. Induccin
y recursin
transfinita.
Conjuntos
regulares.
tomos.

Profesor Urweider, Santiago

CONTENIDO
PROCEDIMENTAL

Creacin de
conjuntos.
Anlisis de
conjuntos.
Propiedades de
los conjuntos y las
funciones.
Trabajos con
induccin y
recursin
transfinita
-relacin con los
conjuntos
Realizacin de
extensiones y
trazas.
Conocimiento de
las normas y
extensiones.

CONTENIDO
ACTITUDINAL

Valoracin del
razonamiento y
anlisis de
relaciones de
proposiciones y
del trabajo con
trazas

Planificacin Anual: Lgica. Turno Maana

1do ao Ciclo superior Cp.

Extensiones
algebraicas.
Homomorfismos
entre extensiones.
Clausuras
algebraicas.
Extensiones
normales.
Extensiones
separables. El
teorema del
elemento
primitivo. Normas
y trazas.

UNIDAD 3

5
Objetivos

Que el estudiante logre comprender la lgica de Boole.

Que el estudiante relacione la lgica de Boole y sus principios con los
microprocesadores y su arquitectura.

CONTENIDO
CONCEPTUAL

Algebra de Boole
y compuertas
lgicas.
Definiciones
lgicas. Definicin
axiomtica del
algebra de Boole.
Teoremas bsicos
y propiedades del
algebra de Boole.

Profesor Urweider, Santiago

CONTENIDO
PROCEDIMENTAL

Resolucin de
problemas de
grficos de Boole.
Creacin y
anlisis de
grficos de Boole

CONTENIDO
ACTITUDINAL

Valoracin del
lenguaje de Boole
en la informatica

Planificacin Anual: Lgica. Turno Maana

1do ao Ciclo superior Cp.

Funciones
booleanas. Otras
operaciones
lgicas.
Compuertas
lgicas digitales.
Familias de
circuitos
integrados lgicos
digitales.

ESTRATEGIAS
Trabajo en grupo e individual.
Realizacin de trabajos prcticos.
Anlisis de expresiones lgicas y Booleanas.
6

DIAGNOSTICO
Cabe denotar que es el primer ao que los estudiantes cursan la materia Lgica,
ya que corresponde al primer ao del nuevo plan de estudio. Sin embargo al
momento de dictar la matera poseen conocimientos bsicos los cules son utiles
para la identificacin y formulacin de premisas y variables. Este hecho facilita en
cierto grado la conversin del lenguaje natural al lenguaje formal y su posterior
conversin.
Como grupo han presentado una gran unidad y colaboracin. No predominan
subgrupos. Tambin presentan en general un gran inters en la materia.

CONTRATO PEDAGGICO
El siguiente contrato ser vlido para las materias Lgica y organizacin de
computadoras.
SOBRE ACREDITACIN DE LA MATERIA.

Profesor Urweider, Santiago

Planificacin Anual: Lgica. Turno Maana

1do ao Ciclo superior Cp.
Para lograr la aprobacin de la materia el estudiante debe presentar al cierre de trimestre
la carpeta completa. Tambin se debe entregar dos o ms trabajos prcticos en tiempo y
forma.
Cada trimestre constara de su correspondiente evaluacin la cul ser avisada con 15
das mnimos de anterioridad.
SOBRE COMPORTAMIENTO EN LA INSTITUCIN
Se espera que tanto el docente como los estudiantes tengan un buen trato entre ellos y
sus pares evitando todo tipo de agresiones, sean fsicas o verbales y cualquier
destruccin o dao a la institucin.
BIBLIOGRAFA

LGICA Y TEORA DE CONJUNTOS Carlos Ivorra Castillo

TEORIA DE CONJUNTOS Carlos Ivorra Castillo
LOGICA PARA QU? ARGUMENTA DEBATE Y DECIDE RACIONALMENTE
Gabriela Hernandez y Gabriela Rodriguez
LGICA Salustiano Fernndez Viejo
FUNDAMENTOS DE DISEO LGICO Y DE COMPUTADORAS M. Morris
Mano Charles R. Kime
LGICA DIGITAL Y DISEO DE COMPUTADORES M. Morris Mano
SISTEMAS DIGITALES PRINCIPIOS y APLICACIONES Ronald J. Tocci Neal S.
Widmer Gregory L. Moss

Profesor Urweider, Santiago