7) Logika

iDevice ikon A fejezet célja
  • 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.