CS 81 Lecture Slides |
||||
Topic |
Date |
pdf 2 per page |
pdf 6 per page |
|
| Strings, Languages, Automata, Regular Expressions | Wed. 9/3/03 | strings | strings | strings |
| Non-Deterministic Automata, Kleene, Myhill-Nerode | Wed. 9/10/03 | nfa | nfa | nfa |
| Grammars | Wed. 9/17/03 | grammars | grammars | grammars |
| Language Review from CS 60 | languages | languages | languages | |
| Normal Forms | normalforms | normalforms | normalforms | |
| Pushdown Automata | Mon. 9/22/03 | pda | pda | pda |
| Parsing, CYK Algorithm | Mon. 10/13/03 | cyk | cyk | cyk |
| Turing Machines Review from CS 60 | TuringMachines | TuringMachines | TuringMachines | |
| Turing Machines | Wed. 10/15/03 | tm | tm | tm |
| Turing's Paper | On Computable Numbers, with an Application to the Entscheidungsproblem | |||
| JFLAP.jar | Wed. 10/15/03 | abc.tm | abc.rex | abc.out |
| Post's Correspondence Problem | Wed. 11/05/03 | pcp | pcp | pcp |
| Primitive- and Partial-Recursive Functions | Wed. 11/12/03 | prf | prf | prf |
| Proposition Logic from CS 60 | Mon. 11/17/03 | cs60logic | cs60logic | cs60logic |
| Propositional Natural Deduction | Mon. 11/17/03 | naturalDeduction | naturalDeduction | naturalDeduction |
| Propositional Soundness and Completeness | Mon. 11/24/03 | propsoundness | propsoundness | propsoundness |
| Predicate Calculus Natural Deduction | Mon. 11/24/03 | predNaturalDeduction | predNaturalDeduction | predNaturalDeduction |
| Predicate Calculus Semantics | Mon. 12/01/03 | predSemantics | predSemantics | predSemantics |
| Gödel's Theorem | Gödel's Theorem | |||
| Using Logic on Computation Systems | Mon. 12/08/03 | hoareLogic | hoareLogic | hoareLogic |