Lógica

Mostrar todas las versiones(4)

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...

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 Lic. en Sistemas de Información 2015
Materias:
Lógica
logic
Ingeniería
engineering
Sistemas de Información
Information systems
Acceso en línea:http://repositorio.ub.edu.ar/handle/123456789/5644
Aporte de:
Repositorio Institucional - Universidad de Belgrano (UB) de Universidad de Belgrano
id I36-R142-123456789-5644
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
engineering
Sistemas de Información
Information systems
spellingShingle Lógica
logic
Ingeniería
engineering
Sistemas de Información
Information systems
Facultad de Ingeniería y Tecnología Informática
Lógica
topic_facet Lógica
logic
Ingeniería
engineering
Sistemas de Información
Information systems
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. 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
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 Lic. en Sistemas de Información
publishDate 2015
url http://repositorio.ub.edu.ar/handle/123456789/5644
work_keys_str_mv AT facultaddeingenieriaytecnologiainformatica logica
bdutipo_str Repositorios
_version_ 1764820531661504513

Ejemplares similares