= Logické systémy =

2007/2008 -- zimný semester, rozsah 4-1

|| Paralelka: ||<#FFFF80> Banská Bystrica||

== Prednášajúci ==

 * doc.RNDr. Igor Zuzčák, CSc.

## == Podmienky zápočtu ==

## == Stručná osnova predmetu ==

## * 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í.
## * Kombinačné logické siete. Booleovské funkcie "f z B na n do B na m" (žiaľ, príslušný matematický výraz neviem v tomto editore napísať). 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. 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.

##== Literatúra k prednáškam ==
##(pdf súbory)
## 1. [attachment:uvod.pdf Úvodné pojmy]
## 1. [attachment:boole.pdf Booleovské funkcie]
## 1. [attachment:automaty.pdf Konečné automaty]
## 1. [attachment:realizacia.pdf Fyzikálna realizácia automatov ]

##== Príklady a cvičenia ==
##(pdf súbor)
##[attachment:priklady.pdf Zbierka úloh]