= Logické systémy = 2014/2015 -- zimný semester, rozsah 4-1 ||Študijný odbor: ||Aplikovaná informatika || == Prednášajúci == * doc. RNDr. Vladimír Olejček, PhD. , {i} [[Pracovnici|kontakt]] * prof. Ing. Daniela Ďuračková, PhD., ## * Ing. Marek Repka, PhD. == Cvičiaci == ## * doc. RNDr. Vladimír Olejček, PhD. {i} [[Pracovnici|kontakt]] * Mgr. David Pancza, PhD. {i} [[Pracovnici|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'' [[attachment:ANF.pdf|Stiahnite si]] * Zbierka (aj riešených (!) ) úloh (pdf súbor) [[attachment:priklady.pdf|Stiahnite si]] * Doplnenie zbierky - ulohy na konecne akceptory [[attachment:akceptory.pdf|Stiahnite si]] a na redukciu automatov [[attachment:redukcia_aut.pdf|Stiahnite si]] * Prednášky prof.Ing.Ďuračkovej, PhD. [[attachment:LS prednasky1.ppt|Stiahnite si]], [[attachment:LS prednasky2.ppt|Stiahnite si]] * Použitá literatúra: R. Johnsonbaugh, Discrete mathematics, MacMillan Publ. Comp. 1992 ##* 1.kapitola: Úvodné pojmy [attachment:uvod.pdf str.1-24] ## * 2.kapitola: Boolovské funkcie [attachment:bool_fun.pdf str.25-77] ## * 3.kapitola: Konečné automaty [attachment:automaty.pdf str.79-118] ## * 4.kapitola: Fyzikálna realizácia automatov [attachment:fyzikal.pdf str.117-165] ## * Text Ing. Miku (Nebol prebraný celý) [attachment:mika.doc tu je] == 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 == ## * Konzultačné hodiny doc. Olejčeka sú vo štvrtok 17:00 - 18:00 v A413. Študenti si môžu dohodnúť konzultácie aj individuálne alebo v skupinách mimo uvedených termínov osobne alebo prostredníctvom e-mailu. ## * Konzultačné hodiny D. Panczu: štvrtok 10:30 - 11:30 (odporúča sa vopred oznámiť mailom). Študenti si môžu dohodnúť konzultácie aj mimo uvedených termínov prostredníctvom e-mailu alebo dohodou po cvičeniach. * 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. ## * '''Zápočet''' z Logických systémov v tejto paralelke získal študent, ktorý v priebežnom hodnotení semestra získal spolu '''aspoň 13 bodov'''. ## * Výsledky 2. testu sú v AIS. Opravené písomky si môžete pozrieť v konzultačných hodinách alebo po individuálnej dohode prostredníctvom e-mailu. Doporučujem, aby to každý študent, ktorý nedosiahol plný počet bodov, vo vlastnom záujme urobil. ## * Výsledky riadneho termínu skúšky sa budú zapisovať a opravené písomky sú k nahliadnutiu 7.1.2012 o 15:00 - 17:00 v miestnosti AB35 (od začiatku) alebo A413 (neskôr). ## * Spoločný náhradný termín priebežných testov 1. a 3. (u doc. Olejčeka) len pre študentov, ktorí majú riadne ospravedlnenú neúčasť na niektorom z týchto testov sa koná 12.12.2014 o 16:00 na Oddelení matematiky ÚIM, A419. Všetci oprávnení záujemcovia sa musia prihlásit vopred prostredníctvom e-mailu, kde treba uviest meno, kruzok, cislo testu. ## * Predskúšková konzultácia sa koná 15.12.2014 o 10:00 (po prednáške) v posluchárni CD300 ## * Tretí priebežný test (druhý u doc. Olejčeka) sa bude písať 3.12.2014 v čase od 17:00 do 19:00 v miestnostiach AB300, BC300 a CD300 v dvoch 45 minútových intervaloch. Rozdelenie do skupín je podľa krúžkov: krúžky 3, 4, 7, 8, 11, 12 a 15, 16 začínajú o 17:00, krúžky 1, 2, 5, 6, 9, 10, 13, 14 začínajú o 18:00. Zasadací poriadok bude zverejnený na výveske na posluchárňach AB300 a CD300 10 min. pred začiatkom testu. Účasť na teste je povinná. ## * V 7. týždni, t. j. v pondelok 3.11.2014 a v utorok 4.11.201 bude výučba pokračovať prednáškou prof. Ďuračkovej o fyzikálnej realizácii automatov. Táto tématika sa odcvičí na cvičeniach v 7. a 8. týždni a bude sa z nej písať 2. priebežný test. ## * V pondelok, 11.11.2013 o 19:00 bude v posluchárni AB300 náhradné cvičenie z LS za štvrtok 31.10.2013, kedy bolo rektorské voľno. Témou bude vyjadrovanie B-výrazov pomocou Pierceovej a Shefferovej funkcie. ## * Druhý priebežný test sa bude písať v pondelok, 18.11.2013 v čase od 10:00 do 13:00 v posluchárňach AB300 a CD300 v štyroch sledoch. V súlade s rozlosovaním prvá skupina, s priezviskami začínajúcimi na "A" až "G", začína o 11:20, druhá skupina, s priezviskami začínajúcimi na "G" až "Kere", začína o 10:40, tretia skupina, s priezviskami začínajúcimi na "Kern" až "Mo" začína o 10:00 a štvrtá skupina, s priezviskami začínajúcimi na "Mu" až "Ž" začína o 12:00. Obsahom bude test pokrývať témy prebraté a odcvičené po prvom teste, t.j. 1. ÚNDF, ÚNKF, NDF, NKF B-výrazov (B-funkcií), 2. ÚSBF, (vrátane NOR a NAND operácií), 3. ANF B-funkcie. Účasť na teste je povinná. ## * Tretí priebežný test sa bude písať 9.12.2011 vo veľkých posluchárňach v dvoch sledoch. O 18:00 polovica paralelky s priezviskami začínajúcimi na A až K, ostatní, t.j. študenti s priezviskami začínajúcimi na L až Z začnú písať o 18:30. Test bude obsahovať tématiku fyzikálnej realizácie automatov, odprednášanú prof. Ďuračkovou a prebratou na cvičeniach v 11. a 12. týždni. Zasadací poriadok bude zverejnený na výveskách na dverách miestností AB300 a CD300 15 min. pred začiatkom testu. ## * '''Riadny termín''' skúšky z Logických systémov bude '''18.12.2013''' v našej paralelke o '''8:30''' (zmena času oproti údaju na fakultnej stránke). ## * Uzavretie výsledkov skúšky v riadnom termíne (nahliadnutie do opravených písomiek) bude 7.1.2014 o 10:30 v AB300. ## * VÝMENA PREDNÁŠKY 7.10.2013 bude namiesto LS prednáška z M1 a 23.10.2013 bude namiesto M1 prednáška z LS ## == Výuka v 10. a 11. týždni == ## * Prednášky 10. týždni (25.- 29.11.) a cvičenia v 10. a 11. týždni (25.11. - 6.12.) bude zabezpečovať Ústav elektroniky a fotoniky. Prednášať bude Prof. Ďuračková a cvičiť budú učitelia zo spomínaného ústavu. Z odučenej látky sa bude písať tretí priebežný test za 10 bodov. Rozvrh zostáva v platnosti. ##=== Učebné texty ===9 ## Zbierka (aj riešených) úloh (!) [attachment:priklady.pdf Stiahnite si] ## 1.kapitola: Úvodné pojmy [attachment:uvod.pdf str.1-24] ## 2.kapitola: Boolovské funkcie [attachment:bool_fun.pdf str.25-77] ## 3.kapitola: Konečné automaty [attachment:automaty.pdf str.79-118] ## 4.kapitola: Fyzikálna realizácia automatov [attachment:fyz_real.pdf str.119-164] ## 5.kapitola: Prednášky Ing.Fedora Miku,PhD. [attachment:prednasky.doc str.1-21]