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

Show simple item record
dc.contributor.advisorMenšík, Mareken
dc.contributor.authorAugusta, Luděken
dc.contributor.refereeČíhalová, Martinaen
dc.date.accepted2009-06-02en
dc.date.accessioned2009-09-01T05:49:18Z
dc.date.available2009-09-01T05:49:18Z
dc.date.issued2009en
dc.description.abstractCí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í.cs
dc.description.abstractDiploma’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.en
dc.description.categoryPrezenčnícs
dc.description.department456 - Katedra informatikyen
dc.description.resultdobřecs
dc.format44 l. : il. + 1 CDcs
dc.identifier.locationÚK/Sklad diplomových pracícs
dc.identifier.otherOSD002cs
dc.identifier.senderS2724cs
dc.identifier.signature200904396cs
dc.identifier.thesisAUG007_FEI_N2647_2612T025_2009
dc.identifier.urihttp://hdl.handle.net/10084/73857
dc.language.isocsen
dc.publisherVysoká škola báňská - Technická univerzita Ostravacs
dc.subjectpodmnožinacs
dc.subjectoperacecs
dc.subjectteoriecs
dc.subjectmnožinacs
dc.subjectoperátorcs
dc.subjectjazykcs
dc.subjectlogikacs
dc.subjectprvekcs
dc.subjectsubseten
dc.subjectoperatoren
dc.subjectlanguageen
dc.subjectlogicen
dc.subjectelementen
dc.subjectoperationen
dc.subjectseten
dc.subjecttheoryen
dc.thesis.degree-branchInformatika a výpočetní technikacs
dc.thesis.degree-grantorVysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatikycs
dc.thesis.degree-levelMagisterský studijní programcs
dc.thesis.degree-nameIng.en
dc.thesis.degree-programInformační a komunikační technologiecs
dc.titleInferenční stroj nad naivní teorii množincs
dc.title.alternativeInference Machine over the Naiv Theory of Setsen
dc.typeDiplomová prácecs

Files

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)