Logické systémy

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

Prednášajúci

• Mgr.Marcel Polakovič, PhD. marcel.polakovic@stuba.sk

Podmienky zápočtu

Počas semestra sa píšu tri písomky, z ktorých je možné získať najviac 40 bodov. K zápočtu je potrebné získať najmenej 20 bodov. O prípadnom znížení tejto hranice rozhodnem ku koncu semestra. V prípade zameškania niektorej písomky zo závažných dôvodov (zdravotných a pod.) je treba sa ospravedlnit e-mailom a na najbližšej prednáške doložiť patričným dokladom. V takom prípade má študent nárok na náhradnú písomku, ktorá sa bude písať (asi) niekedy koncom semestra.

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.

Ďalší oznam o zmene výuky - dôležité

V 13. týždni sa prehodia Logické systémy a Matematika 1. Teda v pondelok 11.12. bude Matematika 1 a v utorok 12.2. budú Logické systémy. Žiadam rozširovať tento oznam, aby sa ho dozvedeli všetci študenti.

Literatúra k prednáškam

(pdf súbory)

1. [attachment:uvod.pdf Úvodné pojmy]
2. [attachment:boole.pdf Booleovské funkcie]
3. [attachment:automaty.pdf Konečné automaty]
4. [attachment:realizacia.pdf Fyzikálna realizácia automatov ]

Niektoré partie z tu uvedených kapitol sa na prednáškach nepreberajú alebo sa preberajú v skrátenej verzii. Treba sledovať prednášky.

Príklady a cvičenia

(pdf súbor) [attachment:priklady.pdf Zbierka úloh]

Podobne ako pri literatúre k prednáškam, aj táto zbierka obsahuje okruhy tém, ktoré nebudeme potrebovať. Opäť pripomínam, že treba sledovať prednášky, príklady na nich vypočítané a príklady dané na domácu úlohu.

Výsledky

[attachment:body.xls Výsledky] Tu sa už nachádzajú výsledky tretej písomky, ktorej plný počet bodov bol 13. Opravené písomky budú k nahliadnutiu najbližší pondelok (4.12.) na seminári. Sú tu aj celkové súčty bodov. Zápočet získava každý študent, ktorý v cekovom súčte za semester získal aspoň 20 bodov.

Oznam o skúške (riadny termín)

Skúška z Logických systémov - riadny termín je plánovaná vo štvrtok 11.1.2007 v aule OA. Začiatok písania skúšky je 10.00 hod.