Está en la página 1de 7

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 .................................................................................................................. 1
Introduccin ........................................................ Error! Marcador no definido.
Objetivos............................................................................................................. 2
Contenidos Programticos.................................................................................. 4
Propuesta Metodolgica ..................................................................................... 5
Bibliografa para el docente ................................................................................ 5
Bibliografa para el alumno ................................................................................. 5
Direcciones tiles:............................................................................................... 5
Puntos de Contacto con otras asignaturas ......................................................... 6

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 1 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 2 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 3 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

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.

E.M.T. - Informtica - Primero


Lgica para Computacin
(2004)
Pgina 4 de 6

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

Compuertas lgicas.
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
E.M.T. - Informtica - Primero
Lgica para Computacin
(2004)
Pgina 5 de 6

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

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

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
Programacin I

Electricidad

E.M.T. - Informtica - Primero


Lgica para Computacin
(2004)
Pgina 6 de 6