Hledat
Zobrazují se záznamy 1-4 z 4
Globální podmínky s cenou
Global Constraints with Cost
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Plánovací problémy tvoří velice důležiotou aplikační oblast oboru programování s omezujícími podmínkami. Častý způsob reprezentace plánovacích problémů představují temporální sítě, kde uzly reprezentují jednotlivé časové ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Efektivní algoritmy oveřování cílů v počítačových hrách
Effective Algorithms for Verifying Goals in Computer Games
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá neuniformními metodami prohledávání stromů her dvou hráčů s úplnou informací. Konkrétně je zkoumána neuniformita založená na hrozbách realizovaná v podobě algoritmů lambda search a dual-lambda search. ...
In the present work we study non-uniform methods for searching game trees of two player games with perfect information. Particularly the non-uniformity based on threats as realized in lambda search and dual-lambda search ...
In the present work we study non-uniform methods for searching game trees of two player games with perfect information. Particularly the non-uniformity based on threats as realized in lambda search and dual-lambda search ...
Topologicky různé ultrafiltry
Topologically distinct ultrafilters
Diplomová práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2007
Datum obhajoby: 01. 06. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
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 ...