Hledat
Zobrazují se záznamy 1-8 z 8
Posibilistická logika a filosofie Davida Huma
Possibilistic logic and the philosophy of David Hume
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Holeček, Tomáš
Datum publikování: 2007
Datum obhajoby: 25. 06. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se zabývá slučitelností posihilistické logiky a filosofie Davida Huma, popsané v jeho knize Zkoumání o lidském rozumu. Posibilistická logika jako nástroj pro usuzování za nejistoty se ukazuje jako vhodná pro modelování ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
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 ...
Forma, tvar a myšlení moderního robota
Form, design and thinking of the modern robot
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této práci bych rád podal popis robota jakožto stroje jak po fyzické, tak po psychické stránce. Budu postupovat od toho, jak by měl vypadat na první pohled a jaké by měl mít funkce, přes úvahu o struktuře konstrukční ...
Categories of fuzzy sets
Kategorie fuzzy množin
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2009
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Category theory provides very useful tools for studying mathematical structures and phenomena. One of the structures that is studied in a category-theoretical manner are fuzzy sets. If we consider fuzzy sets as objects and ...
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 ...
The malfunction concept in complex systems
Pojem malfunkce v komplexních systémech
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2009
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se zabývá konceptem malfunkce a nemoci, které charakterizuje jako neobvyklé či nežádoucí chování daného komplexního systému. Podobnosti a rozdílnosti mezi umělou a přirozenou myslí, jednoduchými a komplexními systémy ...
The paper studies the concept of malfunction or illness, which are characterized by nonstandard or undesirable behaviour of the given complex systems. The parallels and differences between natural and artificial mind, ...
The paper studies the concept of malfunction or illness, which are characterized by nonstandard or undesirable behaviour of the given complex systems. The parallels and differences between natural and artificial mind, ...