Theoretical-Computer-Science | X. Angelo Huang's Blog

Estensioni di Turing e altre macchine

Interactive Theorem Provers

Time and Space Complexity

Cook-Levin and Savitch

La macchina di Turing

Halting Theorem and Reducibility

Common problems in Theoretical CS

Teorema di Rice

Complexity Hierarchies

Probabilistic Turing Machines