Search
Now showing items 21-30 of 42
Aritmetická úplnost logiky R
Arithmetical completeness of the logic R
diploma thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2014
Date of defense: 17. 09. 2014
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Cílem práce bylo s použitím novodobé notace vystavět teorii Rosserovy logiky, vysvětlit do detailu její vztah s Peanovou aritmetikou, ukázat kripkovskou sémantiku a nakonec pomocí autoreference v množném čísle zpracovat ...
The aim of this work is to use contemporary notation to build theory of Rosser logic, explain in detail its relation to Peano arithmetic, show its Kripke semantics and finally using plural self-reference show the proof of ...
The aim of this work is to use contemporary notation to build theory of Rosser logic, explain in detail its relation to Peano arithmetic, show its Kripke semantics and finally using plural self-reference show the proof of ...
Systémy morfismů nad Gödelovou fuzzy logikou
Systémy morfismů nad Gödelovou fuzzy logikou
diploma thesis (DEFENDED)
Advisor: Běhounek, Libor
Date Issued: 2014
Date of defense: 17. 09. 2014
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V práci jsou zavedeny některé velice základní pojmy teorie kategorií budované nad prvořádovou Gödelovou fuzzy logikou (s ostrou rovností a delta operá- torem). Fuzzy varianta klasického pojmu kategorie je uvážena. Následně ...
This work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category ...
This work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category ...
Russellova analýza Peanovy aritmetiky
Russell's analysis of Peano Arithmetic
diploma thesis (DEFENDED)
Advisor: Holeček, Tomáš
Date Issued: 2014
Date of defense: 17. 09. 2014
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Induktivní logika a Vídeňský kroužek
Inductive logic and the Vienna circle
diploma thesis (DEFENDED)
Advisor: Peregrin, Jaroslav
Date Issued: 2009
Date of defense: 17. 09. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce pojednává o induktivní logice spojující koncepty indukce a pravděpodobnosti a jejím rozvinutí v rámci Vídeškého kroužku a jeho okolí. Po historickém uvedení indukce a pravděpodobnosti, jsou zde představeny dva hlavní ...
The subject of this work is inductive logic as a connection of two concepts - probability and induction - which was developed by members of the Vienna Circle and their colleagues. After historical introduction the concepts ...
The subject of this work is inductive logic as a connection of two concepts - probability and induction - which was developed by members of the Vienna Circle and their colleagues. After historical introduction the concepts ...
Aplikace temporálních logik ve fyzice
Aplikace temporálních logik ve fyzice
diploma thesis (DEFENDED)
Advisor: Majer, Ondrej
Date Issued: 2011
Date of defense: 22. 09. 2011
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Jak zprostředkovat středoškolákům širší pohled na logiku
On conveying deeper insight into logic to secondary school students
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2007
Date of defense: 28. 05. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Classification of (in)finitary logics
Klasifikace (in)finitárních logik
diploma thesis (DEFENDED)
Advisor: Noguera, Carles
Date Issued: 2015
Date of defense: 08. 09. 2015
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Posouzení výhod a nevýhod OOP databází vzhledem k relačním databázím
Comparison of advantages and disadvantages OOP databases against relational databases
diploma thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2009
Date of defense: 29. 05. 2009
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Existují různé přístupy k modelování bází dat. V této práci se snažím identifikovat silná a slabá místa aktuálně používaných databázových technologii. Ať už to jsou klasické relační databáze, tak databáze, které používají ...
There exists different approaches on database modeling. This work tries to identify strengths and weaknesses of nowadays technologies. Besides relational databases, object oriented databases, and methods to combine the ...
There exists different approaches on database modeling. This work tries to identify strengths and weaknesses of nowadays technologies. Besides relational databases, object oriented databases, and methods to combine the ...
Algebraic and Kripke semantics of substructural logics
Algebraická a kripkovská sémantika substrukturálních logik
diploma thesis (DEFENDED)
Advisor: Bílková, Marta
Date Issued: 2011
Date of defense: 22. 09. 2011
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce se zabývá distributivním Lambekovým kalkulem, tedy intuicionistickou logikou bez pravidel záměny, kontrakce a oslabení, a především dvěma různými sé- mantikami této logiky, totiž sémantikou algebraickou a ...
This thesis is about the distributive full Lambek calculus, i.e., intuicionistic logic without the structural rules of exchange, contraction and weakening and particularly about the two semantics of this logic, one of which ...
This thesis is about the distributive full Lambek calculus, i.e., intuicionistic logic without the structural rules of exchange, contraction and weakening and particularly about the two semantics of this logic, one of which ...
Počátky analýzy modalit v moderní logice
The beginnings of analysis of modalities in modern logic
diploma thesis (DEFENDED)
Advisor: Kolman, Vojtěch
Date Issued: 2012
Date of defense: 06. 02. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found