Logické systémy
2006/2007 -- zimný semester, rozsah 4-1
Paralelka: |
Banská Bystrica |
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)
- [attachment:uvod.pdf Úvodné pojmy]
- [attachment:boole.pdf Booleovské funkcie]
- [attachment:automaty.pdf Konečné automaty]
- [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.