Logické systémy

2012/2013 -- zimný semester, rozsah 4-1

Študijný odbor:

Aplikovaná informatika

Výsledky riadneho termínu skúšky (21.12.) sú zapísané v AIS. Možnosť nahliadnuť do svojej opravnej písomky a zapísať si známku do indexu bude možné 7.1.2012 v čase od 12.40 do 13.20 (pred skúškou z AlPr) v miestnosti bc35. (Kto je so známkou spokojný, stačí ak pošle index po kamarátovi.)

Pre zaujímavosť: skúšky sa zúčastnilo 124 študentov, z toho 58 úspešne. Známku A dostali 5 študenti, najvyšší počet celkovo dosiahnutých bodov bol 104. Na druhej strane, presne 35 študentov z vlastnej skúšky nezískalo ani toľko bodov, čo mali zo zápočtu.

Prednášajúci

Mgr. Dávid Pancza, PhD. kontakt
prof. Ing. Daniela Ďuračková, PhD.,

Cvičiaci

Mgr. Dávid Pancza, PhD.
Ing. Juraj Brenkuš

Stručná osnova predmetu

Uvedené poradie tém nemusí zodpovedať poradiu, v akom odznejú na prednáške.

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ⁿ→ 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 ANF1, ANF2
Zbierka (aj riešených) úloh (pdf súbor) Príklady
Doplnenie zbierky - ulohy na konecne akceptory a redukciu automatov: Akceptory,Redukcia
Prednášky prof.Ing.Ďuračkovej, PhD. Časť 1, Časť 2
Ďalšia použitá literatúra: R. Johnsonbaugh, Discrete mathematics, Mac Millan Publ. Comp. 1992

Podmienky pre udelenie zápočtu

Cez semester sa píšu tri priebežné písomky po 10 bodov. Ich termín sa v predstihu oznámi na prednáške. Dva obsahujú témy odprednášané Mgr. Panczom, tretí tématiku odprednášanú prof. Ďuračkovou.
Na zápočet treba získať aspoň 50% ich súčtu, t.j. 15 bodov.
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

Konzultačné hodiny: Študenti si môžu dohodnúť konzultácie individuálne alebo v skupinách prostredníctvom e-mailu, alebo ústne po cvičení.