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
Abstract:
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é …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 15. 6. 2018
Thesis defence
- Supervisor: doc. RNDr. Miroslav Kolařík, Ph.D.
Citation record
ISO 690-compliant citation record:
LIPENSKÝ, Radek. \textit{Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)}. Online. Bachelor's thesis. Olomouc: Palacký University Olomouc, Faculty of Science. 2018. Available from: https://theses.cz/id/sfhcr6/.
The right form of listing the thesis as a source quoted
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
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaPALACKÝ UNIVERSITY OLOMOUC
Faculty of ScienceBachelor programme / field:
Computer Science / Applied Computer Science
Theses on a related topic
-
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
Name
Posted by
Uploaded/Created
Rights