Search
Now showing items 1-10 of 92
Jak zprostředkovat středoškolákům širší pohled na logiku
On conveying deeper insight into logic to secondary school students
Diploma Theses
Advisor: Jirků, Petr
Date Issued:
Date of defense: 28. 05. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
Diploma Theses
Advisor: Jirků, Petr
Date Issued:
Date of defense: 17. 01. 2008
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato diplomová práce se zabývá modálními logikami z formálního pohledu. Jsou v ní de novány základní formální systémy a jsou předvedeny hlavní vztahy mezi nimi.
Problémy komunikace s počítačem v přirozeném jazyce
Communication problems with the computer in natural language
Diploma Theses
Advisor: Jirků, Petr
Date Issued:
Date of defense: 04. 02. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Ve své práci se snažím poukázat na to, jak je pochopení přirozeného jazyka složité. A ačkoli jej používáme každý den, není snadné jej jednoduše popsat natož jej přesně matematicky definovat. Ale pokud se chceme bavit s ...
Logika Charlese S. Peirce
The logic of Charles S. Peirce
Bachelor Theses
Advisor: Kolman, Vojtěch
Date Issued:
Date of defense: 19. 02. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce se pokouší zmapovat hlavní přínosy Charlese Sanderse Peirce v logice. Hlavní pozornost zde bude věnována Peircově teorii existenčních grafů, které jsou, mezi ostatními významnými Peircovými objevy, často opomínány. ...
Tree property at more cardinals
Stromová vlastnost kardinálů
Diploma Theses
Advisor: Honzík, Radek
Date Issued:
Date of defense: 17. 09. 2014
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V této práci se zabýváme Aronszajnovými a specialními Aronszajnovými stromy, je- jich existencí a neexistencí. Zavádíme dnes nejběžněji užívanou definici speciálního Aronszajnova stromu a několik zobecnění této definice a ...
In this thesis we study the Aronszajn and special Aronszajn trees, their existence and nonexistence. We introduce the most common definition of special Aronszajn tree and some of its generalizations and we examine the ...
In this thesis we study the Aronszajn and special Aronszajn trees, their existence and nonexistence. We introduce the most common definition of special Aronszajn tree and some of its generalizations and we examine the ...
Kompaktnost v neklasických logikách
Compactness in non-classical logics
Diploma Theses
Advisor: Hájek, Petr
Date Issued:
Date of defense: 01. 07. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce systematicky studuje pojem kompaktnosti v klasické výrokové logice, dále obecně studuje ruzné pojmy kompaktnosti a vztah k ruzným pojm um úplnosti v rámci obecné teorie relace dusledku a zabývá se kompaktnost ' v ...
This work systematically studies the concept of compactness in classical propositional logic as well as various concepts of compactness and their relation to different notions of completeness in the framework of the general ...
This work systematically studies the concept of compactness in classical propositional logic as well as various concepts of compactness and their relation to different notions of completeness in the framework of the general ...
Formální aspekty Aristotelovy logiky z historického úhlu pohledu
Formal aspects of Aristotle's logic from the historical perspective
Diploma Theses
Advisor: Kolman, Vojtěch
Date Issued:
Date of defense: 01. 07. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce se zabývá vlastnostmi Aristotelovy sylogistiky z hlediska moderní logiky a zároveň se snaží prezentovat samotný Aristotelův text na dané téma. Práce ukazuje, jak lze dokázat větu o úplnosti sylogistiky, aniž by ...
This thesis focuses on formal properties of Aristotle's syllogistic as seen from the per- spective of both modern logic and Aristotle himself. Its main objective is the proof of the standard completeness theorem that does ...
This thesis focuses on formal properties of Aristotle's syllogistic as seen from the per- spective of both modern logic and Aristotle himself. Its main objective is the proof of the standard completeness theorem that does ...
Fragmenty intuicionistické logiky, intermediárích logik a substrukturálních logik (vybrané otázky).
Fragments of intuitionistic logic, intermediate logics and substructural logics (selected problems).
Diploma Theses
Advisor: Bílková, Marta
Date Issued:
Date of defense: 06. 02. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: diplomové práce Pozitivní formule v některých substrukturálních logikách, autor Pavel Truhlář V této diplomové práci budeme zkoumat, které distributivní substrukturální logiky, tak jak jsou definovány v Resstalově knize ...
The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural ...
The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural ...
Relace bisimulace
Bisimulation
Bachelor Theses
Advisor: Bílková, Marta
Date Issued:
Date of defense: 29. 06. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce se zabývá relací bisimulace v modální logice a také v intuicionistické logice bez kontrakce. Bisimulace je relace mezi sémantickými modely, která je slabí neo isomor smus, ale přitom pořád zaruuje ekvivalenci v ...
This work is about bisimulation in modal logic as well as in intuicionistic logic without contraction. Bisimulation is a relation between models, which is weaker than isomorphism, yet still guarantees equivalence in the ...
This work is about bisimulation in modal logic as well as in intuicionistic logic without contraction. Bisimulation is a relation between models, which is weaker than isomorphism, yet still guarantees equivalence in the ...
Categories of fuzzy sets
Kategorie fuzzy množin
Bachelor Theses
Advisor: Běhounek, Libor
Date Issued:
Date of defense: 29. 06. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Category theory provides very useful tools for studying mathematical structures and phenomena. One of the structures that is studied in a category-theoretical manner are fuzzy sets. If we consider fuzzy sets as objects and ...