= 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. {i} [[Pracovnici|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^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'' [[attachment:ANF0.pdf|ANF1]], [[attachment:ANF.pdf|ANF2]] * Zbierka (aj riešených) úloh (pdf súbor) [[attachment:priklady.pdf|Príklady]] * Doplnenie zbierky - ulohy na konecne akceptory a redukciu automatov: [[attachment:akceptory.pdf|Akceptory]],[[attachment:redukcia_aut.pdf|Redukcia]] * Prednášky prof.Ing.Ďuračkovej, PhD. [[attachment:LS prednasky1.ppt|Časť 1]], [[attachment:LS prednasky2.ppt|Č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í.