2. Preliminaries

2.1. Logic

2.2. Sets

2.3. Alphabets, symbols and strings

2.4. Tuples

2.5. Functions

2.6. Languages

2.7. Computational problems

2.8. Algorithms