Inferenční stroj nad naivní teorii množin

Abstract

Cílem mé diplomové práce je shrnutí pojmu naivní teorie množin, navrhnutí a implementování inferenčního stroje pracujícího z části s touto teorií, dále popis metody množinových důkazů, ukázat a použít na příkladech množinové operace, relace a důkazy. Vypracovaná případová studie je realizována v jazyce C# v prostředí Visual Studio .NET. Aplikace může být využitá studenty při samostudiu k ověření důkazů vedených u množinových operací.

Diploma’s work goal is to summary idea Naive Theory of Sets, design and implementation Inference Machine working from parts with this one Theory, then description method set verifications, show and use for example set’s operations, relations and verifications. Elaborated case study was realized from in programming language C# in environment Visual Studio .NET. Application can be used by students at study hour to check verifications of set’s operations.