Hledat
Zobrazují se záznamy 31-40 z 50
Jak zprostředkovat středoškolákům širší pohled na logiku
On conveying deeper insight into logic to secondary school students
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2007
Datum obhajoby: 28. 05. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Categories of fuzzy sets
Kategorie fuzzy množin
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2009
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Category theory provides very useful tools for studying mathematical structures and phenomena. One of the structures that is studied in a category-theoretical manner are fuzzy sets. If we consider fuzzy sets as objects and ...
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 ...
Elementary axiomatic theories over intuitionistic logic
Elementární axiomatické teorie nad intuicionistickou logikou
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: This thesis studies basic properties of intuitionistic logic and several elementary theories over it. We choose three theories to explore: the theory of equality, the theory of linear order, and the theory of apartness. ...
Tato práce se zabývá základními vlastnostmi intuicionistické logiky a některými elementárními teoriemi v ní. Ke zkoumání jsme vybrali následující teorie: teorie ekvivalence, teorie lineárního uspořádání a teorie mimolehlosti. ...
Tato práce se zabývá základními vlastnostmi intuicionistické logiky a některými elementárními teoriemi v ní. Ke zkoumání jsme vybrali následující teorie: teorie ekvivalence, teorie lineárního uspořádání a teorie mimolehlosti. ...
Metoda sémantických stromů v neklasických logikách
Tableaux in non-classical logics
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2009
Datum obhajoby: 17. 09. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Dalo by se ríct, že jako dukazová metoda jsou sémantické stromy v Cesku nepríliš používané, a to i presto, že ve svete je to nejoblíbenejší dukazový systém pro modální logiku [1]. Vedle základního Hilbertova kalkulu se v ...
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
Nemožnost soukromého jazyka
The impossibility of private language
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Kolman, Vojtěch
Datum publikování: 2010
Datum obhajoby: 17. 09. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato práce podrobne rozebírá Wittgensteinovu argumentaci proti sou- kromému jazyku. Nachází tri argumenty, které k jeho zamítnutí Witt- genstein používá. Soukromý jazyk by byl nepredstavitelný, nemel by funkci a postrádal ...
Wittgenstein's argument against private language is subjected to scru- tiny in this thesis. Three arguments against private language are found. Private language would be impossible to imagine, would not have a function and ...
Wittgenstein's argument against private language is subjected to scru- tiny in this thesis. Three arguments against private language are found. Private language would be impossible to imagine, would not have a function and ...
Skolemův paradox v teorii množin
Skolem paradox in set theory
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: Práce se snaží zmapovat historický vývoj Löwenheim-Skolemovy věty od Ernsta Schrödera po Thoralfa Skolema s užitím původní matematické notace. Popisuje důsledek v podobě Skolemova paradoxu a jeho vliv na teorii množin a s ...
This works aims to map the development of the Löwenheim-Skolems the- orem from Ernst Schröder to Thoralf Skolem using original mathematical notation. It describes its consequence in the form of the Skolem paradox and its ...
This works aims to map the development of the Löwenheim-Skolems the- orem from Ernst Schröder to Thoralf Skolem using original mathematical notation. It describes its consequence in the form of the Skolem paradox and its ...