Hledat
Zobrazují se záznamy 1-3 z 3
Některé sémantické metody v intuicionistické logice
Some semantic methods in intuitionistic logic
Rigorózní práce (UZNÁNO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2009
Datum obhajoby: 26. 02. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Logic of questions
Logika otázek
Rigorózní práce (UZNÁNO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2011
Datum obhajoby: 16. 12. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Logic of Questions Michal Peliš PhD Thesis Abstract The thesis deals with logic of questions (erotetic logic), which is one of the branches of non- classical logic. In the introductory part we speak generally about ...
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice ...
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice ...
Nerozhodnutelnost struktury racionálních čísel
The undecidability of the field of rationals
Rigorózní práce (UZNÁNO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2006
Datum obhajoby: 03. 11. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...