Interaktivní webová aplikace pro výuku formálního jazyka matematiky – Bc. Štěpán Balážik
Bc. Štěpán Balážik
Bachelor's thesis
Interaktivní webová aplikace pro výuku formálního jazyka matematiky
Interactive Web Application for Teaching Formal Language of Mathematics
Abstract:
Bakalářská práce předkládá prototyp webové aplikace pro procvičování převodu mezi symbolickým matematickým zápisem a přirozeným jazykem. Podkladem pro webovou aplikaci je teoretické shrnutí syntaxe výrokové a predikátové logiky a její objektový model v jazyce Python. Výsledkem práce je webová aplikace používající známou knihovnu Blockly a balíček pro reprezentaci formulí výrokové a predikátové logiky …moreAbstract:
The bachelor thesis presents a prototype of a web application for practicing the conversion between symbolic mathematical notation and natural language. The foundation for the web application is a theoretical summary of the syntax of propositional and predicate logic, and its object model in Python. The result of the thesis is a web application built upon the well-known Blockly library and a package …more
Language used: Czech
Date on which the thesis was submitted / produced: 10. 5. 2023
Identifier:
https://is.muni.cz/th/h4nsi/
Thesis defence
- Date of defence: 15. 6. 2023
- Supervisor: doc. Mgr. Ondřej Klíma, Ph.D.
- Reader: prof. RNDr. Radan Kučera, DSc.
Citation record
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: Masarykova univerzita, Přírodovědecká fakultaMasaryk University
Faculty of ScienceBachelor programme / field:
Mathematics / Mathematics with a view to Education