Hledat
Zobrazují se záznamy 1-7 z 7
Bezestrojová charakterizace polynomiálně počitatelných funkcí
Machine-Free Characterization of Polynomially Computable Functions
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2016
Datum obhajoby: 14. 09. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato bakalářská práce se zabývá sestavením Matematického systému. Tento systém je pečlivě vypracovaný, tak aby byl uzavřený na funkce, které v něm figurují. Je vytvořen tak, aby pokryl funkce určitého růstu. Konkrétně ...
This work is focused into constructing mathematical structure. This structure is closed under it's operations. Structure was developed to contain all functions of certain growth rate. To be More specific functi- ons with ...
This work is focused into constructing mathematical structure. This structure is closed under it's operations. Structure was developed to contain all functions of certain growth rate. To be More specific functi- ons with ...
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Formalization of the deducibility relation of propositional fuzzy logics
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2016
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 ...
Reflection principles and large cardinals
Principi reflexe a velké kardinály
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2016
Datum obhajoby: 14. 09. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce zkoumá vztah tzv. principů reflexe a velkých kardinálů. Lévy ukázal, že v ZFC platí tzv. věta o reflexi a dokonce, že věta o reflexi je ekviva- lentní schématu nahrazení a axiomu nekonečna nad teorií ZFC bez axiomu ...
This thesis aims to examine the relation between the so called Reflection Principles and Large Cardinals. Lévy has shown that the Reflection Theorem is a sound theorem of ZFC and it is equivalent to the Replacement Schema ...
This thesis aims to examine the relation between the so called Reflection Principles and Large Cardinals. Lévy has shown that the Reflection Theorem is a sound theorem of ZFC and it is equivalent to the Replacement Schema ...
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 (OBHÁJENO)
Vedoucí práce: Vlasáková, Marta
Datum publikování: 2016
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 ...
Konstruktivní univerzum L
The constructive universe L
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2016
Datum obhajoby: 14. 09. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The theme explores the universe of constructive set L as it was defined by Godel. The work compares two methods of construction L set: one through the formalization of satisfaction relationand the other one with several ...
Tato práce zkoumá univerzum konstruktivních množin L, jak ho definoval Godel. Práce srovnává dva způsoby konstrukce L: jeden přes formalizaci relace splňovaní a druhý pomocí konečně mnoha tzv.rudimentárních funkcí, které ...
Tato práce zkoumá univerzum konstruktivních množin L, jak ho definoval Godel. Práce srovnává dva způsoby konstrukce L: jeden přes formalizaci relace splňovaní a druhý pomocí konečně mnoha tzv.rudimentárních funkcí, které ...
Reflection principles and large cardinals
Principi reflexe a velké kardinály
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2016
Datum obhajoby: 20. 06. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce zkoumá vztah tzv. principů reflexe a velkých kardinálů. Lévy ukázal, že v ZFC platí tzv. věta o reflexi a dokonce, že věta o reflexi je ekviva- lentní schématu nahrazení a axiomu nekonečna nad teorií ZFC bez axiomu ...
This thesis aims to examine relations between so called "Reflection Princi- ples" and Large cardinals. Lévy has shown that Reflection Theorem is a sound theorem of ZFC and it is equivalent to Replacement Scheme and the ...
This thesis aims to examine relations between so called "Reflection Princi- ples" and Large cardinals. Lévy has shown that Reflection Theorem is a sound theorem of ZFC and it is equivalent to Replacement Scheme and the ...
Generic Approach to Updating Uncertainty: Focus on Conditioning
Generický přístup ke změně nejistoty s důrazem na kondicionalizaci
Diplomová práce (OBHÁJENO)
Vedoucí práce: Peliš, Michal
Datum publikování: 2016
Datum obhajoby: 01. 02. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Najprv sa budeme zaoberat' rôznymi druhmi reprezentácie neistoty a metódami aktualizácie pomocou kondicionalizácie. Zameriame sa na generický rámec (kon- dicionálnej) plauzibility pre jeho schopnost' generalizovat' všetky ...
First, we consider different kinds of representation of uncertainty and the meth- ods for updating each of them by conditioning. We focus on the generic frame- work of (conditional) plausibility spaces, since it generalises ...
First, we consider different kinds of representation of uncertainty and the meth- ods for updating each of them by conditioning. We focus on the generic frame- work of (conditional) plausibility spaces, since it generalises ...