Introducción a la teoría de la computabilidad: algoritmos y máquinas /
[...] se ha logrado mostrar, por métodos estrictamente matemáticos, que existen problemas matemáticos que no pueden ser tratados mediante métodos del cálculo matemático. En vista del importante papel que juega hoy la matemática en nuestra concepción del mundo, este hecho es de gran interés filosófic...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Kit |
| Language: | Spanish German |
| Published: |
Madrid:
Tecnos,
1984.
|
| Edition: | Primera edición. |
| Series: | Cuadernos de Filosofía y Ensayo.
|
| Subjects: |
MARC
| LEADER | 00000cac a2200000 i 4500 | ||
|---|---|---|---|
| 003 | Ucuenca | ||
| 005 | 20230308220231.0 | ||
| 006 | a||||gr|||| 001 0 | ||
| 007 | ta | ||
| 008 | 013012t1984 sp ||||gr|||||||1|||spa a | ||
| 020 | |a 84-309-1026-3 | ||
| 040 | |b spa |a UCuenca-cdrjbv |c UCuenca |e rda | ||
| 041 | 1 | |a spa |h ger | |
| 082 | 0 | |2 21 |a 004 |c 116307 | |
| 100 | 1 | |9 187100 |a Hans, Hermes. |d 1912-2003 |e autor | |
| 245 | 0 | 0 | |a Introducción a la teoría de la computabilidad: |b algoritmos y máquinas / |c Hans Hermes, traductor es Manuel Garrido y Aránzazu Marín. |
| 250 | |a Primera edición. | ||
| 264 | 1 | |a Madrid: |b Tecnos, |c 1984. | |
| 264 | 4 | |c ©1984 | |
| 300 | |a 135 páginas: |b tab |c 18 cm | ||
| 336 | |2 rdacontent |a texto |b txt | ||
| 337 | |2 rdamedia |a no mediado |b n | ||
| 338 | |2 rdacarrier |a volumen |b nc | ||
| 490 | 0 | |a Cuadernos de Filosofía y Ensayo. | |
| 504 | |a incl. ref. | ||
| 505 | 1 | |a Presentación --Prefacio a la primera Edición -- Prefacio a la segunda edición -- Reflexiones preliminares sobre algoritmos -- Máquinas de Turing -- Anexo. | |
| 520 | 3 | |a [...] se ha logrado mostrar, por métodos estrictamente matemáticos, que existen problemas matemáticos que no pueden ser tratados mediante métodos del cálculo matemático. En vista del importante papel que juega hoy la matemática en nuestra concepción del mundo, este hecho es de gran interés filosófico. [...] (páginas: 15) [...] denominaremos computable a una función si existe un algoritmo para encontrar los valores de argumentos arbitrariamente dados. [...] (páginas: 15). | |
| 650 | 1 | 7 | |a Computación |9 9953 |2 UCuenca-cdrjbv |
| 650 | 1 | 7 | |a Informática |9 7361 |2 UCuenca-cdrjbv |
| 650 | 1 | 7 | |a Algoritmos |9 2632 |2 UCuenca-cdrjbv |
| 651 | |2 UCuenca-cdrjbv | ||
| 700 | 1 | |9 190642 |a Garrido, Manuel. |e traductor | |
| 700 | 1 | |a Marín, Aránzazu. |9 263821 |e traductor | |
| 852 | |a UC-CDJBV |f Compra |l 1 |m General |p 20130129 |q 1.00 |r 2 |t si6695 |b 0 |d CDRC |e CDRC |g 004 PRIMER PISO |z 2013-30-12 | ||
| 942 | |2 ddc |c CR |r paola.amaya@ucuenca.edu.ec | ||
| 999 | |c 133287 |d 133287 | ||