Hledat
Zobrazují se záznamy 1-5 z 5
Fuzzifikace jednoduchých systémů deontické logiky
Fuzzification of simple systems of deontic logic
Diplomová práce (OBHÁJENO)
Vedoucí práce: Běhounek, Libor
Datum publikování: 2006
Datum obhajoby: 27. 09. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Deontické logiky bývají formalizovány jako druh modálních logik. V této práci aplikuji fuzzy modální logiku na dvojí systémy monadick ých deontických logik - systémy deontické logiky v užším smyslu a systémy alethické ...
Nerozhodnutelnost struktury racionálních čísel
The undecidability of the field of rationals
Diplomová práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2006
Datum obhajoby: 27. 09. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Otázka rozhodnutelnosti, tj. otázka, zda existuje algoritmus, který by byl schopen rozhodnout o platnosti každé prvořádové predikátové formule, se dostala na výsluní pozornosti matematiků ve dvacátých letech minulého ...
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 ...
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 ...
Nerozhodnutelnost struktury racionálních čísel
The undecidability of the field of rationals
Rigorózní práce (UZNÁNO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2006
Datum obhajoby: 03. 11. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Otázka rozhodnutelnosti, tj. otázka, zda existuje algoritmus, který by byl schopen rozhodnout o platnosti každé prvořádové predikátové formule, se dostala na výsluní pozornosti matematiků ve dvacátých letech minulého ...