CS-C2160 - Theory of Computation, 12.01.2021-14.04.2021
Kurssiasetusten perusteella kurssi on päättynyt 14.04.2021 Etsi kursseja: CS-C2160
Lecture 1. Mathematical preliminaries, formal languages
Suorituksen vaatimukset
Mathematical preliminaries: sets; relations and functions; equivalence relations; proof by induction. Automata and formal languages: alphabets, strings and languages; automata and languages; common notation; induction on strings
Sets
Relations and functions; equivalence relations; proof by mathematical induction
Automata and formal languages; induction on strings