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
- [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.