Search
Now showing items 11-20 of 65
Pojem interpretace axiomatických teorií
The notion of interpretation between axiomatic theories
bachelor thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2023
Date of defense: 13. 09. 2023
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Thesis: The Notion of Interpretation between Axiomatic Theories Author: Jan Štefanišin Abstract: In this thesis we are researching the concept of intepretability between axiomatic theories and its basic properties and its ...
Práce: Pojem interpretace axiomatických teorií Autor: Jan Štefanišin Abstrakt: V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základními vlastnostmi ...
Práce: Pojem interpretace axiomatických teorií Autor: Jan Štefanišin Abstrakt: V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základními vlastnostmi ...
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 ...
Implikační fragmenty intuicionistické výrokové logiky
Implicational fragments of intuitionistic propositional logic
bachelor thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2010
Date of defense: 17. 09. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V predloženej práci študujeme implikačné fragmenty intuicionistickej výrokovej logiky s konečným počtom atómov. V prvej časti sa podrobnejšie venujeme fragmentu s dvomi atómami, ktorý je dostatočne jednoduchý, aby v ňom ...
In this thesis we study implicational fragments of intuitionistic propositional logic with finite number of atoms. The first part is dedicated to the fragment with only two atoms, which is simple enough to analyze the ...
In this thesis we study implicational fragments of intuitionistic propositional logic with finite number of atoms. The first part is dedicated to the fragment with only two atoms, which is simple enough to analyze the ...
Impredikativita a paradox
Impredicativity and paradox
bachelor thesis (DEFENDED)
Advisor: Kolman, Vojtěch
Date Issued: 2010
Date of defense: 17. 09. 2010
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V předložené práci studujeme roli pojmu impredikativity v návrzích řešení episte- mologických a logických paradoxů. Věnujeme se vývoji tohoto pojmu tak, jak se na něm v první fázi podíleli Russell a Poincaré. Představujeme ...
In the submitted thesis a role is examined of the concept of impredicativity in solu- tion suggestions for epistemological and logical paradoxes. We focus on the develo- pment of this concept in the way Russell and Poincaré ...
In the submitted thesis a role is examined of the concept of impredicativity in solu- tion suggestions for epistemological and logical paradoxes. We focus on the develo- pment of this concept in the way Russell and Poincaré ...
Posibilistická logika a filosofie Davida Huma
Possibilistic logic and the philosophy of David Hume
bachelor thesis (DEFENDED)
Advisor: Holeček, Tomáš
Date Issued: 2007
Date of defense: 25. 06. 2007
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Práce se zabývá slučitelností posihilistické logiky a filosofie Davida Huma, popsané v jeho knize Zkoumání o lidském rozumu. Posibilistická logika jako nástroj pro usuzování za nejistoty se ukazuje jako vhodná pro modelování ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
This paper presents an enquiry in to possibilistic logic and Hume's philosophy ofAn Enquiry Concerning Hwnan Understanding. As far as being a tool for reasoning under uncertainty possibilistic logic seems to be an appropriate ...
Pojem ideálu a filtru v algebře a logice
Ideals and filters in algebra and logic
bachelor thesis (DEFENDED)
Advisor: Honzík, Radek
Date Issued: 2013
Date of defense: 27. 06. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
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 ...
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Probabilistic semantics for Independence-friendly Logics
bachelor thesis (DEFENDED)
Advisor: Majer, Ondrej
Date Issued: 2013
Date of defense: 18. 09. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: (č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 ...
Získávání znalostí z databází
Data mining
bachelor thesis (DEFENDED)
Advisor: Peliš, Michal
Date Issued: 2013
Date of defense: 18. 09. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Schönhageho-Strassenův algoritmus a jeho matematické pozadí
Schönhage-Strassen algorithm and the mathematics behind it
bachelor thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2022
Date of defense: 05. 09. 2022
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Thesis name: Schönhage-Strassen algorithm and the mathematics behind it Author: Valentina Jelínková Department: Katedra Logiky Supervisor: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: This thesis deals with the Schönhage-Strassen ...
Název práce: Schönhageho-Strassenův algoritmus a jeho matematické pozadí Autor: Valentina Jelínková Katedra: Katedra Logiky Vedoucí: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: Práce se zabývá Schönhageho-Strassenovým ...
Název práce: Schönhageho-Strassenův algoritmus a jeho matematické pozadí Autor: Valentina Jelínková Katedra: Katedra Logiky Vedoucí: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: Práce se zabývá Schönhageho-Strassenovým ...