Hledat
Zobrazují se záznamy 1-4 z 4
Combinatorics of filters on the natural numbers
Kombinatorika filtrů na přirozených číslech
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Verner, Jonathan
Datum publikování: 2017
Datum obhajoby: 19. 09. 2017
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se věnuje kombinatorickým vlastnostem filtrů na přirozených číslech. Obsahuje úvod a motivaci do problematiky mezi definovatelností filtrů a je- jich kombinatorikou, definice základních typů filrů: P-filtr, Q-filtr, ...
The work is intended to combinatorial properties of filters on natural numbers as an introduction and motivation to the problematics between definability of the filters and its combinatorics. Basic filter types: P-filter, ...
The work is intended to combinatorial properties of filters on natural numbers as an introduction and motivation to the problematics between definability of the filters and its combinatorics. Basic filter types: P-filter, ...
The tree property and the continuum function
Stromová vlastnost a funkce kontinua
Dizertační práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2017
Datum obhajoby: 02. 12. 2017
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The continuum function is a function which maps every infinite cardinal κ to 2κ. We say that a regular uncountable cardinal κ has the tree property if every κ-tree has a cofinal branch, or equivalently if there are no ...
Funkce kontinua je funkce, která libovolnému nekonečnému kardinálu κ přiřadí hodnotu 2κ. Řekneme, že regulární nespočetný kardinál κ má stromovou vlastnost, jestliže každý κ-strom má kofinální větev, ekvivalentně, že ...
Funkce kontinua je funkce, která libovolnému nekonečnému kardinálu κ přiřadí hodnotu 2κ. Řekneme, že regulární nespočetný kardinál κ má stromovou vlastnost, jestliže každý κ-strom má kofinální větev, ekvivalentně, že ...
Dôkazy bezespornosti aritmetiky
Dôkazy bezespornosti aritmetiky
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pudlák, Pavel
Datum publikování: 2017
Datum obhajoby: 01. 11. 2017
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: The thesis consists of two parts. The first one deals with Gentzen's consistency proof of 1935, especially with the impact of his cut elimination strategy on the complexity of the proof. Our analysis of Gentzen's cut elimi- ...
Táto práca pozostáva z dvoch častí. Prvá čast sa zaoberá Gentze- novým dôkazom bezespornosti Peanovej aritmetiky (PA), ktorý pochádza z roku 1935. Skúmame hlavne Gentzenovu stratégiu eliminácie rezu, ktorá eliminuje rezy, ...
Táto práca pozostáva z dvoch častí. Prvá čast sa zaoberá Gentze- novým dôkazom bezespornosti Peanovej aritmetiky (PA), ktorý pochádza z roku 1935. Skúmame hlavne Gentzenovu stratégiu eliminácie rezu, ktorá eliminuje rezy, ...
Bezestrojová charakterizace polynomiálně počitatelných funkcí
Machine-Free Characterization of Polynomially Computable Functions
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2017
Datum obhajoby: 19. 06. 2017
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se zabývá bezestrojou definicí polynomiálních funkcí. Hlavním cílem je čtenáře obeznámit nejen s touto definicí, ale i s ostatními důležitými pojmy této práce. Nejdůležitějšími pojmy je myšleno: základní funkcem, ...
This thesis focuses on machine-free definition of polynomial functions. The main goal is to not only make the readers familiar with this de- finition, but also to introduce them to the other pivotal terms of this thesis. ...
This thesis focuses on machine-free definition of polynomial functions. The main goal is to not only make the readers familiar with this de- finition, but also to introduce them to the other pivotal terms of this thesis. ...