Notes
Computer Science
Concepts
algorithm
The Turing Test
Turing machine
undecidable problems
Fields
Complexity Theory
Computability Theory
Formal Language Theory
Logic
People
Alan Turing
David Hilbert
Gottfried Leibniz
Problems
halting problem
P vs NP
string matching
Publications
Computing Machinery and Intelligence
On Computable Numbers
Computer Science
Map of CS
Timeline
Logic
...
A
#field
in
#Math
and
#ComputerScience
Interactive Graph
Table Of Contents
Logic