Vytvoření sbírky řešených příkladů výrokové logiky a teorie množin pomocí aparátu Booleovy algebry – Ondřej KONOPÁČ
Ondřej KONOPÁČ
Bakalářská práce
Vytvoření sbírky řešených příkladů výrokové logiky a teorie množin pomocí aparátu Booleovy algebry
Developing a collection of solved examples from the propositional logic and set theory using the apparatus of Boolean algebra
Anotace:
V~souladu se svým tématem tato práce demonstruje užití Booleovy algebry zejména při převodu analyzovaného textu na výrokové formule nebo množinové situace a dále se věnuje jejich podrobnému vyhodnocování. Obsažené příklady se zaměřují na logické uvažování a tříbení správného úsudku.Abstract:
According to its theme, this thesis shows the application of Boolean algebra for transforming words to propositional formulas or set situations and then there is also shown how to solve these problems in detail. Included examples are focused on logic thinking and correct attitude to these tasks.
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 5. 5. 2016
Zveřejnit od: 5. 5. 2016
Obhajoba závěrečné práce
- Obhajoba proběhla 1. 6. 2016
- Vedoucí: RNDr. Miloslav Závodný
Citační záznam
Citace dle ISO 690:
KONOPÁČ, Ondřej. \textit{Vytvoření sbírky řešených příkladů výrokové logiky a teorie množin pomocí aparátu Booleovy algebry}. Online. Bakalářská práce. Olomouc: Univerzita Palackého v Olomouci, Přírodovědecká fakulta. 2016. Dostupné z: https://theses.cz/id/mi3wnp/.
Jak správně citovat práci
KONOPÁČ, Ondřej. Vytvoření sbírky řešených příkladů výrokové logiky a teorie množin pomocí aparátu Booleovy algebry. Olomouc, 2016. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti od 5.5.2016
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 5. 5. 2016 dostupné: světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaUNIVERZITA PALACKÉHO V OLOMOUCI
Přírodovědecká fakultaBakalářský studijní program / obor:
Aplikovaná matematika / Matematika-ekonomie se zaměřením na bankovnictví/pojišťovnictví
Práce na příbuzné téma
-
Sbírka úloh z Booleovy algebry
Andrea BELASOVÁ -
Matematická logika ve výuce na středních školách
Marika Kaňová -
Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)
Radek LIPENSKÝ -
Logika ve výuce matematiky na základní škole
Michaela TREJBALOVÁ -
Logika v dětské literatuře: Medvídek Pů
Dagmar KUČEROVÁ
Název
Vložil
Vloženo
Práva