CDIGO DEL PROGRAMA

Tipo de curso

Plan

Orientacin

rea

Asignatura

Ao

A.N.E.P.
Consejo de Educacin Tcnico Profesional

Educacin Media Tecnolgica

Orientacin Informtica

ASIGNATURA
LGICA PARA COMPUTACIN

Primer ao ( 2 horas semanales)

Plan 2004

A.N.E.P.
CONSEJO DE EDUCACIN TCNICO PROFESIONAL

ndice
Tema

Pg

ndice.................................................................................................................. 2
Comentarios...................................................................................................... 2
Objetivos............................................................................................................ 3
Contenidos Programticos............................................................................... 5
1.Objeto de la lgica - Tiempo sugerido: 6 hs................................................ 5
2.Introduccin a la Lgica Proposicional y Teora de Conjuntos - Tiempo
sugerido: 24 hs.................................................................................................. 5
3.Introduccin a la Lgica de predicados - Tiempo sugerido: 22 hs........... 5
4.Resolucin de casos aplicando Lgica - Tiempo sugerido: 12 hs............ 6
Propuesta Metodolgica................................................................................... 6
Bibliografa para el docente............................................................................. 6
Bibliografa para el alumno.............................................................................. 6
Direcciones tiles: http://www.ilstu.edu ........................................................ 6
Puntos de Contacto con otras asignaturas.................................................... 7

Comentarios
Se presenta en este trabajo el programa de la Asignatura y material de apoyo
con Orientaciones metodolgicas y didcticas para los docentes.
El material de apoyo incluido no pretende ms que servir de gua para los
docentes de primer ao del Bachillerato de Informtica. En el encontrar
actividades para desarrollar en clase o fuera de ella, tareas individuales y
colectivas, formas de evaluacin, sugerencias bibliogrficas, y de software que
puede utilizar para potenciar y desarrollar algunos temas.

E.M.T. - Informtica - Primero

Lgica para Computacin
(2004)
Pgina 2 de 6

A.N.E.P.
CONSEJO DE EDUCACIN TCNICO PROFESIONAL

Tipo de Curso:

Educacin Media Tecnolgica

Opcin:

Informtica

Asignatura:

Lgica para Computacin

Curso:

Primero

Fundamentacin
Se pretende establecer una base para evaluar argumentos lgicos, no slo
desde un punto de vista matemtico o de programacin, sino tambin de
consideraciones cotidianas que permitan al estudiante agudizar la percepcin
personal de validez, o reconocer falacias, ya sea en argumentos simples o
complejos.
No siempre resulta simple en razonamientos extensos arribar a conclusiones
vlidas.
Se espera que al finalizar el curso el alumno pueda traducir las proposiciones
del lenguaje ordinario a la forma simblica, viceversa. As como simplificar la
forma simblica para luego utilizarla.
A travs de los contenidos temticos que la componen as como la
metodologa indicada, se busca que el egresado genere la capacidad
instrumental de crear estructuras lgicas y de pensamiento al abordar
problemas. Buscar soluciones, optimizarlas, crear pequeos algoritmos que
resuelvan estos problemas.
Esta asignatura, se orienta al logro de un egresado capaz de argumentar y
abordar problemas, con las estructuras lgicas y de pensamiento apropiados,
con el doble propsito de ser accionados en el mbito personal y profesional.
Articula el desarrollo de las competencias trabajadas en

Introduccin a la

Computacin y Programacin I.

Objetivos
El alumno al culminar el curso deber haber desarrollado las siguientes
competencias:
E.M.T. - Informtica - Primero
Lgica para Computacin
(2004)
Pgina 3 de 6

A.N.E.P.
CONSEJO DE EDUCACIN TCNICO PROFESIONAL

Expresin de sus ideas en forma precisa y sin ambigedades fomentando la

observacin de las reglas sintcticas.
Cultivo de distintos recursos para evaluar la correctitud de argumentos.
Empleo riguroso de lenguajes simblicos

internalizando la validez de la

nomenclatura y reglas de formacin de lenguajes, propias de la programacin.

Manejo de diferentes cdigos de expresin y comunicacin

en forma

autnoma, identificando, reconociendo y procesando informacin codificada

con el nivel de comprensin ms elevado posible.0
Extrapolacin eficiente de la rigurosidad adquirida en esta asignatura a la
elaboracin de software.
Utilizacin de herramientas tericas adquiridas para incursionar en el diseo de
Circuitos lgicos.
Desarrollo de la capacidad de controlar y monitorear su propio proceso de
pensamiento.
Reconocimiento de la falibilidad y posicionamiento flexible para rectificarse
frente a evidencia propia o ajena.

