Komponenta výukového serveru TI - Vennovy diagramy

Martin Pustka

Bakalářská práce

Component of Teaching Server for Theoretical Computer Science - Venn diagrams

Anotace:

V rámci této bakalářské práce byla vytvořena aplikace pro výuku způsobu použití Vennových diagramů na určování, zda v omezené predikátové logice závěr vyplývá ze zadaných předpokladů. V textové části je popsána základní teorie predikátové logiky, LL gramatik, syntaktického analyzátoru, Vennových diagramů a vyhodnocování logického vyplývání predikátových formulí pomocí Vennových diagramů. Je zde popsán také vývoj aplikace, konkrétně to jsou specifikace požadavků, popis použitých technologií, návrhu a implementace aplikace. Aplikace nabízí dvě uživatelská rozhraní, prvním je webové rozhraní, pro uživatele, napsané ve frameworku ASP.NET Core 3.1 využívající hlavně jazyků HTML, CSS a JavaScript, většina zbytku aplikace je napsána v jazyce C#. Druhým rozhraním je konzolové rozhraní, pro vývojaře, napsané stejně jako výkonná část ve frameworku .NET Core 3.1. Uživatelské rozhraní poskytuje několik záložek s různými funkcemi. Mezi hlavní funkce patří zobrazení předdefinovaných formulí, vytvoření vlastních formulí, vyhodnocení platnosti logického úsudku mezi těmito formulemi a možnost nechat si otestovat své znalosti na předdefinovaných formulích.

Abstract:

Within this bachelor’s thesis was created an application for teaching of how to use Venn diagrams on determination if in limited predicate logic a conclusion logically follows from an assumptions. The text part describes basic theory of predicate logic, LL grammar, syntactic parser, Venn diagrams and evaluation of logical entailment of predicate’s formulas using Venn diagrams. The text part also describes development of the application, specifically specification of requirements, description of used technologies, design and implementation of application. Application offers two user interfaces, firstly web interface for users, written in ASP.NET Core 3.1 framework using mostly HTML, CSS and JavaScript, the rest of application is written mainly in C#. Second interface is for developers, written in .NET Core 3.1, same as the main logic of the application. User interface offers several tabs with different functions. The main ones are the view of predefined formulas, creation of custom formulas, evaluation of validity of logical consequence between formulas and option to test yours knowledge on predefined formulas.

Klíčová slova

webová aplikace, predikátová logika, Vennovy diagramy, syntaktický strom, teoretická informatika, ASP.NET Core MVC, LL syntaktický analyzátor, logické operace

Keywords

web application, predicate logic, Venn diagrams, syntactic tree, theoretical computer science, ASP.NET Core MVC, LL syntactic analyzer, logic operations

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 30. 4. 2020

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

• Obhajoba proběhla 22. 6. 2020
• Vedoucí: Martin Kot
• Oponent: Pavla Dráždilová

VŠB – Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika