Tento text poskytuje prehľad o logických systémoch, ktoré sú predmetom štúdia na Slovenskej technickej univerzite (STU). Zameriava sa na kľúčové témy, materiály a požiadavky na absolvovanie predmetu.
Prednášajúci a kontaktné osoby
Predmet logických systémov na STU vyučujú viacerí odborníci. Medzi hlavných garantov a kontaktné osoby patria:
- doc. RNDr. Vladimír Olejček, PhD.
- prof. Ing. Mgr. David Pancza, PhD.
- Ing. Juraj Brenkuš, PhD.
- doc. Mgr. Marcel Polakovič, PhD.
- prof. Ing. Daniela Ďuračková, PhD.
- Lukáš Nagy, PhD.
Obsah predmetu
Študijný materiál pokrýva širokú škálu tém z oblasti logických systémov:
Základy teórie množín a logiky
- Zobrazenia a ich vlastnosti.
- Operácie a relácie.
- Relácia ekvivalencie a ňou indukovaný rozklad.
- Výroky, výrokové formuly, výrokové formy, kvantifikované výroky.
Booleovské funkcie a algebra
- Booleovské funkcie a booleovské výrazy.
- Úplná normálna disjunktívna a konjunktívna forma.
- Normálna disjunktívna a konjunktívna forma.
- Úplný systém Booleovských funkcií.
- Algebraická normálna forma.
Kombinačné logické siete
- Kombinačné logické siete.
- Booleovské funkcie f: Bn → Bm.
- Polosčítačka, úplná sčítačka, dvojkový dekóder, multiplexor.
- Karnaughove mapy.
- Minimalizácia Booleovských výrazov.
Konečné automaty
- Konečné automaty.
- Rozšírená prechodová a výstupná funkcia.
- Silná ekvivalencia automatov.
- Neúplne špecifikované automaty.
- Ekvivalencia a redukcia automatov.
- Pokrývanie automatov.
- Dvojkové automaty.
Preklápacie obvody a logické obvody
- Preklápacie obvody (SR, D, JK, T).
- Synchrónne a asynchrónne logické obvody.
- Fyzikálna realizácia automatov.
Študijné materiály
Pre úspešné zvládnutie predmetu sú k dispozícii nasledujúce študijné materiály:
- Skriptá P.Kaprálik, J.Galanová, M.Polakovič: Logické systémy (dostupné v predajni Malé centrum).
- E-appendix Algebraická normálna forma.
- Zbierka úloh (aj riešených) vo formáte PDF.
- Doplnenie zbierky úloh na konečné akceptory a redukciu automatov.
- Prednášky prof. Ing. Ďuračkovej, PhD. v elektronickej forme.
- Použitá literatúra: R. Johnsonbaugh, Discrete mathematics, MacMillan Publ. Comp.
Upozorňujeme, že uvedené učebné texty môžu obsahovať viac látky, než je potrebné pre úspešné absolvovanie predmetu. Je dôležité sledovať prednášky a cvičenia pre správne zameranie štúdia.
Hodnotenie a požiadavky na zápočet
Účasť na cvičeniach je podľa platného študijného poriadku povinná a neúčasť je potrebné ospravedlniť podľa pokynov cvičiaceho.
Počas semestra sa píšu tri priebežné testy, každý za 10 bodov. Prvé dva testy pokrývajú tématiku odprednášanú doc. Olejčekom, tretí test tématiku odprednášanú prof. Ďuračkovou.
Na získanie zápočtu je potrebné získať aspoň 50% zo súčtu bodov z testov, t.j. minimálne 15 bodov.
Vyučujúci môže udeliť dodatočné body za aktivitu na cvičeniach a prednáškach.
Právo písať náhradnú písomku má iba študent, ktorý sa písomky riadne ospravedlní (osobne vopred alebo do piatich pracovných dní doloží patričný doklad).
Oznamy o termínoch písomiek budú včas zverejnené na stránke predmetu. Náhradné písomky sa zvyčajne konajú pred koncom semestra.
Opravný termín skúšky
Opravný termín skúšky sa koná podľa oficiálneho rozvrhu skúšok. V danom prípade bol stanovený na 5.02.2015 o 11:00 v druhom behu v posluchárňach BC300 a CD300. Zasadací poriadok bude zverejnený pred začiatkom skúšky.
Z dôvodu zasadnutia Akademickej obce FEI STU došlo k zmene miestnosti konania opravnej skúšky. Namiesto BC300 bude skúška v DE300, pričom miestnosť CD300 zostáva.
Nahliadnutie do písomiek
Možnosť nahliadnuť do opravených písomiek je k dispozícii v stredu 11.2.2015 o 14:30 hod. v miestnosti AB-35.
Úvod do Karnaughových máp - kombinačné logické obvody, funkcie a pravdivostné tabuľky
tags: #referat #logicke #systemy #stuba
