Hledat
Zobrazují se záznamy 41-50 z 52
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 ...
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 ...
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@ ...
The malfunction concept in complex systems
Pojem malfunkce v komplexních systémech
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2009
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se zabývá konceptem malfunkce a nemoci, které charakterizuje jako neobvyklé či nežádoucí chování daného komplexního systému. Podobnosti a rozdílnosti mezi umělou a přirozenou myslí, jednoduchými a komplexními systémy ...
The paper studies the concept of malfunction or illness, which are characterized by nonstandard or undesirable behaviour of the given complex systems. The parallels and differences between natural and artificial mind, ...
The paper studies the concept of malfunction or illness, which are characterized by nonstandard or undesirable behaviour of the given complex systems. The parallels and differences between natural and artificial mind, ...
Lower Bounds on Boolean Formula Size
Dolní odhady velikosti Booleovských formulí
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hrubeš, Pavel
Datum publikování: 2019
Datum obhajoby: 19. 06. 2019
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Cı́lem této práce je studovat metody konstrukce dolnı́ch odhadů velikosti Booleovských formulı́. Soustředı́me se zde předevšı́m na formálnı́ mı́ry složitosti, přičemž zobecnı́me známou Krapchenkovu mı́ru na ...
The aim of this thesis is to study methods of constructing lower bounds on Boolean formula size. We focus mainly on formal complexity measures, gener- alizing the well-known Krapchenko measure to a class of graph measures, ...
The aim of this thesis is to study methods of constructing lower bounds on Boolean formula size. We focus mainly on formal complexity measures, gener- alizing the well-known Krapchenko measure to a class of graph measures, ...
Combinatorics of filters on the natural numbers
Kombinatorika filtrů na přirozených číslech
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Verner, Jonathan
Datum publikování: 2018
Datum obhajoby: 06. 02. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se věnuje kombinatorickým vlastnostem filtrů na přirozených číslech. Obsahuje úvod a motivaci do problematiky definovatelnosti filtrů a jejich kombinatorikou, definice základních typů filrů: P-filtr, Q-filtr, Rapid ...
The work is devoted to combinatorial properties of filters on natural num- bers as an introduction and motivation to the definability of the filters and its combinatorics. Basic filter types: P-filter, Q-filter, Rapid ...
The work is devoted to combinatorial properties of filters on natural num- bers as an introduction and motivation to the definability of the filters and its combinatorics. Basic filter types: P-filter, Q-filter, Rapid ...
Zenónovy paradoxy a jejich (ne-)řešitelnost prostředky moderní matematiky a logiky
Zeno's paradoxes and their solution or failure thereof by the means of modern mathematics and logic
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Arazim, Pavel
Datum publikování: 2024
Datum obhajoby: 18. 06. 2024
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Zeno's paradoxes and their solution or failure thereof by the means of modern mathematics and logic Eliška Schůtová Abstract: The bachelor's thesis is focused on Zeno's paradoxes from two different points of view, first ...
Zénónovy paradoxy a jejich (ne-)řešitelnost prostředky moderní matematiky a logiky Eliška Schůtová Abstrakt: Bakalářská práce je zaměřena na Zénónovy paradoxy ze dvou různých hledisek, nejdříve antického, a poté modernějšího. ...
Zénónovy paradoxy a jejich (ne-)řešitelnost prostředky moderní matematiky a logiky Eliška Schůtová Abstrakt: Bakalářská práce je zaměřena na Zénónovy paradoxy ze dvou různých hledisek, nejdříve antického, a poté modernějšího. ...
Monadic NP sets
Monadické NP množiny
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Generalised spectra, id est classes finitely axiomatisable in existential second-order logic restricted to finite structures, are known by Fagin's theorem to coincide with members of the complexity class NP. Thereby, the ...
Jako zobecněná spektra se označují třídy konečně axiomatisovatelné v existenční druhořádové logice s relací platnosti omezenou na konečné struktury. Jest známým faktem, že korrespondují dle Faginovy věty s prvky složitostní ...
Jako zobecněná spektra se označují třídy konečně axiomatisovatelné v existenční druhořádové logice s relací platnosti omezenou na konečné struktury. Jest známým faktem, že korrespondují dle Faginovy věty s prvky složitostní ...