Show simple item record

Systémy morfismů nad Gödelovou fuzzy logikou
dc.contributor.advisorBěhounek, Libor
dc.creatorLuhan, Ondřej
dc.date.accessioned2017-05-27T14:31:13Z
dc.date.available2017-05-27T14:31:13Z
dc.date.issued2014
dc.identifier.urihttp://hdl.handle.net/20.500.11956/70888
dc.description.abstractV práci jsou zavedeny některé velice základní pojmy teorie kategorií budované nad prvořádovou Gödelovou fuzzy logikou (s ostrou rovností a delta operá- torem). Fuzzy varianta klasického pojmu kategorie je uvážena. Následně je defi- nováno a prozkoumáno několik systémů morfismů volně vycházejících z ostrých kategorií Rel a Set. Všechny uvažované systémy tudíž obsahují fuzzy množiny jako objekty a různé druhy binárních fuzzy relací jako morfismy. Náš přístup je logicky-založené stupňované zobecnění ostrých (klasických) kategoriálně-teore- tických přístupů k fuzzy množinám, které byly iniciovány Goguenem. 1cs_CZ
dc.description.abstractThis work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category is considered. Then several systems of morphisms loosely based on the crisp categories Rel and Set are defined and examined. Accordingly, all the systems under consideration consist of fuzzy sets as objects and various kinds of binary fuzzy relations as morphisms. Our approach is a logic-based graded generalization of crisp (clas- sical) category-theoretical approaches to fuzzy sets, which have been initiated by Goguen. 1en_US
dc.languageEnglishcs_CZ
dc.language.isoen_US
dc.publisherUniverzita Karlova, Filozofická fakultacs_CZ
dc.subjectSystémy morfismůcs_CZ
dc.subjectFuzzy kategoriecs_CZ
dc.subjectFuzzy množinycs_CZ
dc.subjectFuzzy relacecs_CZ
dc.subjectGödelova fuzzy logikacs_CZ
dc.subjectSystems of morphismsen_US
dc.subjectFuzzy categoriesen_US
dc.subjectFuzzy setsen_US
dc.subjectFuzzy relationsen_US
dc.subjectGödel fuzzy logicen_US
dc.titleSystémy morfismů nad Gödelovou fuzzy logikouen_US
dc.typediplomová prácecs_CZ
dcterms.created2014
dcterms.dateAccepted2014-09-17
dc.description.departmentDepartment of Logicen_US
dc.description.departmentKatedra logikycs_CZ
dc.description.facultyFilozofická fakultacs_CZ
dc.description.facultyFaculty of Artsen_US
dc.identifier.repId110409
dc.title.translatedSystémy morfismů nad Gödelovou fuzzy logikoucs_CZ
dc.contributor.refereeHaniková, Zuzana
dc.identifier.aleph001853995
thesis.degree.nameMgr.
thesis.degree.levelnavazující magisterskécs_CZ
thesis.degree.disciplineLogikacs_CZ
thesis.degree.disciplineLogicen_US
thesis.degree.programLogikacs_CZ
thesis.degree.programLogicen_US
uk.faculty-name.csFilozofická fakultacs_CZ
uk.faculty-name.enFaculty of Artsen_US
uk.faculty-abbr.csFFcs_CZ
uk.degree-discipline.csLogikacs_CZ
uk.degree-discipline.enLogicen_US
uk.degree-program.csLogikacs_CZ
uk.degree-program.enLogicen_US
thesis.grade.csVelmi dobřecs_CZ
thesis.grade.enVery gooden_US
uk.abstract.csV práci jsou zavedeny některé velice základní pojmy teorie kategorií budované nad prvořádovou Gödelovou fuzzy logikou (s ostrou rovností a delta operá- torem). Fuzzy varianta klasického pojmu kategorie je uvážena. Následně je defi- nováno a prozkoumáno několik systémů morfismů volně vycházejících z ostrých kategorií Rel a Set. Všechny uvažované systémy tudíž obsahují fuzzy množiny jako objekty a různé druhy binárních fuzzy relací jako morfismy. Náš přístup je logicky-založené stupňované zobecnění ostrých (klasických) kategoriálně-teore- tických přístupů k fuzzy množinám, které byly iniciovány Goguenem. 1cs_CZ
uk.abstract.enThis work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category is considered. Then several systems of morphisms loosely based on the crisp categories Rel and Set are defined and examined. Accordingly, all the systems under consideration consist of fuzzy sets as objects and various kinds of binary fuzzy relations as morphisms. Our approach is a logic-based graded generalization of crisp (clas- sical) category-theoretical approaches to fuzzy sets, which have been initiated by Goguen. 1en_US
uk.file-availabilityV
uk.publication-placePrahacs_CZ
uk.grantorUniverzita Karlova, Filozofická fakulta, Katedra logikycs_CZ


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV