Hledat
Zobrazují se záznamy 1-10 z 87
Undecidability of Some Substructural Logics
Nerozhodnutelnost některých substrukturálních logik
Dizertační práce
Vedoucí práce: Bílková, Marta
Dátum publikování:
Datum obhajoby: 10. 06. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato disertační práce se zabývá algoritmickou nerozhodnutelností (neřešitel- ností) dokazatelnosti v některých neklasických logikách. Ve skutečnosti existují dvě přirozené varianty toho problému. Mějme dánu logiku, pak ...
This thesis deals with the algorithmic undecidability (unsolvability) of provability in some non-classical logics. In fact, there are two natural variants of this problem. Fix a logic, we can study its set of theorems or ...
This thesis deals with the algorithmic undecidability (unsolvability) of provability in some non-classical logics. In fact, there are two natural variants of this problem. Fix a logic, we can study its set of theorems or ...
Sémantika některých neobvyklých modálních logik
Semantics of some unusual modal logics
Diplomová práce
Vedoucí práce: Peregrin, Jaroslav
Dátum publikování:
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Gentzenov dôkaz bezespornosti aritmetiky
Gentzen's Consistency ProofGentzenův důkaz bezespornosti aritmetiky
Diplomová práce
Vedoucí práce: Švejdar, Vítězslav
Dátum publikování:
Datum obhajoby: 30. 06. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práca podáva podrobne vysvetlené dva dôkazy bezespornosti Peanovej aritmetiky, ktoré v rokoch 1936 a 1938 uverejnil nemecký matematik Gerhard Gentzen. Dôkazy boli naštudované z pôvodných zdrojov, a to z článkov "Die ...
This paper contains detailed description of two consistency proofs, which state that in the system called Peano arithmetic no contradiction can be obtained. The proofs were first published in 1936 and 1938 by the German ...
This paper contains detailed description of two consistency proofs, which state that in the system called Peano arithmetic no contradiction can be obtained. The proofs were first published in 1936 and 1938 by the German ...
Následování pravidla
Rule-following
Bakalářská práce
Vedoucí práce: Koťátko, Petr
Dátum publikování:
Datum obhajoby: 24. 06. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Následování pravidla není možné bez nějaké externí rozhodčí instance, která může zhodnotit, jestli někdo (jiný než on sám) jedná s pravidlem ve shodě či v rozporu. Kolem tohoto tvrzení práce srovnává různé úhly pohledu na ...
Following any rule is not possible without some external instance of a jury that can evaluate if anyone (other than himself) acts according to a rule or against it. This work compares different perspectives on the issue ...
Following any rule is not possible without some external instance of a jury that can evaluate if anyone (other than himself) acts according to a rule or against it. This work compares different perspectives on the issue ...
Logika dokazatelnosti a její filozofická reflexe
Logic of provability from the philosophical point of view
Diplomová práce
Vedoucí práce: Jirků, Petr
Dátum publikování:
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Filosofický výklad a možné interpretace Gödelových vět o neúplnosti
Philosophical analysis and possible interpretations of Gödel's incompleteness theorems
Diplomová práce
Vedoucí práce: Vlasáková, Marta
Dátum publikování:
Datum obhajoby: 20. 06. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: ❆❜str❛❦t ❉✐♣❧♦♠♦✈á ♣rá❝❡ s❡ ③❛❜ý✈á r♦③❜♦r❡♠ ♠♦➸♥ý❝❤ ✜❧♦s♦✜❝❦ý❝❤ ✈ý❦❧❛❞➲ ●ö❞❡❧♦✈ý❝❤ ✈➙t ♦ ♥❡ú♣❧♥♦st✐ ❛r✐t♠❡t✐❦② ❛ ❥❡❥✐❝❤ ✐♥t❡r♣r❡t❛❝❡♠✐ ✈ r➲③✲ ♥ý❝❤ ♦❞✈➙t✈í❝❤ ✜❧♦s♦✜❡ ✭❢❡♥♦♠❡♥♦❧♦❣✐❡✱ ❛♥❛❧②t✐❝❦á ✜❧♦s♦✜❡ ♠②s❧✐✱ ❑❛♥✲ t♦✈❛ ...
❆❜str❛❝t ❚❤❡ ❞✐♣❧♦♠❛ t❤❡s✐s ❞❡❛❧s ✇✐t❤ ♣♦ss✐❜❧❡ ♣❤✐❧♦s♦♣❤✐❝❛❧ ❛♥❛❧②s❡s ♦❢ ●ö✲ ❞❡❧✬s ✐♥❝♦♠♣❧❡t❡♥❡ss t❤❡♦r❡♠s ❛♥❞ t❤❡✐r ✐♥t❡r♣r❡t❛t✐♦♥s ✐♥ ❞✐✛❡r❡♥t ❜r❛♥❝❤❡s♦❢♣❤✐❧♦s♦♣❤②✭♣❤❡♥♦♠❡♥♦❧♦❣②✱❛♥❛❧②t✐❝❛❧♣❤✐❧♦s♦♣❤②♦❢♠✐♥❞✱ ❑❛♥t✬s ...
❆❜str❛❝t ❚❤❡ ❞✐♣❧♦♠❛ t❤❡s✐s ❞❡❛❧s ✇✐t❤ ♣♦ss✐❜❧❡ ♣❤✐❧♦s♦♣❤✐❝❛❧ ❛♥❛❧②s❡s ♦❢ ●ö✲ ❞❡❧✬s ✐♥❝♦♠♣❧❡t❡♥❡ss t❤❡♦r❡♠s ❛♥❞ t❤❡✐r ✐♥t❡r♣r❡t❛t✐♦♥s ✐♥ ❞✐✛❡r❡♥t ❜r❛♥❝❤❡s♦❢♣❤✐❧♦s♦♣❤②✭♣❤❡♥♦♠❡♥♦❧♦❣②✱❛♥❛❧②t✐❝❛❧♣❤✐❧♦s♦♣❤②♦❢♠✐♥❞✱ ❑❛♥t✬s ...
Algoritmická složitost řešení ve vybraných třídách nekooperativních her
Algorithmic complexity of solution concepts in selected classes of non-cooperative games
Bakalářská práce
Vedoucí práce: Majer, Ondřej
Dátum publikování:
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Název práce: Algoritmická složitost řešení ve vybraných třídách nekooperativních her Autor: Adam Wichera Katedra (ústav): Katedra logiky Vedoucí bakalářské práce: RNDr. Ondřej Majer, CSc. e-mail vedoucího: majer@ u.cas.cz ...
Title: Algorithmic complexity of solution concepts in selected classes of non-cooperative games Author: Adam Wichera Department: Department of Logic Supervisor: RNDr. Ondřej Majer, CSc. Supervisor's e-mail address: majer@ ...
Title: Algorithmic complexity of solution concepts in selected classes of non-cooperative games Author: Adam Wichera Department: Department of Logic Supervisor: RNDr. Ondřej Majer, CSc. Supervisor's e-mail address: majer@ ...
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Formalization of the deducibility relation of propositional fuzzy logics
Bakalářská práce
Vedoucí práce: Běhounek, Libor
Dátum publikování:
Datum obhajoby: 01. 02. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato bakalářská práce předkládá formalizaci relace odvoditelnosti fuzzy logiky BL v prostředí matematického asistenta Isabelle/HOL a počítačově ověřené důkazy některých teorémů a meta-teorémů této logiky. Zároveň poskytuje ...
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic ...
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic ...
Russellova analýza Peanovy aritmetiky
Russell's analysis of Peano Arithmetic
Diplomová práce
Vedoucí práce: Holeček, Tomáš
Dátum publikování:
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Diplomová práce se věnuje Russellově analýze Peanovy aritmetiky tak, jak ji Russell podal spolu s A. N. Whiteheadem v knize Princi- pia Mathematica a později v poněkud přístupnější knize Introduction to Mathematical ...
The aim of this thesis is Russell's analysis of Peano arithmetic. This analysis was presented by Russell and A. N. Whitehead in the book Prin- cipia Mathematica and then in Russell's book Introduction to Mathema- tical ...
The aim of this thesis is Russell's analysis of Peano arithmetic. This analysis was presented by Russell and A. N. Whitehead in the book Prin- cipia Mathematica and then in Russell's book Introduction to Mathema- tical ...
Forma, tvar a myšlení moderního robota
Form, design and thinking of the modern robot
Bakalářská práce
Vedoucí práce: Jirků, Petr
Dátum publikování:
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této práci bych rád podal popis robota jakožto stroje jak po fyzické, tak po psychické stránce. Budu postupovat od toho, jak by měl vypadat na první pohled a jaké by měl mít funkce, přes úvahu o struktuře konstrukční ...