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 entre el hombr...

Descripción completa

Detalles Bibliográficos
Autor principal: Facultad de Ingeniería y Tecnología Informática
Formato: Learning Object
Lenguaje:Español
Publicado: Universidad de Belgrano - Programas de las Materias - Carrera de Ingeniería en Informática 2015
Materias:
Acceso en línea:http://repositorio.ub.edu.ar/handle/123456789/5518
Aporte de:Repositorio Institucional - Universidad de Belgrano (UB) de Universidad de Belgrano Ver origen
Descripción
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. La lógica permite desarrollar los lenguajes de programación, es el auxilio para la inteligencia artificial y proporciona elementos que facilitan el análisis y la resolución de problemas diversos con mayor nivel de precisión. La lógica es organizadora, constructora y generadora de un modo de razonar indispensable para todos aquellos que se acercan al conocimiento científico. 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 artificial, Arquitecturas de computadoras, Verificación de programas y muchas más