Hledat
Zobrazují se záznamy 1-6 z 6
Intuitionistic logic and axiomatic theories
Intuicionistické logika a axiomatické teorie
Diplomová práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2010
Datum obhajoby: 16. 09. 2010
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Pr ace zkoum a vlastnosti n ekter ych element arn ch intuicionistick ych teori . Vybr any jsou n asleduj c teorie: teorie rovnosti, line arn ho uspo r ad an , hust eho line arn ho uspo r ad an , teorie n asledn ka, Robinsonova ...
This thesis explores some properties of elementary intuitionistic theories. We focus on the following theories: the theory of equality, linear order, dense linear order, the theory of a successor function, Robinson arithmetic ...
This thesis explores some properties of elementary intuitionistic theories. We focus on the following theories: the theory of equality, linear order, dense linear order, the theory of a successor function, Robinson arithmetic ...
Systémy morfismů nad Gödelovou fuzzy logikou
Systémy morfismů nad Gödelovou fuzzy logikou
Diplomová práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2014
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
Federated learning
Kolaborativní učení
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švarný, Petr
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
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 ...
Ultrapower construction in set theory
Ultramocninová konstrukce v teorii množin
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2011
Datum obhajoby: 22. 09. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
The malfunction concept in complex systems
Pojem malfunkce v komplexních systémech
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2009
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Práce se zabývá konceptem malfunkce a nemoci, které charakterizuje jako neobvyklé či nežádoucí chování daného komplexního systému. Podobnosti a rozdílnosti mezi umělou a přirozenou myslí, jednoduchými a komplexními systémy ...
The paper studies the concept of malfunction or illness, which are characterized by nonstandard or undesirable behaviour of the given complex systems. The parallels and differences between natural and artificial mind, ...
The paper studies the concept of malfunction or illness, which are characterized by nonstandard or undesirable behaviour of the given complex systems. The parallels and differences between natural and artificial mind, ...