Hledat
Zobrazují se záznamy 61-80 z 109
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 ...
Interpolation in modal logics
Interpolace v modálních logikách
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pudlák, Pavel
Datum publikování: 2006
Datum obhajoby: 22. 11. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Since Craig's landmark result on interpolation for classical predicate logic, proved as the main technical lemma in [14], interpolation is considered one of the centra! concepts in pure logic. Various interpolation ...
Schönhageho-Strassenův algoritmus a jeho matematické pozadí
Schönhage-Strassen algorithm and the mathematics behind it
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2022
Datum obhajoby: 05. 09. 2022
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
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 ...
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 ...
Algebraic and Kripke semantics of substructural logics
Algebraická a kripkovská sémantika substrukturálních logik
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2011
Datum obhajoby: 22. 09. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kolman, Vojtěch
Datum publikování: 2012
Datum obhajoby: 06. 02. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
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 ...
Problémy komunikace s počítačem v přirozeném jazyce
Communication problems with the computer in natural language
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2010
Datum obhajoby: 04. 02. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Ve své práci se snažím poukázat na to, jak je pochopení přirozeného jazyka složité. A ačkoli jej používáme každý den, není snadné jej jednoduše popsat natož jej přesně matematicky definovat. Ale pokud se chceme bavit s ...
Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2008
Datum obhajoby: 17. 01. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato diplomová práce se zabývá modálními logikami z formálního pohledu. Jsou v ní de novány základní formální systémy a jsou předvedeny hlavní vztahy mezi nimi.
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 ...
Filosofický výklad a možné interpretace Gödelových vět o neúplnosti
Philosophical analysis and possible interpretations of Gödel's incompleteness theorems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Vlasáková, Marta
Datum publikování: 2016
Datum obhajoby: 20. 06. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: ❆❜str❛❦t ❉✐♣❧♦♠♦✈á ♣rá❝❡ s❡ ③❛❜ý✈á r♦③❜♦r❡♠ ♠♦➸♥ý❝❤ ✜❧♦s♦✜❝❦ý❝❤ ✈ý❦❧❛❞➲ ●ö❞❡❧♦✈ý❝❤ ✈➙t ♦ ♥❡ú♣❧♥♦st✐ ❛r✐t♠❡t✐❦② ❛ ❥❡❥✐❝❤ ✐♥t❡r♣r❡t❛❝❡♠✐ ✈ r➲③✲ ♥ý❝❤ ♦❞✈➙t✈í❝❤ ✜❧♦s♦✜❡ ✭❢❡♥♦♠❡♥♦❧♦❣✐❡✱ ❛♥❛❧②t✐❝❦á ✜❧♦s♦✜❡ ♠②s❧✐✱ ❑❛♥✲ t♦✈❛ ...
❆❜str❛❝t ❚❤❡ ❞✐♣❧♦♠❛ t❤❡s✐s ❞❡❛❧s ✇✐t❤ ♣♦ss✐❜❧❡ ♣❤✐❧♦s♦♣❤✐❝❛❧ ❛♥❛❧②s❡s ♦❢ ●ö✲ ❞❡❧✬s ✐♥❝♦♠♣❧❡t❡♥❡ss t❤❡♦r❡♠s ❛♥❞ t❤❡✐r ✐♥t❡r♣r❡t❛t✐♦♥s ✐♥ ❞✐✛❡r❡♥t ❜r❛♥❝❤❡s♦❢♣❤✐❧♦s♦♣❤②✭♣❤❡♥♦♠❡♥♦❧♦❣②✱❛♥❛❧②t✐❝❛❧♣❤✐❧♦s♦♣❤②♦❢♠✐♥❞✱ ❑❛♥t✬s ...
❆❜str❛❝t ❚❤❡ ❞✐♣❧♦♠❛ t❤❡s✐s ❞❡❛❧s ✇✐t❤ ♣♦ss✐❜❧❡ ♣❤✐❧♦s♦♣❤✐❝❛❧ ❛♥❛❧②s❡s ♦❢ ●ö✲ ❞❡❧✬s ✐♥❝♦♠♣❧❡t❡♥❡ss t❤❡♦r❡♠s ❛♥❞ t❤❡✐r ✐♥t❡r♣r❡t❛t✐♦♥s ✐♥ ❞✐✛❡r❡♥t ❜r❛♥❝❤❡s♦❢♣❤✐❧♦s♦♣❤②✭♣❤❡♥♦♠❡♥♦❧♦❣②✱❛♥❛❧②t✐❝❛❧♣❤✐❧♦s♦♣❤②♦❢♠✐♥❞✱ ❑❛♥t✬s ...
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 ...
Generalized Boolean models and classical predicate logic
Zobecněné Booleovské modely a klasická predikátová logika
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: Tato bakalářská práce pojednává o úplných Booleových alge- berách a o jejich užití v semantice prvořádové predikátové logiky. Práce má dva hlavní cíle, v první řadě dokázat, že každá Booleova algebra může být rozšířena na ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-order predicate logic. This thesis has two main goals, at first it is to show that every Boolean al- gebra can be extended ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-order predicate logic. This thesis has two main goals, at first it is to show that every Boolean al- gebra can be extended ...
Platónův dialog Parmenides z hlediska logiky
Plato's Parmenides from a logical point of view
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Vlasáková, Marta
Datum publikování: 2014
Datum obhajoby: 18. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Hlavním tématem této bakalářské práce je takzvaný "Argument třetího člověka". Jedná se o argument, který byl již za Platónova života zformulován a namířen proti jeho teorii idejí. Na tuto kritiku Platón reagoval sepsáním ...
The main subject of my thesis is the so called "Third Man Argument". It is an objection, which appeared already during Plato's life and was raised against Plato's Theory of forms. As a reaction to this argument, Plato wrote ...
The main subject of my thesis is the so called "Third Man Argument". It is an objection, which appeared already during Plato's life and was raised against Plato's Theory of forms. As a reaction to this argument, Plato wrote ...
Selected data mining methods and their applicability to the television audience monitoring data in the Czech Republic
Vybrané metody data miningu a jejich použitelnost na průzkum sledovanosti televize v České republice
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hájek, Petr
Datum publikování: 2006
Datum obhajoby: 27. 09. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Data mining is nowadays a fast-growing field, which incorporates machine learning, statistics, and logic within computer science. It has the potential to bring new insights into almost all branches of human activity, because ...
An abstract study of completeness in infinitary logics
Abstraktní studium úplnosti pro infinitární logiky
Dizertační práce (OBHÁJENO)
Vedoucí práce: Noguera, Carles
Datum publikování: 2018
Datum obhajoby: 04. 10. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této dizertační práci se zabýváme studiem vlastností úplnosti infinitárních výrokových logik z pohledu abstraktní algebraické logiky. Cílem práce je pochopit, jak lze základní nástroj v důkazech uplnosti, tzv. Lindenbaumovo ...
In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called ...
In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called ...
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. ...