Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky) – Radek LIPENSKÝ
Radek LIPENSKÝ
Bachelor's thesis
Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)
Software support teaching of the subject Mathematical logic
Anotácia:
Výsledek mé bakalářské práce, jejíž stěžejní část tvoří přiložená aplikace, je určen především pro podporu výuky předmětu Matematická logika, vyučovanému na Přírodovědecké fakultě Univerzity Palackého v Olomouci. Daná aplikace se nesoustředí na teoretické základy, které je třeba nastudovat z jiných prací, ale poskytuje uživateli možnost si dané znalosti procvičit na příkladech. Nenahrazuje tedy klasické …viacAbstract:
The result of my Bachelor's Thesis, the core of which is the attached application, is intended primarily to support the teaching of Mathematical Logic, taught at the Faculty of Science of the Palacký University in Olomouc. The given application does not focus on the theoretical basics that need to be studied from other works, but provides the user with the ability to practise the given knowledge on …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 15. 6. 2018
Obhajoba závěrečné práce
- Vedúci: doc. RNDr. Miroslav Kolařík, Ph.D.
Citační záznam
Citace dle ISO 690:
LIPENSKÝ, Radek. \textit{Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)}. Online. Bakalárska práca. Olomouc: Univerzita Palackého v Olomouci, Faculty of Science. 2018. Dostupné z: https://theses.cz/id/sfhcr6/.
Jak správně citovat práci
LIPENSKÝ, Radek. Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky). Olomouc, 2018. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- 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á fakultaPALACKÝ UNIVERSITY OLOMOUC
Faculty of ScienceBachelor programme / odbor:
Computer Science / Applied Computer Science
Práce na příbuzné téma
-
Vizualizace výsledků statického porovnávání sémantické ekvivalence různých verzí software v jazyce C
Lukáš Petr -
Vyjadřování koreferenčních vztahů a vztahů sémantické ekvivalence v textu odborného stylu
Markéta HÖLCLOVÁ -
Předložky a spojky v učebnicích pro 2. stupeň základní školy
Michael Peštál -
Návrh pojistné spojky s pružnou spojkou
Matěj BAŘTIPÁN -
Návrh a konstrukce třecí lamelové pojistné spojky
Daniel Esser -
Analýza kopulativní souřadící spojky „auch“ a její význam v češtině
Eva Brychtová -
Návrh spojky Návrh spojky pro spojení elektromotoru s převodovkou u hybridního automobilu
Daniel HYKL -
Návrh mechanicky ovládané lamelové spojky řemenového pohonu s brzdou
Matěj Solisch
Názov
Vložil
Vložené
Práva