Unidad N° 5 : paradigma lógico

Autores
Corso, Cynthia Lorena; Colacioppo, Nicolás Leonardo; Guzmán, Analía; Ligorria, Karina Paola; Ligorria, Laura del Carmen; Marciszack, Marcelo Martín
Año de publicación
2021
Idioma
español castellano
Tipo de recurso
documento de trabajo
Estado
versión corregida
Descripción
El presente material, sirve como guía de referencia de los contenidos abordados en la Unidad N° 5 de la Cátedra Paradigmas de Programación de la FRC de la UTN “Paradigma Lógico”, cuyo objetivo principal es permitir comprender acabadamente los principios constitutivos y filosóficos que dan origen a este paradigma, y se lo utilice el concepto de relaciones de predicados y cláusulas de primer orden para la construcción de programas en la resolución de problemas.
Fil: Corso, Cynthia Lorena. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Colacioppo, Nicolás Leonardo. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Guzmán, Analía. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Ligorria, Karina Paola. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Ligorria, Laura del Carmen. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Peer Reviewed
Materia
Paradigmas
Paradigmas de programación
Paradigma lógico
Nivel de accesibilidad
acceso abierto
Condiciones de uso
2021-06-02T17:41:57Z
Repositorio
Repositorio Institucional Abierto (UTN)
Institución
Universidad Tecnológica Nacional
OAI Identificador
oai:ria.utn.edu.ar:20.500.12272/5218
Acceder
id RIAUTN_95b12d2d716232c4c23c86d41c6f2d20
oai_identifier_str oai:ria.utn.edu.ar:20.500.12272/5218
network_acronym_str RIAUTN
repository_id_str a
network_name_str Repositorio Institucional Abierto (UTN)
spelling Unidad N° 5 : paradigma lógicoCorso, Cynthia LorenaColacioppo, Nicolás LeonardoGuzmán, AnalíaLigorria, Karina PaolaLigorria, Laura del CarmenMarciszack, Marcelo MartínParadigmasParadigmas de programaciónParadigma lógicoEl presente material, sirve como guía de referencia de los contenidos abordados en la Unidad N° 5 de la Cátedra Paradigmas de Programación de la FRC de la UTN “Paradigma Lógico”, cuyo objetivo principal es permitir comprender acabadamente los principios constitutivos y filosóficos que dan origen a este paradigma, y se lo utilice el concepto de relaciones de predicados y cláusulas de primer orden para la construcción de programas en la resolución de problemas.Fil: Corso, Cynthia Lorena. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Colacioppo, Nicolás Leonardo. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Guzmán, Analía. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Ligorria, Karina Paola. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Ligorria, Laura del Carmen. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Peer Reviewed2021-06-02T17:41:57Z2021-06-02T17:41:57Z2021info:eu-repo/semantics/workingPaperinfo:eu-repo/semantics/updatedVersionhttp://purl.org/coar/resource_type/c_8042info:ar-repo/semantics/documentoDeTrabajoapplication/pdfapplication/pdfhttp://hdl.handle.net/20.500.12272/5218spaLlorens Largo, F., Castel de Haro, J. (2001). Lógica de Primer Orden, Lógica Computacional y Ampliación de Lógica. España: Universidad de Alicante. Departamento de Ciencia de Computación e Inteligencia Artificial.Labra G, J. (1998). Programación Práctica en Prolog. España: Universidad de Oviedo. Departamento de Informática. Áreas de Lenguajes y Sistemas Informáticos.Césari, M. Lógica. Mendoza: Universidad Tecnológica Nacional. Facultad Regional de Mendoza. Cátedra de Inteligencia Artificial.Apunte de Paradigmas de programación Universidad Tecnológica Nacional. Facultad Regional Buenos Aires.Fernández, A. Curso básico, intermedio y avanzado de programación.SWI Prolog: www.swi-prolog.orgProlog Development Tools (ProDT): http://prodevtools.sourceforge.net/GeeWhiz: http://hulles.supersized.org/GNU Prolog: http://www.gprolog.org/Visual Prolog: http://www.visual-prolog.com/info:eu-repo/semantics/openAccess2021-06-02T17:41:57Zhttp://creativecommons.org/licenses/by-nc-nd/4.0/Attribution-NonCommercial-NoDerivatives 4.0 InternacionalMarciszack, Marcelo MartínNo comercial solo de uso académico.reponame:Repositorio Institucional Abierto (UTN)instname:Universidad Tecnológica Nacional2026-09-24T12:44:15Zoai:ria.utn.edu.ar:20.500.12272/5218instacron:UTNInstitucionalhttp://ria.utn.edu.ar/Universidad públicaNo correspondehttp://ria.utn.edu.ar/oaigestionria@rec.utn.edu.ar; fsuarez@rec.utn.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:a2026-09-24 12:44:15.789Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacionalfalse
dc.title.none.fl_str_mv Unidad N° 5 : paradigma lógico
title Unidad N° 5 : paradigma lógico
spellingShingle Unidad N° 5 : paradigma lógico
Corso, Cynthia Lorena
Paradigmas
Paradigmas de programación
Paradigma lógico
title_short Unidad N° 5 : paradigma lógico
title_full Unidad N° 5 : paradigma lógico
title_fullStr Unidad N° 5 : paradigma lógico
title_full_unstemmed Unidad N° 5 : paradigma lógico
title_sort Unidad N° 5 : paradigma lógico
dc.creator.none.fl_str_mv Corso, Cynthia Lorena
Colacioppo, Nicolás Leonardo
Guzmán, Analía
Ligorria, Karina Paola
Ligorria, Laura del Carmen
Marciszack, Marcelo Martín
author Corso, Cynthia Lorena
author_facet Corso, Cynthia Lorena
Colacioppo, Nicolás Leonardo
Guzmán, Analía
Ligorria, Karina Paola
Ligorria, Laura del Carmen
Marciszack, Marcelo Martín
author_role author
author2 Colacioppo, Nicolás Leonardo
Guzmán, Analía
Ligorria, Karina Paola
Ligorria, Laura del Carmen
Marciszack, Marcelo Martín
author2_role author
author
author
author
author
dc.subject.none.fl_str_mv Paradigmas
Paradigmas de programación
Paradigma lógico
topic Paradigmas
Paradigmas de programación
Paradigma lógico
dc.description.none.fl_txt_mv El presente material, sirve como guía de referencia de los contenidos abordados en la Unidad N° 5 de la Cátedra Paradigmas de Programación de la FRC de la UTN “Paradigma Lógico”, cuyo objetivo principal es permitir comprender acabadamente los principios constitutivos y filosóficos que dan origen a este paradigma, y se lo utilice el concepto de relaciones de predicados y cláusulas de primer orden para la construcción de programas en la resolución de problemas.
Fil: Corso, Cynthia Lorena. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Colacioppo, Nicolás Leonardo. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Guzmán, Analía. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Ligorria, Karina Paola. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Ligorria, Laura del Carmen. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.
Peer Reviewed
description El presente material, sirve como guía de referencia de los contenidos abordados en la Unidad N° 5 de la Cátedra Paradigmas de Programación de la FRC de la UTN “Paradigma Lógico”, cuyo objetivo principal es permitir comprender acabadamente los principios constitutivos y filosóficos que dan origen a este paradigma, y se lo utilice el concepto de relaciones de predicados y cláusulas de primer orden para la construcción de programas en la resolución de problemas.
publishDate 2021
dc.date.none.fl_str_mv 2021-06-02T17:41:57Z
2021-06-02T17:41:57Z
2021
dc.type.none.fl_str_mv info:eu-repo/semantics/workingPaper
info:eu-repo/semantics/updatedVersion
http://purl.org/coar/resource_type/c_8042
info:ar-repo/semantics/documentoDeTrabajo
format workingPaper
status_str updatedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/20.500.12272/5218
url http://hdl.handle.net/20.500.12272/5218
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv Llorens Largo, F., Castel de Haro, J. (2001). Lógica de Primer Orden, Lógica Computacional y Ampliación de Lógica. España: Universidad de Alicante. Departamento de Ciencia de Computación e Inteligencia Artificial.
Labra G, J. (1998). Programación Práctica en Prolog. España: Universidad de Oviedo. Departamento de Informática. Áreas de Lenguajes y Sistemas Informáticos.
Césari, M. Lógica. Mendoza: Universidad Tecnológica Nacional. Facultad Regional de Mendoza. Cátedra de Inteligencia Artificial.
Apunte de Paradigmas de programación Universidad Tecnológica Nacional. Facultad Regional Buenos Aires.
Fernández, A. Curso básico, intermedio y avanzado de programación.
SWI Prolog: www.swi-prolog.org
Prolog Development Tools (ProDT): http://prodevtools.sourceforge.net/
GeeWhiz: http://hulles.supersized.org/
GNU Prolog: http://www.gprolog.org/
Visual Prolog: http://www.visual-prolog.com/
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
2021-06-02T17:41:57Z
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Marciszack, Marcelo Martín
No comercial solo de uso académico.
eu_rights_str_mv openAccess
rights_invalid_str_mv 2021-06-02T17:41:57Z
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Marciszack, Marcelo Martín
No comercial solo de uso académico.
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Institucional Abierto (UTN)
instname:Universidad Tecnológica Nacional
reponame_str Repositorio Institucional Abierto (UTN)
collection Repositorio Institucional Abierto (UTN)
instname_str Universidad Tecnológica Nacional
repository.name.fl_str_mv Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacional
repository.mail.fl_str_mv gestionria@rec.utn.edu.ar; fsuarez@rec.utn.edu.ar
_version_ 1877230874806714368
score 13.265058

Publicaciones similares