Logické systémy

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

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