Hledat
Zobrazují se záznamy 31-40 z 69
Frege a Husserl o objektivitě
Frege and Husserl on Objectivity
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Peregrin, Jaroslav
Datum publikování: 2012
Datum obhajoby: 19. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Bakalářská práce se zabývá raným dílem významných logiků a filo- sofů Gottloba Frega a Edmunda Husserla na přelomu 19. a 20. století. Především se věnuje jejich řešení objektivity aritmetiky a objektivity jako takové. ...
This bachelor thesis is concerned with early works of significant logi- cians and philosophers Gottlob Frege and Edmund Husserl at the turn of the nineteenth and the twentieth centuries. Most importantly, it deals with ...
This bachelor thesis is concerned with early works of significant logi- cians and philosophers Gottlob Frege and Edmund Husserl at the turn of the nineteenth and the twentieth centuries. Most importantly, it deals with ...
Pojem ideálu a filtru v algebře a logice
Ideals and filters in algebra and logic
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2013
Datum obhajoby: 27. 06. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Russellova analýza Peanovy aritmetiky
Russell's analysis of Peano Arithmetic
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holeček, Tomáš
Datum publikování: 2014
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Diplomová práce se věnuje Russellově analýze Peanovy aritmetiky tak, jak ji Russell podal spolu s A. N. Whiteheadem v knize Princi- pia Mathematica a později v poněkud přístupnější knize Introduction to Mathematical ...
The aim of this thesis is Russell's analysis of Peano arithmetic. This analysis was presented by Russell and A. N. Whitehead in the book Prin- cipia Mathematica and then in Russell's book Introduction to Mathema- tical ...
The aim of this thesis is Russell's analysis of Peano arithmetic. This analysis was presented by Russell and A. N. Whitehead in the book Prin- cipia Mathematica and then in Russell's book Introduction to Mathema- tical ...
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, ...
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Probabilistic semantics for Independence-friendly Logics
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Majer, Ondrej
Datum publikování: 2013
Datum obhajoby: 18. 09. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: (česky) Práce je čistě teoretického charakteru a zabývá se teorií her z pohledu matematické logiky a pravděpodobnosti. Dělí se na dvě části, úvodní, která shrnuje základní definice, uvádí do tématu teorie her a základů ...
(in English): Character of the work is purely theoretical and it pursues game theory in the perspective of mathematical logic and probability. The work is divided into two parts. Introductory part compiles basic concepts ...
(in English): Character of the work is purely theoretical and it pursues game theory in the perspective of mathematical logic and probability. The work is divided into two parts. Introductory part compiles basic concepts ...
Aplikace temporálních logik ve fyzice
Aplikace temporálních logik ve fyzice
Diplomová práce (OBHÁJENO)
Vedoucí práce: Majer, Ondrej
Datum publikování: 2011
Datum obhajoby: 22. 09. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce představuje v krátkosti tři hlavní obory zabývající se zkoumáním času: fyziku, filosofii a logiku. Je podán úvod do obecné teorie relativity, termodynamiky a kvantové fyziky. Jsou vyjmenovány i základní filosofické ...
This thesis presents an introduction to the three main fields that study time: physics, philosophy, and logics. A brief introduction to general relativity, thermodynamics and quantum physics is made. Also some of the basic ...
This thesis presents an introduction to the three main fields that study time: physics, philosophy, and logics. A brief introduction to general relativity, thermodynamics and quantum physics is made. Also some of the basic ...
Classification of (in)finitary logics
Klasifikace (in)finitárních logik
Diplomová práce (OBHÁJENO)
Vedoucí práce: Noguera, Carles
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této magisterské práci se budeme zabývat větami o úplnosti v rámci abstraktní algebraické logiky. Náš ústřední zájem bude spočívat v úplnosti vůči takzvaným relativně (konečně) subdirektně ireducibilním modelům. Významnou ...
In this master thesis we investigate completeness theorems in the framework of abstract algebraic logic. Our main interest lies in the completeness with respect to the so called relatively (finitely) subdirectly irreducible ...
In this master thesis we investigate completeness theorems in the framework of abstract algebraic logic. Our main interest lies in the completeness with respect to the so called relatively (finitely) subdirectly irreducible ...
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 ...
Získávání znalostí z databází
Data mining
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Peliš, Michal
Datum publikování: 2013
Datum obhajoby: 18. 09. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Získávání znalostí z databází bakalářská práce Jakub Dolejšek (abstrakt v českém jazyce) Práce se zabývá problematikou dobývání znalostí z databází se zaměřením na metody rozhodovacích stromů a neuronových sítí spolu s ...
Data mining Bc. thesis Jakub Dolejšek (english abstract) This paper describes problematic of the knowleadge database discovery with focus on methods of decision trees and neural networks with examples of their application ...
Data mining Bc. thesis Jakub Dolejšek (english abstract) This paper describes problematic of the knowleadge database discovery with focus on methods of decision trees and neural networks with examples of their application ...
Následování pravidla
Rule-following
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Koťátko, Petr
Datum publikování: 2014
Datum obhajoby: 24. 06. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Následování pravidla není možné bez nějaké externí rozhodčí instance, která může zhodnotit, jestli někdo (jiný než on sám) jedná s pravidlem ve shodě či v rozporu. Kolem tohoto tvrzení práce srovnává různé úhly pohledu na ...
Following any rule is not possible without some external instance of a jury that can evaluate if anyone (other than himself) acts according to a rule or against it. This work compares different perspectives on the issue ...
Following any rule is not possible without some external instance of a jury that can evaluate if anyone (other than himself) acts according to a rule or against it. This work compares different perspectives on the issue ...