Hledat
Zobrazují se záznamy 61-69 z 69
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 ...
Logic of questions
Logika otázek
Dizertační práce (OBHÁJENO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2011
Datum obhajoby: 14. 04. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Logic of Questions Michal Peliš PhD Thesis Abstract The thesis deals with logic of questions (erotetic logic), which is one of the branches of non- classical logic. In the introductory part we speak generally about ...
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice ...
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice ...
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 ...
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@ ...
Knowledge changes in dynamic epistemic logic
Změny stavů znalostí v dynamické epistemické logice
Diplomová práce (OBHÁJENO)
Vedoucí práce: Peliš, Michal
Datum publikování: 2012
Datum obhajoby: 19. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této práci je představena logika hybridních akčních modelů, spolu s korektním a úplným Hilbertovským kalkulem. Je to původní mul- timodální epistemická logika, která se snaží dát agentům (i) silný prostředek komunikace ...
The Logic of Hybrid Action Models is presented in this thesis along with a sound and complete Hilbert style calculus. It is an original multimodal epistemic logic that tries to give the agents (i) a strong method of ...
The Logic of Hybrid Action Models is presented in this thesis along with a sound and complete Hilbert style calculus. It is an original multimodal epistemic logic that tries to give the agents (i) a strong method of ...
Logic, form and argument
Logika, forma a argument
Dizertační práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2012
Datum obhajoby: 10. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The goal of this thesis is to defend and explain the claim that traditional logical analysis is not the best tool for studying natural language argumentation. The most common critique directed at employment of logical ...
Cílem mé disertace je obhájit a vysvětlit tezi, že tradiční logická analýza není vhodným nástrojem ke zkoumání argumentace v přirozeném jazyce. Nejčastější kritika formální logiky jako nástroje pro analýzu přirozeného ...
Cílem mé disertace je obhájit a vysvětlit tezi, že tradiční logická analýza není vhodným nástrojem ke zkoumání argumentace v přirozeném jazyce. Nejčastější kritika formální logiky jako nástroje pro analýzu přirozeného ...
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 ...