Subsections:
Models of computation
Intelligent agents