Zobecněné intermediální kvantifikátory a jejich sylogismy v přirozené fuzzy logice – Bc. Veronika ČERVEŇOVÁ
Bc. Veronika ČERVEŇOVÁ
Master's thesis
Zobecněné intermediální kvantifikátory a jejich sylogismy v přirozené fuzzy logice
Generalized intermediate quantifiers and their syllogisms in fuzzy natural logic
Anotácia:
Cílem této práce je shrnutí veškeré teorie potřebné k zavedení pojmu zobecněných intermediálních kvantifikátorů a následné práci s ním, představení klasických přístupů a příkladů klasických sylogismů a uvedení metody Vennových diagramů pro ověřování jejich platnosti. Dalším cílem je navržení příkladů vybraných forem zobecněných sylogismů v co největší možné šíři. V první části práce se věnujeme základním …viacAbstract:
This thesis deals with the topic of generalized intermediate quantifiers. The aim of this thesis is to summarize all the theory needed to introduce the concept and to operate with it further, the introduction of classical approaches and examples of classical syllogisms, and the presentation of the method of Venn diagrams for their verification. Another aim of the thesis is to present as many examples …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 22. 6. 2020
Zverejniť od: 31. 12. 2999
Obhajoba závěrečné práce
- Vedúci: RNDr. Petra Murinová, Ph.D.
Citační záznam
Jak správně citovat práci
ČERVEŇOVÁ, Veronika. Zobecněné intermediální kvantifikátory a jejich sylogismy v přirozené fuzzy logice. Ostrava, 2020. diplomová práce (Mgr.). OSTRAVSKÁ UNIVERZITA. Přírodovědecká fakulta
Plný text práce
Právo: Autor si nepřeje zpřístupnění práce veřejnosti
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou nedostupné.
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceMaster programme / odbor:
Applied Mathematics / Applied Mathematics
Práce na příbuzné téma
-
Modelování zobecněných sylogismů pomocí nových forem intermediálních kvantifikátorů
Karel FIALA -
A formal theory of intermediate generalized quantifiers
Petra MURINOVÁ -
Modelování zobecněných sylogismů pomocí nových forem intermediálních kvantifikátorů
Karel FIALA -
A formal theory of intermediate generalized quantifiers
Petra MURINOVÁ