Ministerio de Educación, Ciencia y Tecnología Universidad Nacional de San Luis FACULTAD DE CS. FISICO MAT. Y NAT. |
PROGRAMA DEL CURSO: LOGICA PARA COMPUTACION | ||
DEPARTAMENTO DE: INFORMATICA | ||
AREA: Area I: Datos | AÑO: 2003 (Id: 2052)Estado: Aprobado | |
CARRERAS PARA LAS QUE SE OFRECE EL MISMO CURSO |
PLAN DE ESTUDIOS |
CRÉDITO HORARIO |
|
SEM. |
TOTAL | ||
LIC. EN CIENCIAS DE LA COMPUTACION | 11/98 | 6 | 90 |
Funciones |
Apellido y Nombre |
Total hs en |
Cargo y Dedic. |
Carácter |
Responsable |
GAGLIARDI, EDILMA OLINDA | 12 hs. | PROFESOR TITULAR EXC. | Efectivo |
CREDITO HORARIO SEMANAL |
MODALIDAD |
REGIMEN | |||
Teórico/
Práctico
|
Teóricas |
Prácticas de Aula |
Práct. de lab/ camp/ Resid/ PIP, etc. |
1c | |
2 Hs. |
2 Hs. |
2 Hs. |
Hs. |
Asignatura |
Otro:
|
Duración:
14 semanas |
|||||
Período del
25/03/03 al 27/06/03 |
Introducir al alumno en la Lógica Matemática, con el fin de brindar una herramienta teórica para especificaciones formales en diferentes áreas de la Computación, como lo son las bases de datos, la inteligencia artificial, la especificación de software, arquitecturas de computadoras, etc. |
En esta asignatura se busca cubrir un núcleo básico delos aspectos teóricos y prácticos lo suficientemente amplio, otorgando una visión comprensiva de la materia, sustentada en una formación teórica que le permite una constante actualización mediante el uso de literatura científica actual y una capacidad de adaptación a las diferentes aplicaciones.
|
1. Lógica filosófica |
PRÁCTICOS DE AULA |
ACERCA DE LAS CONDICIONES DE REGULARIZACIÓN DE LA MATERIA |
Bibliografía: |
Warning: fread() [function.fread]: Length parameter must be greater than 0. in /extra/alumnos/carreras/impresion.php3 on line 568 |
COMPLEMENTO DE DIVULGACION
Introducir al alumno en la Lógica Matemática, con el fin de brindar una herramienta teórica para especificaciones formales en diferentes áreas de la Computación, como lo son las bases de datos, la inteligencia artificial, la especificación de software, arquitecturas de computadoras, etc.
|
1. Lógica filosófica
|
1)La Lic. Gagliardi realizó una pasantía durante el mes de Mayo en la Universidad Politécnica de Madrid,España. En tal situación, la Lic. Reyes quedó a cargo de la asignatura.
|