SlideShare una empresa de Scribd logo
1 de 11
Teoría de la Computación Enumeraciones   y Numeración de Gödel
Enumeraciones y conjuntos contables ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Enumeraciones y conjuntos contables ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Enumeraciones y conjuntos contables ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Enumeraciones y conjuntos contables ,[object Object],[object Object],[object Object],[object Object],(s k1 ,0) (s k,0 ,0) (s k0 ,2) (s k,0 ,1) ... (s k,1 ,2) (s k,1 ,1) (s k,2 ,0) (s k2 ,2) (s k,2 ,1) ... (s k,3 ,0) (s k,3 ,1) ... ... ... ... Método zig-zag
Numeraciones de Gödel ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Numeraciones de Gödel ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Numeraciones de Gödel ,[object Object],[object Object],[object Object],m=p 1  p 2 ...p n e 2 e 1 e n Donde  p 1  < p 2 < ...< p n son primos y cada e i  > 0
Numeraciones de Gödel ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], a i0   a i1   a ik
Numeraciones de Gödel ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Conclusión ,[object Object],[object Object]

Más contenido relacionado

La actualidad más candente

Cap1 sistemas numericos
Cap1 sistemas numericosCap1 sistemas numericos
Cap1 sistemas numericos
Diana Ordonez
 
Unmsm fisi - conjuntos convexos y programación matemática - io1 cl02
Unmsm   fisi - conjuntos convexos y programación matemática - io1 cl02Unmsm   fisi - conjuntos convexos y programación matemática - io1 cl02
Unmsm fisi - conjuntos convexos y programación matemática - io1 cl02
Julio Pari
 
Taller 2 Algebra_Lineal (Rectas y Planos)
Taller 2 Algebra_Lineal (Rectas y Planos)Taller 2 Algebra_Lineal (Rectas y Planos)
Taller 2 Algebra_Lineal (Rectas y Planos)
Bladimir Lenis Gil
 

La actualidad más candente (19)

Tabla de símbolos matemáticos
Tabla de símbolos matemáticosTabla de símbolos matemáticos
Tabla de símbolos matemáticos
 
Integral definida
Integral definidaIntegral definida
Integral definida
 
Sucesiones progresiones-y-sumatorias
Sucesiones progresiones-y-sumatoriasSucesiones progresiones-y-sumatorias
Sucesiones progresiones-y-sumatorias
 
Mpinning Gy Alg10(Busqueda)
Mpinning Gy Alg10(Busqueda)Mpinning Gy Alg10(Busqueda)
Mpinning Gy Alg10(Busqueda)
 
Guia de integración indefinida
Guia de integración indefinida  Guia de integración indefinida
Guia de integración indefinida
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Ecuaciones exponenciales
Ecuaciones exponencialesEcuaciones exponenciales
Ecuaciones exponenciales
 
Mpinning Gyalg12(Analg)
Mpinning Gyalg12(Analg)Mpinning Gyalg12(Analg)
Mpinning Gyalg12(Analg)
 
Cap1 sistemas numericos
Cap1 sistemas numericosCap1 sistemas numericos
Cap1 sistemas numericos
 
Rectas en el plano
Rectas en el planoRectas en el plano
Rectas en el plano
 
Progresiones
ProgresionesProgresiones
Progresiones
 
Definición y origen de los números complejos
Definición y origen de los números complejosDefinición y origen de los números complejos
Definición y origen de los números complejos
 
4 Sucesiones
4  Sucesiones4  Sucesiones
4 Sucesiones
 
Analisis libro gerardo____5toao
Analisis libro gerardo____5toaoAnalisis libro gerardo____5toao
Analisis libro gerardo____5toao
 
Unmsm fisi - conjuntos convexos y programación matemática - io1 cl02
Unmsm   fisi - conjuntos convexos y programación matemática - io1 cl02Unmsm   fisi - conjuntos convexos y programación matemática - io1 cl02
Unmsm fisi - conjuntos convexos y programación matemática - io1 cl02
 
Conjuntos Y Subconjuntos Unl
Conjuntos Y Subconjuntos UnlConjuntos Y Subconjuntos Unl
Conjuntos Y Subconjuntos Unl
 
Taller 2 Algebra_Lineal (Rectas y Planos)
Taller 2 Algebra_Lineal (Rectas y Planos)Taller 2 Algebra_Lineal (Rectas y Planos)
Taller 2 Algebra_Lineal (Rectas y Planos)
 
