Search
Now showing items 1-10 of 13
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 ...
Důkazy v přirozené dedukci a sekventovém kalkulu v substrukturální logice FL
Proofs in natural deduction and sequent system in substructural logic FL
bachelor thesis (DEFENDED)
Advisor: Bílková, Marta
Date Issued: 2011
Date of defense: 10. 02. 2011
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract not found
Frege a Husserl o objektivitě
Frege and Husserl on Objectivity
bachelor thesis (DEFENDED)
Advisor: Peregrin, Jaroslav
Date Issued: 2012
Date of defense: 19. 09. 2012
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Bakalářská práce se zabývá raným dílem významných logiků a filo- sofů Gottloba Frega a Edmunda Husserla na přelomu 19. a 20. století. Především se věnuje jejich řešení objektivity aritmetiky a objektivity jako takové. ...
This bachelor thesis is concerned with early works of significant logi- cians and philosophers Gottlob Frege and Edmund Husserl at the turn of the nineteenth and the twentieth centuries. Most importantly, it deals with ...
This bachelor thesis is concerned with early works of significant logi- cians and philosophers Gottlob Frege and Edmund Husserl at the turn of the nineteenth and the twentieth centuries. Most importantly, it deals with ...
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 ...
Federated learning
Kolaborativní učení
bachelor thesis (DEFENDED)
Advisor: Švarný, Petr
Date Issued: 2023
Date of defense: 16. 06. 2023
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: for thesis Federated learning by Martin Georgiu The remarkable advancements in machine learning in recent years have been unprece- dented, yet the constant need for more and more data to train artificial neural networks ...
pro práci Federated learning od Martina Georgiu Pokrok v oblasti strojového učení v posledních letech byl bezprecedentní, přesto je stále potřeba stále více dat pro trénování umělých neuronových sítí (artificial neural ...
pro práci Federated learning od Martina Georgiu Pokrok v oblasti strojového učení v posledních letech byl bezprecedentní, přesto je stále potřeba stále více dat pro trénování umělých neuronových sítí (artificial neural ...
Forma, tvar a myšlení moderního robota
Form, design and thinking of the modern robot
bachelor thesis (DEFENDED)
Advisor: Jirků, Petr
Date Issued: 2008
Date of defense: 29. 09. 2008
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: V této práci bych rád podal popis robota jakožto stroje jak po fyzické, tak po psychické stránce. Budu postupovat od toho, jak by měl vypadat na první pohled a jaké by měl mít funkce, přes úvahu o struktuře konstrukční ...
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 ...
Generalized Boolean models and classical predicate logic
Zobecněné Booleovské modely a klasická predikátová logika
bachelor thesis (DEFENDED)
Advisor: Honzík, Radek
Date Issued: 2013
Date of defense: 27. 06. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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 ...
Ultrapower construction in set theory
Ultramocninová konstrukce v teorii množin
bachelor thesis (DEFENDED)
Advisor: Honzík, Radek
Date Issued: 2011
Date of defense: 22. 09. 2011
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Předložená práce obsahuje historii vzniku míry, její souvislost s měřitelnými kardinály a shrnutí všech základních definic a pojmů potřebných k zobecnění ultramocninové konstrukce v teorii modelů pro vlastní třídy. Součástí ...
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in ...
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in ...
Probabilistické algoritmy pro prvočíselnost
Probabilistic algorithms for testing primality
bachelor thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2013
Date of defense: 19. 09. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Ačkoli v poslední době byla pozornost upřena především na nový deterministický algoritmus pro testování prvočíselnosti AKS, pravděpodobnostní algoritmy zůstávají efektivním nástrojem pro testování prvočíselnosti. Naše práce ...
Attention has been paid mostly to the new deterministic algorithm for primality testing AKS recently. However, probabilistic algorithms remain an efficient tool for primality testing. Our thesis focuses mostly on two most ...
Attention has been paid mostly to the new deterministic algorithm for primality testing AKS recently. However, probabilistic algorithms remain an efficient tool for primality testing. Our thesis focuses mostly on two most ...