Hledat
Zobrazují se záznamy 11-20 z 26
Induktivní logika a Vídeňský kroužek
Inductive logic and the Vienna circle
Diplomová práce (OBHÁJENO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce pojednává o induktivní logice spojující koncepty indukce a pravděpodobnosti a jejím rozvinutí v rámci Vídeškého kroužku a jeho okolí. Po historickém uvedení indukce a pravděpodobnosti, jsou zde představeny dva hlavní ...
The subject of this work is inductive logic as a connection of two concepts - probability and induction - which was developed by members of the Vienna Circle and their colleagues. After historical introduction the concepts ...
The subject of this work is inductive logic as a connection of two concepts - probability and induction - which was developed by members of the Vienna Circle and their colleagues. After historical introduction the concepts ...
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í ...
Jak zprostředkovat středoškolákům širší pohled na logiku
On conveying deeper insight into logic to secondary school students
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2007
Datum obhajoby: 28. 05. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
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 ...
Posouzení výhod a nevýhod OOP databází vzhledem k relačním databázím
Comparison of advantages and disadvantages OOP databases against relational databases
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2009
Datum obhajoby: 29. 05. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Existují různé přístupy k modelování bází dat. V této práci se snažím identifikovat silná a slabá místa aktuálně používaných databázových technologii. Ať už to jsou klasické relační databáze, tak databáze, které používají ...
There exists different approaches on database modeling. This work tries to identify strengths and weaknesses of nowadays technologies. Besides relational databases, object oriented databases, and methods to combine the ...
There exists different approaches on database modeling. This work tries to identify strengths and weaknesses of nowadays technologies. Besides relational databases, object oriented databases, and methods to combine the ...
Interpolation in modal logics
Interpolace v modálních logikách
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pudlák, Pavel
Datum publikování: 2006
Datum obhajoby: 22. 11. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Since Craig's landmark result on interpolation for classical predicate logic, proved as the main technical lemma in [14], interpolation is considered one of the centra! concepts in pure logic. Various interpolation ...
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 ...
Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2008
Datum obhajoby: 17. 01. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato diplomová práce se zabývá modálními logikami z formálního pohledu. Jsou v ní de novány základní formální systémy a jsou předvedeny hlavní vztahy mezi nimi.
Selected data mining methods and their applicability to the television audience monitoring data in the Czech Republic
Vybrané metody data miningu a jejich použitelnost na průzkum sledovanosti televize v České republice
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hájek, Petr
Datum publikování: 2006
Datum obhajoby: 27. 09. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Data mining is nowadays a fast-growing field, which incorporates machine learning, statistics, and logic within computer science. It has the potential to bring new insights into almost all branches of human activity, because ...