Hledat
Zobrazují se záznamy 1-5 z 5
The continuum function on singular cardinals
Funkce kontinua na singulárních kardinálech
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2012
Datum obhajoby: 20. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Bakalářská práce se zabývá chováním funkce kontinua na singulárních kardinálech v teorii ZFC. Práce je rozdělena na dvě části. První část se soustředí na Silverovu větu a rozebírá dva různé důkazy této věty, původní Silverův ...
Bachelor thesis studies the behaviour of the continuum function on singular cardinals in theory ZFC. The work is divided into two parts. The focus of the first part is on the Silver's Theorem and it analyzes two different ...
Bachelor thesis studies the behaviour of the continuum function on singular cardinals in theory ZFC. The work is divided into two parts. The focus of the first part is on the Silver's Theorem and it analyzes two different ...
Cohen forcing and its properties
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2015
Datum obhajoby: 25. 06. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Bakalářská práce se zabývá vlastnostmi Cohenova forcingu a jeho vztahu k nedokazatelnosti Hypotézy kontinua a Obecné hypotézy kontinua. Práce je rozdělena na čtyři části. V první části je zavedena technika forcingu pomocí ...
This bachelor thesis studies properties of Cohen Forcing and its relation to the unprovability of Continuum Hypothesis and Generalised Continuum Hypothesis. The thesis is divided into four parts. In the first part the ...
This bachelor thesis studies properties of Cohen Forcing and its relation to the unprovability of Continuum Hypothesis and Generalised Continuum Hypothesis. The thesis is divided into four parts. In the first part the ...
Comparison of logical and psychological perspectives on the concept of number.
Srovnání logického a psychologického pojetí čísla.
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Punčochář, Vít
Datum publikování: 2013
Datum obhajoby: 27. 06. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Táto práca je rozdelená na tri hlavné časti. V prvej časti predstavujeme logický prístup k pojmu čísla na základe Fregeho diela Základy Aritmetiky. Popri snahe definovať a klasifikovať číslo ako také, rozoberáme aj Husserlove ...
This paper is divided into three main parts. In the first part, we propose a logical approach to the concept of number based on Frege's Foundations of Arithmetic. Besides the main attempt to define and classify number per ...
This paper is divided into three main parts. In the first part, we propose a logical approach to the concept of number based on Frege's Foundations of Arithmetic. Besides the main attempt to define and classify number per ...
Feasible incompleteness
Polynominální neúplnost
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pudlák, Pavel
Datum publikování: 2019
Datum obhajoby: 19. 06. 2019
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Lower Bounds on Boolean Formula Size
Dolní odhady velikosti Booleovských formulí
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hrubeš, Pavel
Datum publikování: 2019
Datum obhajoby: 19. 06. 2019
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Cı́lem této práce je studovat metody konstrukce dolnı́ch odhadů velikosti Booleovských formulı́. Soustředı́me se zde předevšı́m na formálnı́ mı́ry složitosti, přičemž zobecnı́me známou Krapchenkovu mı́ru na ...
The aim of this thesis is to study methods of constructing lower bounds on Boolean formula size. We focus mainly on formal complexity measures, gener- alizing the well-known Krapchenko measure to a class of graph measures, ...
The aim of this thesis is to study methods of constructing lower bounds on Boolean formula size. We focus mainly on formal complexity measures, gener- alizing the well-known Krapchenko measure to a class of graph measures, ...