Komponenta výukového serveru TI - Vennovy diagramy

Abstract

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.

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.