000 02255aam a2200337 i 4500
001 000928054
005 20251114143944.0
008 230908s2019 sp ad fr 000 0 spa d
020 _a9788417811495
020 _a8417811494
040 _aCO-BoUNC
_bspa
_erda
_cCO-BoUNC
082 0 4 _a511.352
_bD352d
100 _aDelgado Pin, Jordi
_eAutor
_9957
245 1 0 _aDe Turing a Google :
_bcomputación y programación /
_cJordi Delgado Pin.
264 1 _a[Barcelona] :
_bEmse Edapp
_a[Madrid] :
_bPrisanoticias colecciones,
_c[2019].
264 4 _c©2019
300 _a142 páginas :
_bilustraciones (principalmente a blanco y negro), diagramas ;
_c24 cm.
336 _atexto
_btxt
_2rdacontent
337 _asin mediación
_bn
_2rdamedia
338 _avolumen
_bnc
_2rdacarrier
490 1 _aGrandes ideas de las matemáticas
_v28
504 _aBibliografía : páginas 141-142
505 0 _aTuring -- De la notación : el lenguaje de programación WHILE -- ¿Se puede computar cualquier cosa? -- Espejito, espejito -- All good things.
520 3 _aHacia 1936, y tras seguir caminos separados e independientes, Alan Turing y Alonso Church dieron luz a una teoría sobre qué se puede computar y qué no. Este volumen es precisamente una introducción a esa teoría, llamada «de la computabilidad». Casi un siglo después de los trabajos de Turing y Church, pero también de las aportaciones de Kurt Gödel y Stephen C. Kleene, entre otros, ciertas construcciones matemáticas utilizadas en la mencionada teoría, inventadas a tenor de las necesidades formales de la época, se pueden sustituir por otras mucho más sencillas, haciendo más asequible, que no menos general ni menos rigurosa, la exposición de los aspectos clave de la misma. Esa ha sido la acertada elección del autor de este libro, que emplea conceptos modernos de programación para explicar los resultados más relevantes de la teoría de la computabilidad.-- Contracubierta
_ceditor
650 1 7 _aFunciones calculables
_2LEMB
650 1 7 _aLenguajes de programación
_vModelos matemáticos
_2LEMB
650 1 7 _aDecidabilidad (Lógica matemática)
_2LEMB
650 1 7 _aLógica simbólica y matemática
_2LEMB
830 0 _aGrandes ideas de las matemáticas
_v28
942 _cBK
_n0
999 _c37875
_d37875