Hledat
Zobrazují se záznamy 51-60 z 61
Koaliční hlasování a koeficienty volební moci aktérů
Weighted voting games and indexes of power
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Majer, Ondrej
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Bakal arska pr aca je uvodn ym textom te orie koali cn ych hlasovac ch hier pre form alne (logika, matematika, te oria hier) i humanitne (politol ogia, sociol ogia) zameran ych citate lov. S u uveden e z akladn e de n cie, ...
This thesis is an introducion to the theory of coalition games intended for readers oriented on formal disciplines (logic, mathematic, game theory) as well as on humanities (political science and sociology). Basic de ...
This thesis is an introducion to the theory of coalition games intended for readers oriented on formal disciplines (logic, mathematic, game theory) as well as on humanities (political science and sociology). Basic de ...
Pojem interpretace axiomatických teorií
The notion of interpretation between axiomatic theories
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: In this thesis we are researching the concept of intepretability between axiomatic theories and its basic properties, its use and variants. We define one- dimensional interpretation and show its behaviour on simple school ...
V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základní vlastnostmi a využitími a jeho různými variantami. Definujeme jedno-dimenzionální interpre- ...
V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základní vlastnostmi a využitími a jeho různými variantami. Definujeme jedno-dimenzionální interpre- ...
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é ...
Formalizace usuzování a paradox překvapivé písemky
Formalization of reasoning and the paradox of surprise examination
Diplomová práce (OBHÁJENO)
Vedoucí práce: Svoboda, Vladimír
Datum publikování: 2007
Datum obhajoby: 26. 09. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Po prezentaci možných přístupů k řešení problému v první kapitole jsem ve druhé kapitole poukázal na Sorensenovu kritiku pokusů interpretovat paradox jinak, než pomocí modálních reprezentací epistemických, či doxastických ...
Probabilistické algoritmy pro prvočíselnost
Probabilistic algorithms for testing primality
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2013
Datum obhajoby: 19. 09. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Ačkoli v poslední době byla pozornost upřena především na nový deterministický algoritmus pro testování prvočíselnosti AKS, pravděpodobnostní algoritmy zůstávají efektivním nástrojem pro testování prvočíselnosti. Naše práce ...
Attention has been paid mostly to the new deterministic algorithm for primality testing AKS recently. However, probabilistic algorithms remain an efficient tool for primality testing. Our thesis focuses mostly on two most ...
Attention has been paid mostly to the new deterministic algorithm for primality testing AKS recently. However, probabilistic algorithms remain an efficient tool for primality testing. Our thesis focuses mostly on two most ...
Významné směry v umělé inteligenci
Important Themas in Artificial Intelligence
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2013
Datum obhajoby: 18. 09. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce studuje deskripční logiky jako metodu reprezentace znalostí umělé inteligence, popisuje historický vývoj reprezentace znalostí vedoucí k vzniku deskripčních logik a srovnává jejich výhody a nevýhody se systémy rámců, ...
The paper studies description logics as a method of field of artificial intelligence, describes history of knowledge representation as series of events leading to founding of description logics. Furthermore the paper ...
The paper studies description logics as a method of field of artificial intelligence, describes history of knowledge representation as series of events leading to founding of description logics. Furthermore the paper ...
Sémantika preskriptivního diskurzu a jazykové hry
Semantics of prescriptive discourse and language games
Diplomová práce (OBHÁJENO)
Vedoucí práce: Svoboda, Vladimír
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Hlavním tématem práce jsou preskriptivní věty a jejich využití v jazykových hrách. Ve svém počátku práce definuje oblast zkoumaných vět a prezentuje možný přístup k jejich sémantické analýze. Následně je představen pojem ...
The main theme of this thesis is prescriptive sentences and their usage within language games. At the beginning, the thesis defines the range of analyzed sentences and presents a possible approach to their semantic analysis. ...
The main theme of this thesis is prescriptive sentences and their usage within language games. At the beginning, the thesis defines the range of analyzed sentences and presents a possible approach to their semantic analysis. ...
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 (OBHÁJENO)
Vedoucí práce: Majer, Ondřej
Datum publikování: 2015
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@ ...
Nerozhodnutelnost struktury racionálních čísel
The undecidability of the field of rationals
Rigorózní práce (UZNÁNO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2006
Datum obhajoby: 03. 11. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Dělitelnost v okruzích
The Divisibility Relation in Rings
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2022
Datum obhajoby: 05. 09. 2022
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: This thesis aims to define a theory of divisibility for general integral domains. A hiear- chy of divisibility domains with properties to those of division on the integers is outlined. Chinese residue theorem is generalized ...
Práce si klade za cíl definovat teorii dělitelnosti pro obecné obory integrity a nastí- nit hierarchii oborů dělitelnosti s vlastnostmi, které očekáváme, že budou platit obdobně jako při dělení na celých číslech. Pomocí ...
Práce si klade za cíl definovat teorii dělitelnosti pro obecné obory integrity a nastí- nit hierarchii oborů dělitelnosti s vlastnostmi, které očekáváme, že budou platit obdobně jako při dělení na celých číslech. Pomocí ...