Küme kavramı ve matematiksel mantık. İspat yöntemleri. Matematiksel tümevarım. Fonksiyonlar ve bağıntılar. Eleman sayıları ve sayılabilirlik. Cebir sistemleri. İkililik kuramı. Hemomorfizim ve izomorfizim. Latisler. Boolean cebir. Çizge ve ağaçlar. Matris gösterimleri. Semigrup, monoid ve gruplar. Sonlu durum makineleri ve diller.

Set theory and mathematical logic. Methods of proof. Mathematical induction. Functions and relations. Cardinality and countability. Algebraic systems. The duality principle. Homomorphism and isomorphism. Lattices. Boolean algebras. Graphs and trees. Matrix representations. Semigroups, monoids, and groups. Finite state machines and languages.