-
Notifications
You must be signed in to change notification settings - Fork 15
New Turing Omnibus Chapters
Matt Valentine-House edited this page Nov 30, 2016
·
19 revisions
Here is a list of chapters in the New Turing Omnibus:
- 1: Algorithms
- 2: Finite Automata
- 3: Systems of Logic
- 4: Simulation
- 5: Godel's Theorem
- 6: Game Trees
- 7: The Chomsky Hierarchy
- 8: Random Numbers
- 9: Mathematical Research
- 10: Program Correctness
- 11: Search Trees
- 12: Error-Correcting Codes
- 12: Error-Correcting Codes
- 13: Boolean Logic
- 14: Regular Languages
- 15: Time and Space Complexity
- 16: Genetic Algorithms
- 17: The Random Access Machine
- 18: Spline Curves
- 19: Computer Vision
- 20: Karnaugh Maps
- 21: The Newton-Raphson Method
- 22: Minimum Spanning Trees
- 23: Generative Grammars
- 24: Recursion
- 25: Fast Multiplication
- 26: Nondeterminism
- 27: Perceptrons
- 28: Encoders and Multiplexers
- 29: CAT Scanning
- 30: The Partition Problem
- 31: Turing Machines
- 32: The Fast Fourier Transform
- 33: Analog Computing
- 34: Satisfiability
- 35: Sequential Sorting
- 36: Neural Networks That Learn
- 37: Public Key Cryptography
- 38: Sequential Circuits
- 39: Noncomputable Functions
- 40: Heaps and Merges
- 41: NP-Completeness
- 42: Number Systems for Computing
- 43: Storage by Hashing
- 44: Cellular Automata
- 45: Cook's Theorem
- 46: Self-Replicating Computers
- 47: Storing Images
- 48: The SCRAM
- 49: Shannon's Theory
- 50: Detecting Primes
- 51: Universal Turing Machines
- 52: Text Compression
- 53: Disk Operating Systems
- 54: NP-Complete Problems
- 55: Iteration and Recursion
- 56: VLSI Computers
- 57: Linear Programming
- 58: Predicate Calculus
- 59: The Halting Problem
- 60: Computer Viruses
- 61: Searching Strings
- 62: Parallel Computing
- 63: The Word Problem
- 64: Logic Programming
- 65: Relational Data Bases
- 66: Church's Thesis
- Home
- Documentation
- Choosing a Topic
- Shows & Tells
- Miscellaneous
- Opt Art
- Reinforcement Learning: An Introduction
- 10 Technical Papers Every Programmer Should Read (At Least Twice)
- 7 More Languages in 7 Weeks
- Lua, Day 1: The Call to Adventure
- Lua, Day 2: Tables All the Way Down
- Lua, Day 3
- Factor, Day 1: Stack On, Stack Off
- Factor, Day 2: Painting the Fence
- Factor, Day 3: Balancing on a Boat
- Elm, Day 1: Handling the Basics
- Elm, Day 2: The Elm Architecture
- Elm, Day 3: The Elm Architecture
- Elixir, Day 1: Laying a Great Foundation
- Elixir, Day 2: Controlling Mutations
- Elixir, Day 3: Spawning and Respawning
- Julia, Day 1: Resistance Is Futile
- Julia, Day 2: Getting Assimilated
- Julia, Day 3: Become One With Julia
- Minikanren, Days 1-3
- Minikanren, Einstein's Puzzle
- Idris Days 1-2
- Types and Programming Languages
- Chapter 1: Introduction
- Chapter 2: Mathematical Preliminaries
- Chapter 3: Untyped Arithmetic Expressions
- Chapter 4: An ML Implementation of Arithmetic Expressions
- Chapter 5: The Untyped Lambda-Calculus
- Chapters 6 & 7: De Bruijn Indices and an ML Implementation of the Lambda-Calculus
- Chapter 8: Typed Arithmetic Expressions
- Chapter 9: The Simply-Typed Lambda Calculus
- Chapter 10: An ML Implementation of Simple Types
- Chapter 11: Simple Extensions
- Chapter 11 Redux: Simple Extensions
- Chapter 13: References
- Chapter 14: Exceptions
- Chapter 15: Subtyping – Part 1
- Chapter 15: Subtyping – Part 2
- Chapter 16: The Metatheory of Subtyping
- Chapter 16: Implementation
- Chapter 18: Case Study: Imperative Objects
- Chapter 19: Case Study: Featherweight Java
- The New Turing Omnibus
- Errata
- Chapter 11: Search Trees
- Chapter 8: Random Numbers
- Chapter 35: Sequential Sorting
- Chapter 58: Predicate Calculus
- Chapter 27: Perceptrons
- Chapter 9: Mathematical Research
- Chapter 16: Genetic Algorithms
- Chapter 37: Public Key Cryptography
- Chapter 6: Game Trees
- Chapter 5: Gödel's Theorem
- Chapter 34: Satisfiability (also featuring: Sentient)
- Chapter 44: Cellular Automata
- Chapter 47: Storing Images
- Chapter 12: Error-Correcting Codes
- Chapter 32: The Fast Fourier Transform
- Chapter 36: Neural Networks That Learn
- Chapter 41: NP-Completeness
- Chapter 55: Iteration and Recursion
- Chapter 19: Computer Vision
- Chapter 61: Searching Strings
- Chapter 66: Church's Thesis
- Chapter 52: Text Compression
- Chapter 22: Minimum spanning tree
- Chapter 64: Logic Programming
- Chapter 60: Computer Viruses
- Show & Tell
- Elements of Computing Systems
- Archived pages