E.M.T. - Informtica - Primero

Lgica para Computacin
(2004)
Pgina 4 de 6

A.N.E.P.
CONSEJO DE EDUCACIN TCNICO PROFESIONAL

Contenidos Programticos
1. Objeto de la lgica - Tiempo sugerido: 6 hs
Nocin de argumento y enunciado.
Diferencia entre forma y contenido de un argumento
Sintaxis y semntica.
Lenguaje natural y lenguajes artificiales.

2. Introduccin a la Lgica Proposicional

Conjuntos - Tiempo sugerido: 24 hs

y Teora

de

Enunciados simples.
Enunciados compuestos.
Conectivas unarias y binarias. Notacin y concepto.
Negacin, Disyuncin, Conjuncin, Condicional, Bicondicional.
Definiciones bsicas de conjuntos y representaciones.
Operaciones con conjuntos
Analoga entre negacin y complemento absoluto, conjuncin e
interseccin, disyuncin inclusiva y unin.
Tablas de verdad.
Parentizacin. Jerarqua de conectores.
Propiedades
Interpretaciones de frmulas. Validez e inconsistencia.
Conjuntos adecuados de conectivas.
Formas normales.
Conjuntos adecuados minimales. Nor y Nand.
Validez de esquemas argumentales. Deduccin natural.
Implicancia y equivalencia lgica.

3. Introduccin a la Lgica de predicados - Tiempo sugerido: 22

hs
Cuantificadores. Definiciones y propiedades bsicas
Variables libres y ligadas.
Introduccin a los Circuitos Lgicos
Representacin esquemtica de : un conmutador ( o interruptor),
circuito de negacin, de conjuncin, circuito de disyuncin inclusiva.
Compuertas lgicas.
E.M.T. - Informtica - Primero
Lgica para Computacin
(2004)
Pgina 5 de 6

A.N.E.P.
CONSEJO DE EDUCACIN TCNICO PROFESIONAL

4. Resolucin de casos aplicando Lgica - Tiempo sugerido: 12 hs

Analisis y resolucin de casos de estudio.
Trabajos coordinados con la asignatura Programacin I

Propuesta Metodolgica
Las competencias antes mencionadas se desarrollan en clases terico
prcticas dictadas en saln o laboratorio de Informtica alternadamente, con
carga horaria de dos horas semanales.
Asimismo cada alumno deber dedicar un promedio de tres horas, horas
semanales al estudio domiciliario.
En este curso, se trabaja con un enfoque

pragmtico, la formalidad y los

conceptos bsicos, requeridos para la comprensin e interpretacin de las

diferentes asignaturas de la carrera.
Se avanzar proponiendo un grado progresivo de dificultad y de formalidad y
los conceptos bsicos, requeridos para la comprensin e interpretacin de las
diferentes asignaturas de la carrera.
Se avanzar proponiendo un grado progresivo de dificultad y de formalidad,
atendiendo a la edad de los estudiantes que realizan este curso y a la etapa de
pensamiento en la que se encuentran.

Bibliografa para el docente

Van Dalen, D., Logic and Structure. Ed. Springer-Verlag

Estructuras de Datos y Algoritmos Aho & Hopcroft & Ullman

Ralph P. Grimaldi Matemtica Discreta y Combinatoria Addison

Wesley Iberoamerican

William E. Fenton Ed. Dubinsky - Introduction to Discrete Mathematics with

ISETL Springer

Winfried Karl Grassmann, Jean Paul Tremblay Matemtica Discreta y

Lgica Prentice Hall

Bibliografa para el alumno

Smith, Karl, Introduccin a la lgica simblica. Ed. Iberoamrica.

Direcciones tiles:

http://www.ilstu.edu
http://isetlw.muc.edu/isetlw.
http://www.utu.edu.uy

E.M.T. - Informtica - Primero

Lgica para Computacin
(2004)
Pgina 6 de 6

A.N.E.P.
CONSEJO DE EDUCACIN TCNICO PROFESIONAL

Puntos de Contacto con otras asignaturas

A travs de estos diagramas de Venn se pretende indicar algunos de los
temas que pueden vincularse con otras asignaturas
1 Analogas y diferencias entre Lgica proposicional y Teora de Conjuntos
2 Implementacin de funciones, recursividad, procesos inductivos
3 Implementacin de funciones abstractas lgicas
4 Circuitos Lgicos, compuertas lgicas.

1
2

3
4

Introduccin a la
Computacin
Lgica para Computacin

Electricidad

E.M.T. - Informtica - Primero

Lgica para Computacin
(2004)
Pgina 7 de 6