Search
Now showing items 1-10 of 113
Hareova teze jako logicko-filosofický problém
Hare's thesis as a logical and philosophical problem
diploma thesis (DEFENDED)
Advisor: Svoboda, Vladimír
Date Issued: 2012
Date of defense: 28. 06. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Název práce: Hareova teze jako logicko-filosofický problém Autor: Martin Luhan Katedra (ústav): Katedra logiky Vedoucí diplomové práce: PhDr. Vladimír Svoboda, CSc. Abstrakt: Práce je věnována rozboru Hareovy teze, tedy ...
Title: Hare's thesis as a logical and philosophical problem Author: Martin Luhan Department: Department of Logic Supervisor: PhDr. Vladimír Svoboda, CSc. Abstract: The present work is aiming to analyse the problem of ...
Title: Hare's thesis as a logical and philosophical problem Author: Martin Luhan Department: Department of Logic Supervisor: PhDr. Vladimír Svoboda, CSc. Abstract: The present work is aiming to analyse the problem of ...
Usuzování s nekonzistentními informacemi
Usuzování s nekonzistentními informacemi
dissertation thesis (DEFENDED)
Advisor: Bílková, Marta
Date Issued: 2018
Date of defense: 27. 06. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato dizertační práce studuje extenze čtyřhodnotové Belnapovy-Dunnovy logiky, tzv. superbelnapovské logiky, z pohledu abstraktní algebraické logiky. Popisujeme v ní globální strukturu svazu superbelnapovských logik a ukazu- ...
This thesis studies the extensions of the four-valued Belnap-Dunn logic, called super-Belnap logics, from the point of view of abstract algebraic logic. We describe the global structure of the lattice of super-Belnap logics ...
This thesis studies the extensions of the four-valued Belnap-Dunn logic, called super-Belnap logics, from the point of view of abstract algebraic logic. We describe the global structure of the lattice of super-Belnap logics ...
Otázky na hraně smysluplnosti v analytické filosofii
Questions bordering on meaninglessness in analytical philosophy
bachelor thesis (DEFENDED)
Advisor: Arazim, Pavel
Date Issued: 2018
Date of defense: 20. 09. 2018
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: An objective of classical analytical philosophy was to define a philosopher proposition via modern logics. Because of that, they started to examine what is and what is not a meaningful question which it makes sense to ...
Klasická analytická filosofie se pomocí moderní logiky snažila vymezit, co je a co není smysluplný výrok a díky tomu také, co je a co není dobře položená otázka, na kterou má smysl hledat odpověď. Logičtí pozitivisté jako ...
Klasická analytická filosofie se pomocí moderní logiky snažila vymezit, co je a co není smysluplný výrok a díky tomu také, co je a co není dobře položená otázka, na kterou má smysl hledat odpověď. Logičtí pozitivisté jako ...
Logické spojky v postojové analýze
Logical connectives in sentiment analysis
diploma thesis (DEFENDED)
Advisor: Kuboň, Vladislav
Date Issued: 2015
Date of defense: 08. 09. 2015
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Koza and Prolog
Koza a Prolog
bachelor thesis (DEFENDED)
Advisor: Švarný, Petr
Date Issued: 2015
Date of defense: 11. 02. 2015
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato práce uvádí vztah umělé inteligence ke genetickému pro- gramování a některé vlastnisti logického programování. Hlavním cílem práce ovšem je naprogramovat algoritmus genetrického programování. Tento program operuje s ...
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm ...
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm ...
Logická analýza a forma tvrzení typu "to-a-to existuje"
The logical analysis and the logical form of the statements "A exists"
dissertation thesis (DEFENDED)
Advisor: Materna, Pavel
Date Issued: 2008
Date of defense: 19. 05. 2008
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Cílem této práce bylo nalézt vhodnou logickou formu pro tvrzení typu "to-a-to existuje". Nejprve byl proveden rozbor významu těchto tvrzení založený na historickém přístupu. Na jeho základě byla stanovena východiska ...
The thesis investigates the logical form of the statements "so-and-so exists". Firstly, the historical survey was displayed in order to identify the meaning of this sort of statements. Hence starting conditions ...
The thesis investigates the logical form of the statements "so-and-so exists". Firstly, the historical survey was displayed in order to identify the meaning of this sort of statements. Hence starting conditions ...
Bezestrojová charakterizace polynomiálně počitatelných funkcí
Machine-Free Characterization of Polynomially Computable Functions
bachelor thesis (NOT DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2016
Date of defense: 14. 09. 2016
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato bakalářská práce se zabývá sestavením Matematického systému. Tento systém je pečlivě vypracovaný, tak aby byl uzavřený na funkce, které v něm figurují. Je vytvořen tak, aby pokryl funkce určitého růstu. Konkrétně ...
This work is focused into constructing mathematical structure. This structure is closed under it's operations. Structure was developed to contain all functions of certain growth rate. To be More specific functi- ons with ...
This work is focused into constructing mathematical structure. This structure is closed under it's operations. Structure was developed to contain all functions of certain growth rate. To be More specific functi- ons with ...
Radikální interpretace, pravda, objektivita
Radical interpretation, truth, objectivity
bachelor thesis (DEFENDED)
Advisor: Koťátko, Petr
Date Issued: 2013
Date of defense: 27. 06. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Nikdo se nemůže mýlit ve většině toho, co si myslí o světě. Jaké má důvody tohle Donald Davidson tvrdit? Tato práce se zabývá spojením tří důležitých témat Davidsonova myšlení - radikální interpretace, pravdy a objektivity. ...
Nobody can be wrong in majority of his beliefs about the world. What reasons has Donald Davidson for this claim? This paper is concerned with the connection between three important topics in Davidson's thought - radical ...
Nobody can be wrong in majority of his beliefs about the world. What reasons has Donald Davidson for this claim? This paper is concerned with the connection between three important topics in Davidson's thought - radical ...
Dynamické epistemické logiky
Dynamic epistemic logics
diploma thesis (DEFENDED)
Advisor: Bílková, Marta
Date Issued: 2012
Date of defense: 19. 09. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V této práci se budeme zabývat logikou veřejného prohlášení, která je dynamickým rozšířením epistemické logiky. Nejprve vyložíme logiku pravdivého veřejného prohlášení pro multiagentní systém S5, a poté budeme zkoumat, jak ...
In this thesis we will deal with the logic of public announcement which is a dynamic extension of epistemic logic. First we will explain the logic of truthful public announcement for the multiagent S5 system. Then we will ...
In this thesis we will deal with the logic of public announcement which is a dynamic extension of epistemic logic. First we will explain the logic of truthful public announcement for the multiagent S5 system. Then we will ...
Structural aspects of aesthetic visualinformation processing
Struktuální aspekty zpracování vizuální informace s estetickou složkou
dissertation thesis (DEFENDED)
Advisor: Nešetřil, Jaroslav
Date Issued: 2022
Date of defense: 10. 05. 2022
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Univerzita Karlova Filozofická fakulta Katedra logiky Obor: Logika Strukturální aspekty zpracování vizuální informace s estetickou složkou Structural aspects of aesthetic visual information processing Abstract Mgr. Veronika ...
Univerzita Karlova Filozofická fakulta Katedra logiky Obor: Logika Strukturální aspekty zpracování vizuální informace s estetickou složkou Structural aspects of aesthetic visual information processing Abstrakt Mgr. Veronika ...
Univerzita Karlova Filozofická fakulta Katedra logiky Obor: Logika Strukturální aspekty zpracování vizuální informace s estetickou složkou Structural aspects of aesthetic visual information processing Abstrakt Mgr. Veronika ...