Hledat
Zobrazují se záznamy 31-35 z 35
Analýza hry Gobblet prostředky umělé inteligence
Gobblet game from the point of artificial intelligence
Diplomová práce (OBHÁJENO)
Vedoucí práce: Vomlelová, Marta
Datum publikování: 2008
Datum obhajoby: 17. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Gobblet je nová abstraktní desková hra, jejíž pravidla vycházejí z klasických piškvorek na hrací ploše o 4×4 políčkách. Možnost přikrývání a přesunu kamenů však značně zvyšují její složitost, takže je srovnatelná například ...
Gobblet is a new abstract board game, rules of which are based on the classic 4-in-arow game played on 4×4 board. However, the ability to gobble up and move the pieces on the board greatly increases its complexity and ...
Gobblet is a new abstract board game, rules of which are based on the classic 4-in-arow game played on 4×4 board. However, the ability to gobble up and move the pieces on the board greatly increases its complexity and ...
Limitní ultramocnina a neregulární univerzum
Limit ultrapower and non-regular universe
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2007
Datum obhajoby: 20. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Je navrženo zobecnění limitní ultramocniny tak, aby poskytlo charakterizaci (standardně omezených částí) elementárních rošíření universa teorie množin; speciálně je aplikovatelná na modely nestandardní teorie množin. Důraz ...
The limit ultrapower is generalized to complete distributive lattices equipped with a ultrafilter and a partition system. This construction provides a complete characterization of the internal universe in models of nonstandard ...
The limit ultrapower is generalized to complete distributive lattices equipped with a ultrafilter and a partition system. This construction provides a complete characterization of the internal universe in models of nonstandard ...
Koordinace mezi logickými agenty
Koordinace mezi logickými agenty
Diplomová práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V predloženej práci študujeme súčasné modely pre koordináciu a navrhujeme nový model založený na argumentačnom systéme. Tento systém, nazvaný Argumentation BlackBoard for Coordination (ABBC) a jeho rozšírenie, Abstract ...
In this thesis, we study the recent models for coordination and we propose a new model based on argumentation system. This system, named Argumentation BlackBoard for Coordination (ABBC), and its extension, Abstract ABBC, ...
In this thesis, we study the recent models for coordination and we propose a new model based on argumentation system. This system, named Argumentation BlackBoard for Coordination (ABBC), and its extension, Abstract ABBC, ...
Strukturní interakce s prostředím a její konekcionistické modelování
Structrured interaction with environment and its connectionistic modelling
Diplomová práce (OBHÁJENO)
Vedoucí práce: Havel, Ivan
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Aproximace obtížných rozvrhovacích úloh
Aproximace obtížných rozvrhovacích úloh
Diplomová práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce zkoumá rozvrhování problémů typu "shop". Po zavedení notace a základních definic používaných v rozvrhování přinášíme přehled známých výsledků o výpočetní složitosti různých rozvrhovacích problémů typu "open ...
This thesis deals with shop scheduling problems. After introducing the basic denitions and notation, we continue with a short survey of known complexity results for open shop, ow shop and job shop scheduling problems. Then ...
This thesis deals with shop scheduling problems. After introducing the basic denitions and notation, we continue with a short survey of known complexity results for open shop, ow shop and job shop scheduling problems. Then ...