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

Guardado en:
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:
id I36-R142-123456789-5518
record_format dspace
institution Universidad de Belgrano
institution_str I-36
repository_str R-142
collection Repositorio Institucional - Universidad de Belgrano (UB)
language Español
topic Lógica
logic
Ingeniería
Ingeniería en Informática
Computer engineering
engineering
spellingShingle Lógica
logic
Ingeniería
Ingeniería en Informática
Computer engineering
engineering
Facultad de Ingeniería y Tecnología Informática
Lógica
topic_facet Lógica
logic
Ingeniería
Ingeniería en Informática
Computer engineering
engineering
description 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
format Learning Object
author Facultad de Ingeniería y Tecnología Informática
author_facet Facultad de Ingeniería y Tecnología Informática
author_sort Facultad de Ingeniería y Tecnología Informática
title Lógica
title_short Lógica
title_full Lógica
title_fullStr Lógica
title_full_unstemmed Lógica
title_sort lógica
publisher Universidad de Belgrano - Programas de las Materias - Carrera de Ingeniería en Informática
publishDate 2015
url http://repositorio.ub.edu.ar/handle/123456789/5518
work_keys_str_mv AT facultaddeingenieriaytecnologiainformatica logica
bdutipo_str Repositorios
_version_ 1764820531614318593