Search
Now showing items 1-10 of 13
Explicitní pevné body v logice dokazatelnosti
Explicit fixed-points in provability logic
diploma thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2007
Date of defense: 26. 09. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Smyslem této diplomové práce je prozkoumat explicitní výpoty pevn ých bod v logice dokazatelnosti GL. Vta o pevných bodech zní: Pro kadou modální formuli A(p) v ní kadý výskyt atomu p je vázán modálním operátorem ¤, existuje ...
The aim of this diploma thesis is to discuss the explicit calculations of xed-points in provability logic GL. The xed-point theorem reads: For every modal formula A(p) such that each occurrence of p is under the scope of ...
The aim of this diploma thesis is to discuss the explicit calculations of xed-points in provability logic GL. The xed-point theorem reads: For every modal formula A(p) such that each occurrence of p is under the scope of ...
Fuzzifikace jednoduchých systémů deontické logiky
Fuzzification of simple systems of deontic logic
diploma thesis (DEFENDED)
Advisor: Běhounek, Libor
Date Issued: 2006
Date of defense: 27. 09. 2006
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Deontické logiky bývají formalizovány jako druh modálních logik. V této práci aplikuji fuzzy modální logiku na dvojí systémy monadick ých deontických logik - systémy deontické logiky v užším smyslu a systémy alethické ...
Nerozhodnutelnost struktury racionálních čísel
The undecidability of the field of rationals
diploma thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2006
Date of defense: 27. 09. 2006
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Otázka rozhodnutelnosti, tj. otázka, zda existuje algoritmus, který by byl schopen rozhodnout o platnosti každé prvořádové predikátové formule, se dostala na výsluní pozornosti matematiků ve dvacátých letech minulého ...
Sémantika některých neobvyklých modálních logik
Semantics of some unusual modal logics
diploma thesis (DEFENDED)
Advisor: Peregrin, Jaroslav
Date Issued: 2009
Date of defense: 17. 09. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: První ást pojednává o Carnapov píspvku k modální logice. Carnapovo dílo je zalenno do historického kontextu. Je studována jeho reakce na Lewisovy kalkuly striktní implikace a jeho anticipace kripkovské sémantiky mo- ných ...
The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in the historical context. His reaction to the Lewis calculi of the strict implication is discussed and also his anticipation ...
The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in the historical context. His reaction to the Lewis calculi of the strict implication is discussed and also his anticipation ...
Ortokomplementární diferenční svazy
Orthocomplemented difference lattices
diploma thesis (DEFENDED)
Advisor: Pták, Pavel
Date Issued: 2007
Date of defense: 26. 09. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: T ematem t eto diplomov e pr ace je studium bin arn ho oper atoru 4, kter y mode- luje standardn symetrickou diferenci mno zin. Tento oper ator je studov an jednak samostatn e (v kapitole II), jednak s dopl nuj c svazovou ...
The theme of this thesis is the investigation of a binary operator, 4, that models the standard symmetric di erence of sets. This operator is studied both separately (in Chapter II) and with the supplementary lattice ...
The theme of this thesis is the investigation of a binary operator, 4, that models the standard symmetric di erence of sets. This operator is studied both separately (in Chapter II) and with the supplementary lattice ...
Logika dokazatelnosti a její filozofická reflexe
Logic of provability from the philosophical point of view
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2008
Date of defense: 29. 09. 2008
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V matematické části je zpracováno téma autoreference v aritmetice. Při úvahách i důkazech je užit vyšší programovací jazyk, což umožňuje dospět ke známým výsledkům Gödela, Rossera a Löba přirozeným způsobem. V závěru je ...
The mathematical part of this thesis studies the phenomenon of self-reference in arithmetics. A higher programming language is used to present ideas and proofs, enabling us to reach the known results of Gödel, Rosser and ...
The mathematical part of this thesis studies the phenomenon of self-reference in arithmetics. A higher programming language is used to present ideas and proofs, enabling us to reach the known results of Gödel, Rosser and ...
Induktivní logika a Vídeňský kroužek
Inductive logic and the Vienna circle
diploma thesis (DEFENDED)
Advisor: Peregrin, Jaroslav
Date Issued: 2009
Date of defense: 17. 09. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce pojednává o induktivní logice spojující koncepty indukce a pravděpodobnosti a jejím rozvinutí v rámci Vídeškého kroužku a jeho okolí. Po historickém uvedení indukce a pravděpodobnosti, jsou zde představeny dva hlavní ...
The subject of this work is inductive logic as a connection of two concepts - probability and induction - which was developed by members of the Vienna Circle and their colleagues. After historical introduction the concepts ...
The subject of this work is inductive logic as a connection of two concepts - probability and induction - which was developed by members of the Vienna Circle and their colleagues. After historical introduction the concepts ...
Jak zprostředkovat středoškolákům širší pohled na logiku
On conveying deeper insight into logic to secondary school students
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2007
Date of defense: 28. 05. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Posouzení výhod a nevýhod OOP databází vzhledem k relačním databázím
Comparison of advantages and disadvantages OOP databases against relational databases
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2009
Date of defense: 29. 05. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Existují různé přístupy k modelování bází dat. V této práci se snažím identifikovat silná a slabá místa aktuálně používaných databázových technologii. Ať už to jsou klasické relační databáze, tak databáze, které používají ...
There exists different approaches on database modeling. This work tries to identify strengths and weaknesses of nowadays technologies. Besides relational databases, object oriented databases, and methods to combine the ...
There exists different approaches on database modeling. This work tries to identify strengths and weaknesses of nowadays technologies. Besides relational databases, object oriented databases, and methods to combine the ...
Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2008
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.