7) Logika

- Alapfogalmak, állítások/kijelentések definiálása.
- Állításokkal, logikai értékekkel végzett műveletek és, tulajdonságaik megismerése: negáció, konjunkció, diszjunkció, implikáció, ekvivalencia, antivalencia, sem-sem (Webb-féle) művelet.
- Ítéletkalkulus és formuláinak tárgyalása.
- Logikai függvények ismertetése: Boole-függvény, n-változós logikai függvények, normálformák, teljes függvényrendszerek.
- Logikai áramkörök bevezetése.
- Automaták definiálása: egyszerű, véges automaták, ÉS kapu, VAGY kapu, NEM (inverter) kapu.