Hledat
Zobrazují se záznamy 1-4 z 4
Logika Charlese S. Peirce
The logic of Charles S. Peirce
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Kolman, Vojtěch
Datum publikování: 2009
Datum obhajoby: 19. 02. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato práce se pokouší zmapovat hlavní přínosy Charlese Sanderse Peirce v logice. Hlavní pozornost zde bude věnována Peircově teorii existenčních grafů, které jsou, mezi ostatními významnými Peircovými objevy, často opomínány. ...
Relace bisimulace
Bisimulation
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2009
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato práce se zabývá relací bisimulace v modální logice a také v intuicionistické logice bez kontrakce. Bisimulace je relace mezi sémantickými modely, která je slabí neo isomor smus, ale přitom pořád zaruuje ekvivalenci v ...
This work is about bisimulation in modal logic as well as in intuicionistic logic without contraction. Bisimulation is a relation between models, which is weaker than isomorphism, yet still guarantees equivalence in the ...
This work is about bisimulation in modal logic as well as in intuicionistic logic without contraction. Bisimulation is a relation between models, which is weaker than isomorphism, yet still guarantees equivalence in the ...
Metoda sémantických stromů v neklasických logikách
Tableaux in non-classical logics
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Dalo by se ríct, že jako dukazová metoda jsou sémantické stromy v Cesku nepríliš používané, a to i presto, že ve svete je to nejoblíbenejší dukazový systém pro modální logiku [1]. Vedle základního Hilbertova kalkulu se v ...
Koaliční hlasování a koeficienty volební moci aktérů
Weighted voting games and indexes of power
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Majer, Ondrej
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Bakal arska pr aca je uvodn ym textom te orie koali cn ych hlasovac ch hier pre form alne (logika, matematika, te oria hier) i humanitne (politol ogia, sociol ogia) zameran ych citate lov. S u uveden e z akladn e de n cie, ...
This thesis is an introducion to the theory of coalition games intended for readers oriented on formal disciplines (logic, mathematic, game theory) as well as on humanities (political science and sociology). Basic de ...
This thesis is an introducion to the theory of coalition games intended for readers oriented on formal disciplines (logic, mathematic, game theory) as well as on humanities (political science and sociology). Basic de ...