Comprobacion
ComprobacionComprobacion
Comprobacion
 
El abc de la conjetura
El abc de la conjeturaEl abc de la conjetura
El abc de la conjetura
 

Destacado

Entretien avec Marc Dal Maso
Entretien avec Marc Dal Maso Entretien avec Marc Dal Maso
Entretien avec Marc Dal Maso
Marc De Jongy
 
W3 transportes
W3 transportesW3 transportes
W3 transportes
romero344
 
un Nord-Pas de Calais effervescent et créatif
un Nord-Pas de Calais effervescent et créatifun Nord-Pas de Calais effervescent et créatif
un Nord-Pas de Calais effervescent et créatif
NordPasdeCalais
 
Conférence business dev escp 12 mars
Conférence business dev escp 12 marsConférence business dev escp 12 mars
Conférence business dev escp 12 mars
yvesjannic
 
Perfume De Mujer
Perfume De MujerPerfume De Mujer
Perfume De Mujer
Viritica V
 
Proyecto Solidario
Proyecto SolidarioProyecto Solidario
Proyecto Solidario
Gabrorev
 
S O L O M I R A
S O L O  M I R AS O L O  M I R A
S O L O M I R A
musocio
 
Plan.2014 pei.espagnol
Plan.2014 pei.espagnolPlan.2014 pei.espagnol
Plan.2014 pei.espagnol
18123
 

Destacado (20)

Intro
IntroIntro
Intro
 
Vida y muerte de un poeta
Vida y muerte de un poetaVida y muerte de un poeta
Vida y muerte de un poeta
 
Présentation du projet de portfolio "FLI" pour adultes migrants
Présentation du projet de portfolio "FLI" pour adultes migrantsPrésentation du projet de portfolio "FLI" pour adultes migrants
Présentation du projet de portfolio "FLI" pour adultes migrants
 
Entretien avec Marc Dal Maso
Entretien avec Marc Dal Maso Entretien avec Marc Dal Maso
Entretien avec Marc Dal Maso
 
W3 transportes
W3 transportesW3 transportes
W3 transportes
 
un Nord-Pas de Calais effervescent et créatif
un Nord-Pas de Calais effervescent et créatifun Nord-Pas de Calais effervescent et créatif
un Nord-Pas de Calais effervescent et créatif
 
Introducción al uso de git, el sistema de control de fuentes más molón.
Introducción al uso de git, el sistema de control de fuentes más molón. Introducción al uso de git, el sistema de control de fuentes más molón.
Introducción al uso de git, el sistema de control de fuentes más molón.
 
Una introducción al Diseño de Interacción
Una introducción al Diseño de InteracciónUna introducción al Diseño de Interacción
Una introducción al Diseño de Interacción
 
Conférence business dev escp 12 mars
Conférence business dev escp 12 marsConférence business dev escp 12 mars
Conférence business dev escp 12 mars
 
Perfume De Mujer
Perfume De MujerPerfume De Mujer
Perfume De Mujer
 
Ludwig
LudwigLudwig
Ludwig
 
PresentacióN OpúSculo Y TablóN De Edictos
PresentacióN OpúSculo Y TablóN De EdictosPresentacióN OpúSculo Y TablóN De Edictos
PresentacióN OpúSculo Y TablóN De Edictos
 
Proyecto Solidario
Proyecto SolidarioProyecto Solidario
Proyecto Solidario
 
Militancia y afiliación 2.0
Militancia y afiliación 2.0Militancia y afiliación 2.0
Militancia y afiliación 2.0
 
Présentation des résultats du Programme Euromed Audiovisuel
Présentation des résultats du Programme Euromed AudiovisuelPrésentation des résultats du Programme Euromed Audiovisuel
Présentation des résultats du Programme Euromed Audiovisuel
 
S O L O M I R A
S O L O  M I R AS O L O  M I R A
S O L O M I R A
 
Plan.2014 pei.espagnol
Plan.2014 pei.espagnolPlan.2014 pei.espagnol
Plan.2014 pei.espagnol
 
Info expo
Info expoInfo expo
Info expo
 
Inter assises 2010
Inter assises 2010Inter assises 2010
Inter assises 2010
 
LES PARENTS IMPOSSIBLES
LES PARENTS IMPOSSIBLESLES PARENTS IMPOSSIBLES
LES PARENTS IMPOSSIBLES
 

Similar a Enumeracion de Goedel (20)

