Lógica
OBJETIVOS: Principal: El objetivo de este curso es suministrar los conocimientos lógicos indispensables para acercarse a la computadora desde un ángulo más riguroso. Francisco Naischtat dice en el prólogo de uno de sus libros que la lógica es un elemento de mediación inevitable...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Learning Object |
| Lenguaje: | Español |
| Publicado: |
Universidad de Belgrano - Programas de las Materias - Carrera de Lic. en Sistemas de Información
2015
|
| Materias: | |
| Acceso en línea: | http://repositorio.ub.edu.ar/handle/123456789/5644 |
| Aporte de: |
| Sumario: | OBJETIVOS:
Principal:
El objetivo de este curso es suministrar los conocimientos lógicos indispensables para
acercarse a la computadora desde un ángulo más riguroso.
Francisco Naischtat dice en el prólogo de uno de sus libros que la lógica es un elemento de
mediación inevitable entre el hombre y la computadora. La lógica de Primer orden es un
buen metalenguaje para resolver problemas tales como: ambigüedad, consistencia,
demostrabilidad y computabilidad.
Se pretende brindarle al alumno una herramienta de gran utilidad para la posterior aplicación
en diferentes áreas de la Computación, como lo son: Base de datos, Inteligencia arti ficial,
Arquitecturas de computadoras, Veri ficación de programas y muchas más |
|---|