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

Abstract

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.