Lógica para Ciencias de la Computación (cs5704)

last update, 03 07 2008

Guillermo Ricardo Simari
Department of Computer Science & Engineering
Universidad Nacional del Sur
Bahía Blanca - Argentina

e-mail: grs@cs.uns.edu.ar

Home: http://cs.uns.edu.ar/~grs

 

Fechas Importantes

 

Finales

En caso de rendir entre el 10 y 26 de julio, por favor comunicarse por correo electrónico.

Los alumnos que solo aprobaron el primer colóquio, se les considerará aprobada esa parte para el final (Avisar al profesor).

 

 

2008

  Horario de Clases

Lunes

14:30 a 18 hs. (Aula 38C)

Miércoles

14:30 a 18 hs. (Aula 38C)

Consultas

Martes

17:00 hs. (Hall DCIC)

Otro Día

A convenir

Material Disponible (en formato pdf)

ADVERTENCIA: El material de esta página se suministra como ayuda al material de los libros. En las transparencias pueden existir errores involuntarios y/o simplificaciones intencionales para motivar al alumno y hacer el contenido más intuitivo.

SE RECOMIENDA SEGUIR LA BIBLIOGRAFÍA DEL CURSO (ver Administratrivia).

 
 

Clases Teóricas

 

00. Administratrivia 

COLOR - Blanco y Negro

01. Computación y Lógica 

COLOR - Blanco y Negro

02. Teorías Formales 

COLOR - Blanco y Negro

03. Semántica y Deducción en L 

 COLOR - Blanco y Negro

04. Computación en L 

 COLOR - Blanco y Negro

05. Cálculo Proposicional - Metapropiedades 

 COLOR - Blanco y Negro

06. Cálculo de Predicados (1) 

 COLOR - Blanco y Negro

07. Cálculo de Predicados (2) 

 COLOR - Blanco y Negro

08. Cálculo de Predicados (3) 

 COLOR - Blanco y Negro

09. Cálculo de Predicados (4) 

 COLOR - Blanco y Negro

10. Cálculo de Predicados (5) 

 COLOR - Blanco y Negro

11. Cálculo de Predicados (6) 

 COLOR - Blanco y Negro

12. Cálculo de Predicados (7) 

 COLOR - Blanco y Negro

14. Cálculo Lambda

 COLOR - Blanco y Negro

15. Lógica Modal

 COLOR - Blanco y Negro
   
   
 

Clases Adicionales

 

01. Introducción a la Programación en Lógica

COLOR - Blanco y Negro

02. Prolog 

COLOR - Blanco y Negro

03. Estructuras de Datos en Prolog 

 COLOR - Blanco y Negro

04. Prolog (un poco más) Avanzado

 COLOR - Blanco y Negro

05. Meta-intérpretes 

 COLOR - Blanco y Negro

06. Semática Operacional de PL

 COLOR - Blanco y Negro

07. Semática de Declarativa

 COLOR - Blanco y Negro

08. Semática de Punto Fijo

 COLOR - Blanco y Negro

09. Correctitud de Programas

 COLOR - Blanco y Negro

10. Operador de Corte y la Negación por Falla

 COLOR - Blanco y Negro

11. Programación Funcional en LISP

 COLOR - Blanco y Negro

12. Lógica Difusa

 COLOR - Blanco y Negro
   
 

Trabajos Prácticos (Números)

 

01. Introducción a la Lógica

Blanco y Negro

02. Teorías Formales

 Blanco y Negro

03. Lógica Proposicional

 Blanco y Negro

04. Cálculo de Predicados

 Blanco y Negro

05. Lógica Difusa

 Blanco y Negro

06. Cálculo Lambda

 Blanco y Negro

07. Lógica Modal

 Blanco y Negro
   

Trabajos Prácticos (Letras)

 

A. Introducción al Lenguaje Prolog

Blanco y Negro

B. Estructuras de Datos en Prolog

 Blanco y Negro

C. Meta-intérpretes 

 Blanco y Negro

D. Semántica Operacional

 Blanco y Negro

E. Semántica Declarativa

 Blanco y Negro

F. Semántica de Punto Fijo

 Blanco y Negro

G. Cut y Negación por Falla

 Blanco y Negro

H. Programación Funcional en LISP

 Blanco y Negro
   
 

Proyectos

 

1. Integración Prolog-Java (Proyecto)

 Blanco y Negro

   Integración Prolog-Java (Guia)

 Blanco y Negro

   Integración Prolog-Java (Trie.pl)

 zip

2. Programación Funcional 

Blanco y Negro

   
 

Material Adicional

Software

Follow this link to SWI-PROLOG

Follow this link to SWI-Prolog-Editor

 

Utilitario Acrobat Reader para leer los archivos  pdf