Search
Now showing items 1-10 of 13
Koza and Prolog
Koza a Prolog
bachelor thesis (DEFENDED)
Advisor: Švarný, Petr
Date Issued: 2015
Date of defense: 11. 02. 2015
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce uvádí vztah umělé inteligence ke genetickému pro- gramování a některé vlastnisti logického programování. Hlavním cílem práce ovšem je naprogramovat algoritmus genetrického programování. Tento program operuje s ...
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm ...
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm ...
Combinatorics of filters on the natural numbers
Kombinatorika filtrů na přirozených číslech
bachelor thesis (DEFENDED)
Advisor: Verner, Jonathan
Date Issued: 2018
Date of defense: 20. 09. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce se věnuje kombinatorickým vlastnostem filtrů na přirozených číslech. Obsahuje úvod do problematiky definovatelnosti filtrů a jejich kombinatoriky, definice základních typů filrů: P-filtr, Q-filtr, Rapid filtr; ...
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. The work contains definitions of basic filter ...
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. The work contains definitions of basic filter ...
Reflection principles and large cardinals
Principi reflexe a velké kardinály
bachelor thesis (DEFENDED)
Advisor: Honzík, Radek
Date Issued: 2016
Date of defense: 14. 09. 2016
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Schönhageho-Strassenův algoritmus a jeho matematické pozadí
Schönhage-Strassen algorithm and the mathematics behind it
bachelor thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2022
Date of defense: 05. 09. 2022
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Thesis name: Schönhage-Strassen algorithm and the mathematics behind it Author: Valentina Jelínková Department: Katedra Logiky Supervisor: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: This thesis deals with the Schönhage-Strassen ...
Název práce: Schönhageho-Strassenův algoritmus a jeho matematické pozadí Autor: Valentina Jelínková Katedra: Katedra Logiky Vedoucí: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: Práce se zabývá Schönhageho-Strassenovým ...
Název práce: Schönhageho-Strassenův algoritmus a jeho matematické pozadí Autor: Valentina Jelínková Katedra: Katedra Logiky Vedoucí: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: Práce se zabývá Schönhageho-Strassenovým ...
Následování pravidla
Rule-following
bachelor thesis (DEFENDED)
Advisor: Koťátko, Petr
Date Issued: 2014
Date of defense: 24. 06. 2014
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Platónův dialog Parmenides z hlediska logiky
Plato's Parmenides from a logical point of view
bachelor thesis (DEFENDED)
Advisor: Vlasáková, Marta
Date Issued: 2014
Date of defense: 18. 09. 2014
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Hlavním tématem této bakalářské práce je takzvaný "Argument třetího člověka". Jedná se o argument, který byl již za Platónova života zformulován a namířen proti jeho teorii idejí. Na tuto kritiku Platón reagoval sepsáním ...
The main subject of my thesis is the so called "Third Man Argument". It is an objection, which appeared already during Plato's life and was raised against Plato's Theory of forms. As a reaction to this argument, Plato wrote ...
The main subject of my thesis is the so called "Third Man Argument". It is an objection, which appeared already during Plato's life and was raised against Plato's Theory of forms. As a reaction to this argument, Plato wrote ...
Významné směry v umělé inteligenci
Important Themas in Artificial Intelligence
bachelor thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2013
Date of defense: 18. 09. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Logika dokazatelnosti a její filozofická reflexe
Logic of provability from the philosophical point of view
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2008
Date of defense: 29. 09. 2008
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Ramseyovy věty a jejich zobecnění na nespočetné kardinály
Ramsey theorems and their generalizations for uncountable cardinals
bachelor thesis (DEFENDED)
Advisor: Stejskalová, Šárka
Date Issued: 2024
Date of defense: 05. 09. 2024
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V práci jsou dokázány Ramseyovy věty a definována šipkovací notace pro partition calculus. V páté kapitole je dokázána Erdős-Dushnik-Millerova věta a její zobecnění pro nespo- četné regulární kardinály. To slouží jako ...
In this work Ramsey's theorems are proven and the arrow notation for partition calculus is defined. In capter 5 we prove Erdős-Dushnik-Miller theorem and its generalization for un- countable regular cardinals. This provides ...
In this work Ramsey's theorems are proven and the arrow notation for partition calculus is defined. In capter 5 we prove Erdős-Dushnik-Miller theorem and its generalization for un- countable regular cardinals. This provides ...
Posouzení výhod a nevýhod OOP databází vzhledem k relačním databázím
Comparison of advantages and disadvantages OOP databases against relational databases
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2009
Date of defense: 29. 05. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Existují různé přístupy k modelování bází dat. V této práci se snažím identifikovat silná a slabá místa aktuálně používaných databázových technologii. Ať už to jsou klasické relační databáze, tak databáze, které používají ...
There exists different approaches on database modeling. This work tries to identify strengths and weaknesses of nowadays technologies. Besides relational databases, object oriented databases, and methods to combine the ...
There exists different approaches on database modeling. This work tries to identify strengths and weaknesses of nowadays technologies. Besides relational databases, object oriented databases, and methods to combine the ...