Skip to content
Website of Kai
Introduction
Initializing search
GitHub
Website of Kai
GitHub
Home
Post
Post
Introduction
Thoughts
Thoughts
Introduction
Law
Law
Introduction
Software-and-hardware
Software-and-hardware
Introduction
Andy-and-Bill's-law
Nature
Nature
Introduction
Atomic
Atomic
Introduction
Transaction
Transaction
Introduction
Optimization-principle
Optimization-principle
Introduction
Level-in-computer-science
Level-in-computer-science
Introduction
Tradeoff
Tradeoff
Introduction
Opposite
Opposite
Introduction
Lazy-and-eager
Lazy-and-eager
Introduction
Time-and-space
Time-and-space
Introduction
Meta
Meta
Introduction
Standard-and-implementation
Standard-and-implementation
Introduction
Unit
Unit
Introduction
Abstraction
Abstraction
Abstraction
Abstraction-and-model
Abstract-and-concrete
Abstraction-and-virtual
Abstraction-and-virtual
Introduction
Create-abstraction
Create-abstraction
Introduction
Abstraction-principle
Abstraction-principle
Introduction
Language
Language
Language
TODO-Turing
TODO-Turing
Introduction
Turing-completeness
Glossary
Knowledge-base
About
关于本章
本章梳理计算机科学之父
Alan Turing
的一些成果。