Bakalářská práce

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

Interactive Web Application for Teaching Formal Language of Mathematics

Bc. Štěpán Balážik
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 …více

Klíčová slova
matematika symbolický jazyk přirozený jazyk výroková logika predikátová logika webová aplikace Blockly
Zadání práce
Formální způsob vyjadřování a zápisu matematiky bývá pro některé studenty základní překážkou při přechodu ze středoškolské k vysokoškolské matematice, a to pro studenty učitelského i odborného studia. Student vytvoří interaktivní webovou aplikaci pro výuku a procvičování formálního jazyka matematiky s důrazem na porozumění symbolickému zápisu a jeho převod z a do jazyka přirozeného.
Administrativní informace
Práce zkontrolována:
10. 5. 2023 11:54, doc. Mgr. Ondřej Klíma, Ph.D., učo 3868
Plný text práce
610,9 KB / soubor PDF
Přílohy (1)
Jazyk práce
čeština čeština
Termín obhajoby
15. 6. 2023
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Ondřej Klíma, Ph.D., učo 3868
ÚMS Ústavy PřF MU

Oponent

prof. RNDr. Radan Kučera, DSc., učo 59
ÚMS Ústavy PřF MU
Citovat tuto práci
Masarykova univerzita Přírodovědecká fakulta
Studijní program
Matematika
Obor

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

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

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.