Search
Now showing items 11-13 of 13
Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2008
Date of defense: 17. 01. 2008
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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.
Problémy komunikace s počítačem v přirozeném jazyce
Communication problems with the computer in natural language
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2010
Date of defense: 04. 02. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
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 ...