Search
Now showing items 1-4 of 4
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 ...
Algebraic and Kripke semantics of substructural logics
Algebraická a kripkovská sémantika substrukturálních logik
diploma thesis (DEFENDED)
Advisor: Bílková, Marta
Date Issued: 2011
Date of defense: 22. 09. 2011
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce se zabývá distributivním Lambekovým kalkulem, tedy intuicionistickou logikou bez pravidel záměny, kontrakce a oslabení, a především dvěma různými sé- mantikami této logiky, totiž sémantikou algebraickou a ...
This thesis is about the distributive full Lambek calculus, i.e., intuicionistic logic without the structural rules of exchange, contraction and weakening and particularly about the two semantics of this logic, one of which ...
This thesis is about the distributive full Lambek calculus, i.e., intuicionistic logic without the structural rules of exchange, contraction and weakening and particularly about the two semantics of this logic, one of which ...