9,579
edits
Line 165: | Line 165: | ||
|- | |- | ||
| Computational complexity, including NP-completeness | | Computational complexity, including NP-completeness | ||
| | | '''SIPSER''' 7, 8 | ||
|- | |- | ||
|colspan=2| '''Automata and language theory''' | |colspan=2| '''Automata and language theory''' | ||
Line 176: | Line 176: | ||
|- | |- | ||
| Decidability | | Decidability | ||
| '''SIPSER''' 4, 5, 6.2, 6.3 | | '''SIPSER''' 4, 5, 6.2, 6.3 | ||
|- | |- | ||
|colspan=2| '''Discrete structures''' | |colspan=2| '''Discrete structures''' |