Hledat
Zobrazují se záznamy 1-8 z 8
Koza and Prolog
Koza a Prolog
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švarný, Petr
Datum publikování: 2015
Datum obhajoby: 11. 02. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Verner, Jonathan
Datum publikování: 2018
Datum obhajoby: 20. 09. 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 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
Bakalářská práce (OBHÁ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: 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 ...
Následování pravidla
Rule-following
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Koťátko, Petr
Datum publikování: 2014
Datum obhajoby: 24. 06. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Algebraic and Kripke semantics of substructural logics
Algebraická a kripkovská sémantika substrukturálních logik
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2011
Datum obhajoby: 22. 09. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Problémy komunikace s počítačem v přirozeném jazyce
Communication problems with the computer in natural language
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2010
Datum obhajoby: 04. 02. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Ve své práci se snažím poukázat na to, jak je pochopení přirozeného jazyka složité. A ačkoli jej používáme každý den, není snadné jej jednoduše popsat natož jej přesně matematicky definovat. Ale pokud se chceme bavit s ...
Platónův dialog Parmenides z hlediska logiky
Plato's Parmenides from a logical point of view
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Vlasáková, Marta
Datum publikování: 2014
Datum obhajoby: 18. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
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 ...