NIEDOBA, P. Minimalizace Booleových funkcí pomocí Quineovy-McCluskeyovy metody [online]. Brno: Vysoké učení technické v Brně. Fakulta strojního inženýrství. 2010.
Student Pavel Niedoba splnil úspěšně oba stanovené cíle, při řešení úkolů zadání byla jeho pracovní morálka velmi dobrá a projevoval značnou samostatnost,iniciativu a originalitu zvláště při použití výpočetní techniky pro sestavení programů pro minimalizaci. Velmi dobře zvládl potřebnou odbornou literaturu a úspěšně využíval svých znalostí z přednášek a studiem skript. Velmi dobře hodnotím jeho doplnění teoretické části přesnými matematickými důkazy, s kterými nebyl seznamován během výuky. Doporučuji práci k obhajobě.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Splnění požadavků a cílů zadání | A | ||
| Postup a rozsah řešení, adekvátnost použitých metod | A | ||
| Vlastní přínos a originalita | A | ||
| Schopnost interpretovat dosažené vysledky a vyvozovat z nich závěry | A | ||
| Využitelnost výsledků v praxi nebo teorii | A | ||
| Logické uspořádání práce a formální náležitosti | A | ||
| Grafická, stylistická úprava a pravopis | A | ||
| Práce s literaturou včetně citací | A | ||
| Samostatnost studenta při zpracování tématu | A |
Předložená bakalářská práce je autorem rozdělena na 7 částí: úvod, Booleovu algebru, Booleovy funkce, metody minimalizace, Mini-Malizaci 1.0, závěr, literaturu a seznam příloh. Student podle mého názoru zcela splnil stanovené zadání bakalářské práce. Využívá v potřebné míře citovanou literaturu a uplatňuje zejména svoje znalosti z algebry a informačních technologií. Práce o 33 stranách svým rozsahem představuje obvyklou míru pro práce tohoto druhu. Jednotlivé části práce na sebe logicky navazují a vytvářejí úsporně formulovaný organický celek. V části věnované Booleově algebře autor charakterizuje dva možné přístupy, a to cestou uspořádání a cestou univerzálních algeber. Část o Booleových funkcích obsahuje těžiště práce, totiž větu o jednoznačnosti úplného disjunktního normálního tvaru. Praktická část se zabývá minimalizací počtu členů disjunktního normálního tvaru dané Booleovy funkce a její realizací počítačovým programem. Závěrem konstatuji, že oponovaná práce je kvalitní odborně, jazykově i graficky. Doporučuji ji proto k obhajobě.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Splnění požadavků a cílů zadání | A | ||
| Postup a rozsah řešení, adekvátnost použitých metod | A | ||
| Vlastní přínos a originalita | B | ||
| Schopnost interpretovat dosaž. vysledky a vyvozovat z nich závěry | A | ||
| Využitelnost výsledků v praxi nebo teorii | A | ||
| Logické uspořádání práce a formální náležitosti | B | ||
| Grafická, stylistická úprava a pravopis | B | ||
| Práce s literaturou včetně citací | A |
eVSKP id 28191