Search
Now showing items 1-2 of 2
Některé sémantické metody v intuicionistické logice
Some semantic methods in intuitionistic logic
rigorous thesis (RECOGNIZED)
Advisor: Švejdar, Vítězslav
Date Issued: 2009
Date of defense: 26. 02. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V práci se podíváme do světa intuicionistické logiky. Zjistíme že v intuicionistické logice nelze definovat logické spojky pomocí jiných logických spojek. Podíváme se, jak je to v intuicionistické logice s jednoatomovými ...
Nerozhodnutelnost struktury racionálních čísel
The undecidability of the field of rationals
rigorous thesis (RECOGNIZED)
Advisor: Švejdar, Vítězslav
Date Issued: 2006
Date of defense: 03. 11. 2006
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Otázka rozhodnutelnosti, tj. otázka, zda existuje algoritmus, který by byl schopen rozhodnout o platnosti každé prvořádové predikátové formule, se dostala na výsluní pozornosti matematiků ve dvacátých letech minulého ...