|
|
|
|
| LEADER |
03297nam a2200385 i 4500 |
| 003 |
PA-PaUSB |
| 005 |
20240301130933.0 |
| 006 |
a|||||r|||| 001 0 |
| 007 |
ta |
| 008 |
160609s2015 pn a ||grm| | 001 ||spa d |
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Panamá
|
| 082 |
0 |
4 |
|2 21
|a TM 511.35
|b M36
|
| 100 |
1 |
|
|a Martínez V., Iveth Verónica
|e autor
|
| 245 |
1 |
0 |
|a Jerarquía aritmética de Kleene
|c / Iveth V. Martínez V.; [asesor, Dr. Eduardo Piza Volio]
|
| 264 |
|
3 |
|a Panamá :
|b Universidad, Vicerrectoría de Investigación y Postgrado,
|c 2015
|
| 300 |
|
|
|a v, 114 páginas :
|b gráficas ;
|c 28 cm
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|b n
|2 rdamedia
|
| 338 |
|
|
|a volumen
|b nc
|2 rdacarrier
|
| 500 |
|
|
|a Tesis presentada como uno de los requisitos para optar por el Grado de Magister en Ciencias con especialización en Matemática Pura. - Página del título.
|
| 500 |
|
|
|a En: UP-RID
|
| 502 |
|
|
|b Maestría
|c Universidad de Panamá. Vicerrectoría de Investigación y Postgrado. Facultad de Ciencias Naturales, Exactas y Tecnología, Programa de Maestría.
|d 2015
|g Tesis
|
| 520 |
3 |
|
|a Este trabajo está organizado en tres capítulos, en el primer capítulo, revisamos algunos conceptos fundamentales como las funciones primitivas, utilizadas por Godel en 1930 en su Teorema de incompletitud, la noción de funciones primitiva-recursivas, funciones básicas, predicados primitivo-recursivos, la enumeración de Godel importante para el desarrollo del trabajo y las funciones recursivas en algunos casos Ramada funciones computables. Fuertemente asociado con las funciones recursivas, están los conceptos de los conjuntos recursivamente innumerables y los conjuntos recursivos revisados en el segundo capítulo. Además definimos la reducibilidad de conjuntos, revisamos las relaciones entre los conjuntos completos, productivos, creativos, cilindros, inmunes y simples. Se presenta los conjuntos de índices que corresponden a problemas naturales indecidibles relacionados con las funciones recursivas: K, Ko, Kl, Inf, Fin, Rec, Con, Cof, Ext, Subset y Tot y un interés en el grado de irresolubilidad de los conjuntos Crea, Simp y Comp. La clasificación de los conjuntos definidos en el segundo capítulo, es desarrollada en el tercer capítulo, momento en que la lógica juega un papel importante para el logro del mismo. Además se establece la noción de Turing-reducible y los grados de irresolubilidad asociados. Importante para este tema es el estudio de los métodos "finite-infinite injury priority", creado por Shoenfield (1961) y Sacks (1963-1964) de forma independientemente.
|
| 650 |
|
7 |
|2 LEMB
|a FUNCIONES RECURSIVAS
|x METODOLOGIA
|9 138545
|
| 650 |
|
7 |
|2 LEMB
|a FUNCIONES ARITMETICAS
|9 191038
|
| 650 |
|
7 |
|2 LEMB
|a ALGORITMOS
|9 137412
|
| 650 |
|
7 |
|2 LEMB
|a LOGICA SIMBOLICA Y MATEMATICA
|9 156816
|
| 650 |
|
7 |
|2 LEMB
|a FUNCIONES DE VARIABLE COMPLEJA
|9 164763
|
| 650 |
|
7 |
|2 LEMB
|a ARITMETICA
|9 154613
|x FUNDAMENTOS
|
| 700 |
1 |
|
|a Piza Volio, Eduardo
|e asesor
|
| 856 |
4 |
1 |
|u http://up-rid.up.ac.pa/272/2/iveth%20martinez
|
| 942 |
|
|
|2 ddc
|c TS
|
| 945 |
|
|
|a ZM
|
| 999 |
|
|
|c 193631
|d 193630
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 TM_511_350000000000000_M36
|7 0
|8 T
|9 310756
|a 10
|b 10
|c 15
|d 2016-06-09
|e obsequio
|o TM 511.35 M36
|p 00280450
|r 2016-06-09
|t e.1
|w 2016-06-09
|y TS
|