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
Anotácia:
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 …viac
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 …viac
 

Kľúčové slová

matematika symbolický jazyk přirozený jazyk výroková logika predikátová logika webová aplikace Blockly
 
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 10. 5. 2023
Identifikátor: https://is.muni.cz/th/h4nsi/

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

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

Citační záznam

Citovat tuto práci

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: Masarykova univerzita, Přírodovědecká fakulta
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Science

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

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.