Hledat
Zobrazují se záznamy 71-76 z 76
Lebesgueova věta o hustotě pro Haarovu míru
Lebesgue density theorem for Haar measure
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2006
Datum obhajoby: 12. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá analogií Lebesgueovy věty v prostoru 2k s Haarovou mírou a souvisejícím tématem -k-linkovanosti algebry řešitelných množin tohoto prostoru. Celý text je rozdělen do tří kapitol. První kapitola je věnována ...
In this work, we study Lebesgue theorem analogy in the space 2k with Haar measure and a related theorem about -k-linkedness of the measure algebra of this space. The whole text is divided in three chapters. In the first ...
In this work, we study Lebesgue theorem analogy in the space 2k with Haar measure and a related theorem about -k-linkedness of the measure algebra of this space. The whole text is divided in three chapters. In the first ...
Slabé aritmetické teorie a jejich modely.
Weak arithmetic theories and their models.
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2007
Datum obhajoby: 25. 06. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci studujeme teorie v jazyce aritmetiky L rozšířeném o jeden binární funkční symbol s významem exponenciály. Pro libovolnou teorii v jazyce aritmetiky pak lze zavést její rozšíření v tomto novém jazyce Le ...
In the present thesis we study arithmetical theories in the language of arithmetic L extended by one binary functional symbol for exponentiation. For arbitrary theory in the language of arithmetic it is possible todefine ...
In the present thesis we study arithmetical theories in the language of arithmetic L extended by one binary functional symbol for exponentiation. For arbitrary theory in the language of arithmetic it is possible todefine ...
Real-time fyzikální simulace pro mobilní zařízení
Real-time simulation of physics on mobile devices
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Sýkora, Ondřej
Datum publikování: 2009
Datum obhajoby: 22. 06. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V bakalářské práci se zabývám implementací knihovny pro fyzikální simulaci na mobilních telefonech. Uvádím několik možných přístupů k problému, ze kterých jeden vyberu a popíši důkladněji. Dále se zabývám obecnými postupy ...
In the presented work I discuss possible options of implementing a physical simulation that can be run on today's mobile phones. I describe several approaches from which I choose one and discuss it in more depth. Next, I ...
In the presented work I discuss possible options of implementing a physical simulation that can be run on today's mobile phones. I describe several approaches from which I choose one and discuss it in more depth. Next, I ...
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
Regulated Formal Models and Their Reduction
Regulated Formal Models and Their Reduction
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 18. 08. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Relation between accepting languages and complexity of guestions on oracle
Relation between accepting languages and complexity of guestions on oracle
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 14. 04. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Denote X the class of sets relative to which P = NP relativized and Z the class of sets relative to which P 6= NP. Besides presenting known properties about X and Z, we also show that complete problems for exponential ...
Označme X třídu množin, vzhledem k nimž P = NP relativizovaně a Z třídu množin, vzhledem k nimž P 6= NP. Vedle známých vlastností těchto tříd ukážeme, že úplné úlohy ponenciálních složitostních tříd a silnějších patří do ...
Označme X třídu množin, vzhledem k nimž P = NP relativizovaně a Z třídu množin, vzhledem k nimž P 6= NP. Vedle známých vlastností těchto tříd ukážeme, že úplné úlohy ponenciálních složitostních tříd a silnějších patří do ...