lunes, 4 de octubre de 2010

Resumen de la asignatura

Tiene como objetivo estudiar los métodos derivados de la lógica formal con el fin de aplicarlos a una ciencia particular, la Ciencia Computacional. Cuando una disciplina se aplica a un área particular, es costumbre referirse a ella agregando al nombre de esa ciencia, el nombre del área de aplicación. Así, por ejemplo, cuando la estadística se aplica a la economía, a la administración o a la ingeniería se le llama a comúnmente (correcta o incorrectamente), "Estadística para Economistas", Estadística para Administración" o "Estadística para Ingenieros"; similarmente la lógica que se ha aplicado a la Ciencia Computacional se le ha llamado Lógica Computacional o Lógica Informática [CUENA]. En el primer caso, tal vez no este muy justificado decir estadística para ingenieros, administradores, economistas o agrónomos, ya que en todos esos casos se aplican, en general, los mismos conceptos; sin embargo en el caso de la Lógica Computacional o Lógica Informática, es diferente, ya que esta estudia aspectos que solo se presentan en situaciones computacionales; por ejemplo la especificación de programas de cómputo, la demostración automática de teoremas y la programación automática, surgen del desarrollo de procedimientos computacionales.

La Lógica Computacional es una disciplina que estudia la aplicación de la Lógica Formal para la representación computacional de argumentos, las técnicas de deducción automática o asistida por computadora, los fundamentos relacionados con validez y completez (completeness) de sistemas de proposiciones y, las aplicaciones de esas técnicas a las diferentes áreas de las Ciencias Computacionales en todas las etapas del desarrollo del software, es decir, especificación, diseño, construcción y verificación formal de programas.

En qué consiste el portafolio?

El portafolio consiste en un registro construido por el estudiante, se entregará un modelo de portafolio, allí consignará, algunas síntesis de cada uno de los temas tratados, los logros alcanzados, las dificultades y la manera que encontró para superarlas, las profundizaciones alrededor de los temas del curso, es decir el valor agregado que se adquiera por encima de los contenidos mínimos de la asignatura, también colocará sus compromisos a asumir. El portafolio debe enviarse por la herramienta tareas.