Numeros Complejos
Numeros ComplejosNumeros Complejos
Numeros Complejos
 
Complejos
ComplejosComplejos
Complejos
 
Numeros complejos
Numeros complejos Numeros complejos
Numeros complejos
 
Algebra moderna herstein
Algebra moderna hersteinAlgebra moderna herstein
Algebra moderna herstein
 
Libro.algebra abstracta -_i.n.herstein
Libro.algebra abstracta -_i.n.hersteinLibro.algebra abstracta -_i.n.herstein
Libro.algebra abstracta -_i.n.herstein
 
propuesta didáctica
 propuesta didáctica propuesta didáctica
propuesta didáctica
 
Lgr
LgrLgr
Lgr
 
Numeros Complejos
Numeros Complejos Numeros Complejos
Numeros Complejos
 
Finanalitica
FinanaliticaFinanalitica
Finanalitica
 
Espacio vectorial Y COMBINACION LINEAL
Espacio vectorial Y COMBINACION LINEALEspacio vectorial Y COMBINACION LINEAL
Espacio vectorial Y COMBINACION LINEAL
 
ALGEBRA LINAEL.pptx
ALGEBRA LINAEL.pptxALGEBRA LINAEL.pptx
ALGEBRA LINAEL.pptx
 
Numeros naturales
Numeros naturalesNumeros naturales
Numeros naturales
 
Espacios L2
Espacios L2Espacios L2
Espacios L2
 
UNIDAD 1 NUMEROS COMPLEJOS
UNIDAD 1 NUMEROS COMPLEJOSUNIDAD 1 NUMEROS COMPLEJOS
UNIDAD 1 NUMEROS COMPLEJOS
 
Construccionescompleto
ConstruccionescompletoConstruccionescompleto
Construccionescompleto
 
01 reales
01 reales01 reales
01 reales
 
Complejos
ComplejosComplejos
Complejos
 
Numeros complejos
Numeros complejosNumeros complejos
Numeros complejos
 
Numeros complejos
Numeros complejosNumeros complejos
Numeros complejos
 
optimiza_amaya (4).pdf
optimiza_amaya (4).pdfoptimiza_amaya (4).pdf
optimiza_amaya (4).pdf
 

Más de Stefano Salvatori (20)

Salida a Volcán Copahue Febrero 2011
Salida a Volcán Copahue Febrero 2011Salida a Volcán Copahue Febrero 2011
Salida a Volcán Copahue Febrero 2011
 
Salida a Aguas Calientes abril 2011
Salida a Aguas Calientes abril 2011Salida a Aguas Calientes abril 2011
Salida a Aguas Calientes abril 2011
 
Sistema de capas
Sistema de capasSistema de capas
Sistema de capas
 
Maquinas Abstractas
Maquinas AbstractasMaquinas Abstractas
Maquinas Abstractas
 
Pipelining
PipeliningPipelining
Pipelining
 
Memoria I I
Memoria  I IMemoria  I I
Memoria I I
 
I S A
I S AI S A
I S A
 
C P U Uniciclo
C P U  UnicicloC P U  Uniciclo
C P U Uniciclo
 
Mips1
Mips1Mips1
Mips1
 
Exc Int
Exc IntExc Int
Exc Int
 
DesempeñO
DesempeñODesempeñO
DesempeñO
 
Mips
MipsMips
Mips
 
Memoria I
Memoria  IMemoria  I
Memoria I
 
Codificacion
CodificacionCodificacion
Codificacion
 
Multiciclo
MulticicloMulticiclo
Multiciclo
 
Hebras
HebrasHebras
Hebras
 
Semaforos
SemaforosSemaforos
Semaforos
 
Planificacion Procesos Gral
Planificacion Procesos GralPlanificacion Procesos Gral
Planificacion Procesos Gral
 
Memoria Soporte Hw
Memoria Soporte HwMemoria Soporte Hw
Memoria Soporte Hw
 
Hebras En Accion
Hebras En AccionHebras En Accion
Hebras En Accion
 

Último

EPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveEPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial Uninove
FagnerLisboa3
 
Modulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfModulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdf
AnnimoUno1
 

Último (11)

Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdfRefrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
 
Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
 
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptxEL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.
 
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvana
 
EPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveEPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial Uninove
 
pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNIT
 
Modulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfModulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdf
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estos
 

Enumeracion de Goedel

  • 1. Teoría de la Computación Enumeraciones y Numeración de Gödel
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.