Hledat
Zobrazují se záznamy 1-8 z 8
Logika dokazatelnosti a její filozofická reflexe
Logic of provability from the philosophical point of view
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2009
Datum obhajoby: 29. 05. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Schönhageho-Strassenův algoritmus a jeho matematické pozadí
Schönhage-Strassen algorithm and the mathematics behind it
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2022
Datum obhajoby: 05. 09. 2022
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
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 ...
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 ...
Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2008
Datum obhajoby: 17. 01. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato diplomová práce se zabývá modálními logikami z formálního pohledu. Jsou v ní de novány základní formální systémy a jsou předvedeny hlavní vztahy mezi nimi.
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 ...