Hledat
Zobrazují se záznamy 1-10 z 92
Jak zprostředkovat středoškolákům širší pohled na logiku
On conveying deeper insight into logic to secondary school students
Diplomová práce
Vedoucí práce: Jirků, Petr
Dátum publikování:
Datum obhajoby: 28. 05. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
Diplomová práce
Vedoucí práce: Jirků, Petr
Dátum publikování:
Datum obhajoby: 17. 01. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Diplomová práce
Vedoucí práce: Jirků, Petr
Dátum publikování:
Datum obhajoby: 04. 02. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Bakalářská práce
Vedoucí práce: Kolman, Vojtěch
Dátum publikování:
Datum obhajoby: 19. 02. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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ů
Diplomová práce
Vedoucí práce: Honzík, Radek
Dátum publikování:
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Diplomová práce
Vedoucí práce: Hájek, Petr
Dátum publikování:
Datum obhajoby: 01. 07. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Diplomová práce
Vedoucí práce: Kolman, Vojtěch
Dátum publikování:
Datum obhajoby: 01. 07. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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).
Diplomová práce
Vedoucí práce: Bílková, Marta
Dátum publikování:
Datum obhajoby: 06. 02. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Bakalářská práce
Vedoucí práce: Bílková, Marta
Dátum publikování:
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Bakalářská práce
Vedoucí práce: Běhounek, Libor
Dátum publikování:
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...