Interaktivní webová aplikace pro výuku formálního jazyka matematiky

Bc. Štěpán Balážik

Bakalářská práce

Interactive Web Application for Teaching Formal Language of Mathematics

Anotace:

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, stejně jako dalších odvětví matematiky.

Abstract:

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 for representing formulas of propositional and predicate logic, as well as other areas of mathematics.

Klíčová slova

matematika, symbolický jazyk, přirozený jazyk, výroková logika, predikátová logika, webová aplikace, Blockly

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 10. 5. 2023

Obhajoba závěrečné práce

• Obhajoba proběhla 15. 6. 2023
• Vedoucí: doc. Mgr. Ondřej Klíma, Ph.D.
• Oponent: prof. RNDr. Radan Kučera, DSc.

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Matematika se zaměřením na vzdělávání