Logické systémy

2014/2015 -- zimný semester, rozsah 4-1

Prednášajúci

• doc. RNDr. Vladimír Olejček, PhD. , kontakt

• prof. Ing. Daniela Ďuračková, PhD.,

Cvičiaci

• Mgr. David Pancza, PhD. kontakt

• Ing. Juraj Brenkuš, PhD.

Stručná osnova predmetu

• 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 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. Booleovské funkcie f: B^{n →} B^m. 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.
• Silná ekvivalencia automatov. Neúplne špecifikované automaty.
• Ekvivalencia a redukcia automatov.
• Pokrývanie automatov.
• Dvojkové automaty. Preklápacie obvody (SR, D, JK, T).
• Synchrónne a asynchrónne logické obvody. Fyzikálna realizácia automatov.

Učebné texty

• Skriptá P.Kaprálik, J.Galanová, M.Polakovič: Logické systémy (dostať v predajni Malé centrum)

• e-appendix Algebraická normálna forma Stiahnite si

• Zbierka (aj riešených ) úloh (pdf súbor) Stiahnite si

• Doplnenie zbierky - ulohy na konecne akceptory Stiahnite si a na redukciu automatov Stiahnite si

• Prednášky prof.Ing.Ďuračkovej, PhD. Stiahnite si, Stiahnite si

• Použitá literatúra: R. Johnsonbaugh, Discrete mathematics, MacMillan Publ. Comp. 1992

Podmienky pre udelenie zápočtu

• Účasť na cvičeniach je podľa platného študijného poriadku povinná, neúčasť je potrebné ospravedlniť podľa pokynov cvičiaceho.
• Cez semester sa píšu tri priebežné testy, každý za 10 bodov. Prvé dva obsahujú tématiku odprednášanú doc. Olejčekom, tretí tématiku odprednášanú prof. Ďuračkovou.
• Na zápočet treba získať aspoň 50% ich súčtu, t.j. 15 bodov. Vyučujúci môže prideliť ďalšie body za aktivitu na cvičeniach a prednáškach.
• Právo písať náhradnú písomku má iba ten študent, ktorý sa z písomky riadne ospravedlní (buď osobne vopred alebo do piatich pracovných dní doloží patričný doklad).
• Oznamy o termínoch konania všetkých písomiek budú včas uverejnené na tejto stránke. Náhradné písomky sa píšu spravidla naraz pred koncom semestra.

Oznamy

• Opravný termín skúšky je v súlade s oficiálnym rozvrhom skúšok dňa 5.02.2015 o 11:00, t.j. v druhom behu v posluchárňach BC300 a CD300. Zasadací poriadok bude zverejnený 10 min. pred začiatkom na dverách miestností.
• Z dôvodu zasadnutia Akademickej obce FEI STU sa mení miestnosť konania opravnej skúšky. Namiesto BC300 bude skúška v DE300. Miestnosť CD300 zostáva.