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ýchPolosčí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

• [attachment:Prednasky1.pdf Prednášky 1] [attachment:Prednasky2.pdf Prednášky 2] [attachment:Prednasky3.pdf Prednášky 3] [attachment:Priklady.pdf Príklady] == 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.