Komponenta výukového serveru TI - Vennovy diagramy

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.