Hledat
Zobrazují se záznamy 1-3 z 3
Logické spojky v postojové analýze
Logical connectives in sentiment analysis
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kuboň, Vladislav
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Classification of (in)finitary logics
Klasifikace (in)finitárních logik
Diplomová práce (OBHÁJENO)
Vedoucí práce: Noguera, Carles
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této magisterské práci se budeme zabývat větami o úplnosti v rámci abstraktní algebraické logiky. Náš ústřední zájem bude spočívat v úplnosti vůči takzvaným relativně (konečně) subdirektně ireducibilním modelům. Významnou ...
In this master thesis we investigate completeness theorems in the framework of abstract algebraic logic. Our main interest lies in the completeness with respect to the so called relatively (finitely) subdirectly irreducible ...
In this master thesis we investigate completeness theorems in the framework of abstract algebraic logic. Our main interest lies in the completeness with respect to the so called relatively (finitely) subdirectly irreducible ...
Cohen forcing and its properties
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2015
Datum obhajoby: 25. 06. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Bakalářská práce se zabývá vlastnostmi Cohenova forcingu a jeho vztahu k nedokazatelnosti Hypotézy kontinua a Obecné hypotézy kontinua. Práce je rozdělena na čtyři části. V první části je zavedena technika forcingu pomocí ...
This bachelor thesis studies properties of Cohen Forcing and its relation to the unprovability of Continuum Hypothesis and Generalised Continuum Hypothesis. The thesis is divided into four parts. In the first part the ...
This bachelor thesis studies properties of Cohen Forcing and its relation to the unprovability of Continuum Hypothesis and Generalised Continuum Hypothesis. The thesis is divided into four parts. In the first part the ...