Zpět na vyhledávání

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 …more
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 …more
 

Keywords

matematika symbolický jazyk přirozený jazyk výroková logika predikátová logika webová aplikace Blockly
 
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

Cite this text

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á fakulta
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Science

Bachelor programme / field:
Mathematics / Mathematics with a view to Education

Theses on a related topic

List of theses with an identical keyword.