Se opreşte sau nu se opreşte? Aceasta este întrebarea - Cristian S. Calude

Se opreşte sau nu se opreşte? Aceasta este întrebarea - Cristian S. Calude

CUPRINS:

Cuvânt înainte
Prefață
Lista figurilor
Lista tabelelor

1. De la Entscheidungsproblem la Problema Opririi
1. 1 De ce Problema Opririi?
1. 2 O demonstrație în detaliu
1. 3 Programe în pseudocod
1. 4 Programe de oprire
1. 5 Programe care nu se opresc
1. 6 Bucle și programe care nu se opresc
1. 7 Problema Opririi
1. 8 Infinit de multe cazuri decidabile
1. 9 Un decident infinit
1. 10 Teorema Opririi
1. 11 Pot oamenii să rezolve Problema Opririi?
1. 12 Teza Church–Turing
1. 13 Există o versiune cuantică a Problemei Opririi?
1. 14 Limbaje de programare cu Problema Opririi decidabilă
1. 15 Enumeratori
1. 16 Soluții aproximative pentru Problema Opririi

2. Incompletitudine și oprire
2. 1 Euclid, Hilbert și metoda axiomatică

.........

RECENZII