Oddelenie matematiky
Consider performing a
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
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.