Logické systémy - Banská Bystrica

Vyučujúci

• doc.RNDr.Ladislav Satko, PhD. ladislav.satko@stuba.sk

Sylabus

• Výroky, kvantifikované výroky, výrokové formuly.
• Booleovské funkcie a Booleovské výrazy. Úplná normálna disjunktívna forma, úplná normálna konjunktívna forma.
• Normálna disjunktívna forma, normálna konjunktívna forma. Úplný systém Booleovských funkcií.
• Algebraická normálna forma booleovského výrazu.
• Kombinačné logické siete. Vektorové booleovské funkcie viac premenných. Polosčítačka, úplná sčítačka, dvojkový dekóder, multiplexor.
• Karnaughove mapy. Minimalizácia Booleovských výrazov.
• Konečné automaty. Rozšírená prechodová a výstupná funkcia.
• Neúplne špecifikované automaty.
• Relácia ekvivalencie na konečnej množine. Ekvivalencia automatov. Hľadanie redukovaného automatu k danému automatu.
• Dvojkové automaty. Preklápacie obvody (SR, D, JK, T).
• Synchrónne a asynchrónne logické obvody. Fyzikálna realizácia automatov.

Učebné texty

• Prednášky 1

  Prednášky 2

  Prednášky 3

  Príklady

  Výsledky

Podmienky na zápočet

Nutnou podmienkou na získanie zápočtu je aspoň 50% úspešnosť v aktivitách hodnotených počas semestra. Celkový počet bodov na skúške z LS je 100. Počas semestra na dvoch testoch môže študent získať 40 bodov, na skúške 60 bodov.