Análisis de la definibilidad de relaciones en estructuras de primer orden

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.

Guardado en:
Detalles Bibliográficos
Autor principal: Incatasciato, Guillermo Luis
Otros Autores: Vaggione, Diego José
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2022
Materias:
Acceso en línea:http://hdl.handle.net/11086/28609
Aporte de:
id I10-R141-11086-28609
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Teoría de la computación
Lógica
Teoría de modelos
Definibilidad
Relaciones
Morfismos
Theory of computation
Logic
Model theory
Definability
Relations
Morphisms
spellingShingle Teoría de la computación
Lógica
Teoría de modelos
Definibilidad
Relaciones
Morfismos
Theory of computation
Logic
Model theory
Definability
Relations
Morphisms
Incatasciato, Guillermo Luis
Análisis de la definibilidad de relaciones en estructuras de primer orden
topic_facet Teoría de la computación
Lógica
Teoría de modelos
Definibilidad
Relaciones
Morfismos
Theory of computation
Logic
Model theory
Definability
Relations
Morphisms
description Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.
author2 Vaggione, Diego José
author_facet Vaggione, Diego José
Incatasciato, Guillermo Luis
format bachelorThesis
author Incatasciato, Guillermo Luis
author_sort Incatasciato, Guillermo Luis
title Análisis de la definibilidad de relaciones en estructuras de primer orden
title_short Análisis de la definibilidad de relaciones en estructuras de primer orden
title_full Análisis de la definibilidad de relaciones en estructuras de primer orden
title_fullStr Análisis de la definibilidad de relaciones en estructuras de primer orden
title_full_unstemmed Análisis de la definibilidad de relaciones en estructuras de primer orden
title_sort análisis de la definibilidad de relaciones en estructuras de primer orden
publishDate 2022
url http://hdl.handle.net/11086/28609
work_keys_str_mv AT incatasciatoguillermoluis analisisdeladefinibilidadderelacionesenestructurasdeprimerorden
bdutipo_str Repositorios
_version_ 1764820392378105857