1. Universidad Autonoma del Estado de Hidalgo
  2. Tesis
  3. Tesis de Licenciatura
Por favor, use este identificador para citar o enlazar este ítem: http://dgsa.uaeh.edu.mx:8080/handle/231104/5154
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.authorRivas González, Norberto Javier-
dc.date.accessioned2024-07-19T14:05:42Z-
dc.date.available2024-07-19T14:05:42Z-
dc.date.issued2016-06-
dc.identifier.govdocLMATA .11840 2016-
dc.identifier.otherAT20822-
dc.identifier.urihttp://dgsa.uaeh.edu.mx:8080/bibliotecadigital/handle/231104/5154-
dc.descriptionEste trabajo tiene por objetivo partir de la definición de modelo aritmético, esto es, un conjunto y un par de operaciones que validen a cada axioma de Peano traducido a primer orden y mostrar que, además de la aritmética usual (el conjunto de los números naturales junto a la suma y producto usuales), existen otros conjuntos, dotados de sus propias operaciones, que continúan siendo modelos para estos axiomas. Luego de mostrar su existencia, se ahondará en algunos aspectos que son inherentes a todos los modelos aritméticos y otros exclusivos de los numerables. El texto contiene también un primer capítulo de preliminares a fin de exponer los conceptos y teoremas básicos, considerados necesarios para el buen entendimiento de los resultados presentados en la tesis.es_ES
dc.language.isoeses_ES
dc.publisherICBI-BD-UAEHes_ES
dc.subjectSintácticaes_ES
dc.subjectSemánticaes_ES
dc.subjectDeducción naturales_ES
dc.subjectIdentidades_ES
dc.subjectModeloses_ES
dc.subjectOrdenes_ES
dc.subjectInducciónes_ES
dc.subjectRecursiónes_ES
dc.subjectTeoría de númeroses_ES
dc.titleAritmética de Peano en lógica de primer orden y propiedades de sus modelos numerables.es_ES
dc.title.alternativeMatemáticas Aplicadases_ES
dc.typeTesises_ES
Aparece en las colecciones: Tesis de Licenciatura

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
AT20822.pdf1.2 MBAdobe PDFVisualizar/Abrir
Mostrar el registro sencillo del ítem


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.