## Poznámky vyzerajú tak, ako tento riadok.
## Toto je šablóna stránky, ktorá je vhodná ak je len jeden prednášajúci.

= Logické systémy - Banská Bystrica =

== Vyučujúci ==

## Doplň vyučujúcich

 * doc.RNDr.Ladislav Satko, PhD. ladislav.satko@stuba.sk
 

== Sylabus ==
 * Výroky, kvantifikované výroky, výrokové formuly.
 * Booleovské funkcie a Booleovské výrazy. Úplná normálna disjunktívna forma, úplná normálna konjunktívna forma.
 * Normálna disjunktívna forma, normálna konjunktívna forma. Úplný systém Booleovských funkcií.
 * Algebraická normálna forma booleovského výrazu.
 * Kombinačné logické siete. Vektorové booleovské funkcie viac premenných. 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.
 * Neúplne špecifikované automaty.
 * Relácia ekvivalencie na konečnej množine. Ekvivalencia automatov. Hľadanie redukovaného automatu k danému automatu.
 * Dvojkové automaty. Preklápacie obvody (SR, D, JK, T).
 * Synchrónne a asynchrónne logické obvody. Fyzikálna realizácia automatov.
 
== Učebné texty ==
 [[attachment:Prednasky1.pdf|Prednášky 1]]

 [[attachment:Prednasky2.pdf|Prednášky 2]]

 [[attachment:Prednasky3.pdf|Prednášky 3]]

 [[attachment:Priklady.pdf|Príklady]] 
 
 [[attachment:Vysledky.xls|Výsledky]] 

== Podmienky na zápočet ==

## Tuná treba doplniť podmienky.

Nutnou podmienkou na získanie zápočtu je aspoň 50% úspešnosť v aktivitách hodnotených počas semestra.  Celkový počet bodov na skúške z LS je 100. Počas semestra na dvoch testoch môže študent získať 40 bodov, na skúške 60 bodov.