Hlavní stránka > Výsledky hledání: recid:300628
Hledej:
 
Tipy pro vyhledávaní :: Jednoduché hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.01 vteřin. 

(100)
Implikační fragmenty intuicionistické výrokové logiky
 Blicha, Martin ; Švejdar, Vítězslav (vedoucí práce) ; Chvalovský, Karel (oponent)
V predloženej práci študujeme implikačné fragmenty intuicionistickej výrokovej logiky s konečným počtom atómov. V prvej časti sa podrobnejšie venujeme fragmentu s dvomi atómami, ktorý je dostatočne jednoduchý, aby v ňom bolo možné sledovať vzťahy medzi formulami, zároveň ale nie je príliš triviálny. V ďalšej časti zavádzame pojmy principálny vrchol a principálny model, ktoré nám umožnia skúmať aj ďalšie fragmenty. V poslednej časti zisťujeme, ako sa zmenia výsledky, ak si do jazyka pridáme konštantu .
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English