|
| |
|
|
Technologie výroby plastového držáku ložisek motoru
Svoboda, Vladimír ; Odehnal, Petr (oponent) ; Kandus, Bohumil (vedoucí práce)
Cílem diplomové práce je na základě zadaného tvaru plastového dílce vypracovat rešerši na technologii vstřikování plastů do forem, provést návrh technologického postupu a konstrukce vstřikovací formy včetně potřebných výpočtů. Projekt obsahuje rešeršní část a část praktickou. Na základě získaných informací z rešeršní části byl zvolen vhodný materiál, které se stal podkladem pro praktickou část práce. Praktická část obsahuje základní technologické výpočty, je doplněna o simulační analýzy plnění a pevnostní výpočty kritických prvků. Součástí práce je výkresová dokumentace.
|
|
| |
|
|
Formalizace usuzování a paradox překvapivé písemky
Nevrkla, Svatopluk ; Svoboda, Vladimír (vedoucí práce) ; Peregrin, Jaroslav (oponent)
Po prezentaci možných přístupů k řešení problému v první kapitole jsem ve druhé kapitole poukázal na Sorensenovu kritiku pokusů interpretovat paradox jinak, než pomocí modálních reprezentací epistemických, či doxastických logik. Třetí kapitola byla věnována představení potřebných pojmů k pochopení Binkleyho přínosu k diskuzi paradoxu. V kapitole čtvrté jsem nakonec ukázal, že pokud se přidržíme výše zmíněného přístupu a idealizujeme si usuzovací schopnosti studenta, je analýza paradoxu, kterou provedl Binkley, korektní. Učitelovo oznámení se nám však zdá intuitivně srozumitelné a důvěryhodné, jelikož sami původně nepředjímáme studentův argument v celé komplexnosti. Pokud se s ním však již jednou ztotožníme, nezbude nám než učitelovo tvrzení odmítnout jako absurdní. Budoucnost možných příspěvků k Paradoxu překvapivé písemky pak vidím ve formalismech, které směřují k popisu explicitních znalostí.
|
|
|
Protokolární a pozorovací věty
Navara, David ; Peregrin, Jaroslav (vedoucí práce) ; Svoboda, Vladimír (oponent)
Tato práce se soustředí na srovnání Carnapova pojetí protokolárních vět a Quineova pojetí pozorovacích vět. Carnapovy práce o protokolárních větách mají kořeny ve 30. letech 20. století. Jeho hlavní myšlenkou bylo provázání vědy se zkušeností a zprostředkování spojení mezi termíny různých vědeckých disciplín. Některé z Carnapových myšlenek zpochybnil Otto Neurath. Ten s Carnapem sdílel fyzikalistický přístup, ale měl odlišný pohled na žádoucí rysy protokolárních vět. V rámci Carnapovy teorie měly protokolární věty odkazovat ke smyslovým charakteristikám fyzického světa. Toto pojetí protokolárních vět se inspirovalo zprávami fyziků či psychologů, ale protokolární věty v carnapovském smyslu mohly být vytvořeny i zvířaty či (pří)stroji. Carnap původně předpokládal také existenci základních, nezpochybnitelných protokolárních vět, jež by měly poskytnout bezpečný základ pro výstavbu vědy. Neurathovy námitky proti takovému názoru přinutily Carnapa upravit jeho vlastní teorii. Carnap se také vzdal svých nadějí na úplnou verifikaci, ale stále doufal, že jeho teorie umožní potvrzení obecných tvrzení tvaru "Každé X je Y." s dostatečným stupněm jistoty. Carnapova teorie musela čelit různým kritickým reakcím. Některé z nejvýznamnějších přinesli Popper, Kuhn, Sellars a Quine. Tato práce stručně pojednává o jejich...
|
|
|
Pravdivost vět o budoucnosti jako logicko-filosofický problém
Kolínská, Marie ; Svoboda, Vladimír (vedoucí práce) ; Bendová, Kamila (oponent)
Věty o nahodilých událostech v budoucnosti představují podle některých logiků a filosofů specifický problém. Mnozí z těch, kteří se jimi dnes i v průběhu minulých staletí zabývali a zabývají, odkazují k názorům Aristotela. Avšak nejednotně. Cílem práce je podat přehled tradičních i netradičních výkladů části Aristotelova textu, která se tomuto tématu věnuje. Na základě jejich srovnání pak nahlédnout, co rozmanitost výkladů způsobuje. Ukáže se pak, že by nám to mohlo pomoct zodpovědět otázku, zda skutečně věty o budoucnosti, oproti větám o minulosti nebo přítomnosti, představují nějaký specifický problém, a v čem přesně tento problém spočívá.
|
|
|
Hareova teze jako logicko-filosofický problém
Luhan, Martin ; Svoboda, Vladimír (vedoucí práce) ; Marvan, Tomáš (oponent)
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 problému, zda lze z imperativ- ních premis odvodit tvrzení. Logická analýza jazyka morálky byla základem etických zkoumání Richarda Harea. Proto jsou nejprve představeny stručné základy jeho filosofie a poté je podrobně představen Hareův přístup ke zkou- mání imperativů. Hare tvrdí, že logika se má preskriptivními vyjádřeními zabývat. V práci je také předložen přehled několika různých sémantik logiky imperativů a některých jejich problémů. Na základě toho je pak analyzováno, je-li Hareova teze, která odvozování tvrzení z imperativních premis zakazuje, přijatelná. Usoudíme, že ve většině případů je rozumné ji odmítnout. Klíčová slova: Logika imperativů, Hareova teze, deontická logika, metaetika
|
|
|
Útoky na počítače, servery a jejich služby
Bitner, Oldřich ; Novák, Jaroslav (vedoucí práce) ; Svoboda, Vladimír (oponent)
NÁZEV: Útoky na počítače, servery a jejich služby ABSTRAKT: Teoretická část bakalářské práce je zaměřena na popsání globálních softwarových útoků na počítačové systémy, servery a jejich služby, způsob provedení nelegálních útoků a dělení útočníků podle jejich znalostí uvedené problematiky. Praktická část bakalářská práce je zaměřena na prověření základní bezpečnosti a odolností fakultních softwarových systémů. KLÍČOVÁ SLOVA: Útoky, útočník, počítač, sever, služba, sociální inženýrství, cizí identita, krádež.
|
|
| |
|
|
Využítí jednodeskových počítačů ve výuce
Pěnkava, Vít ; Svoboda, Vladimír (vedoucí práce) ; Lapeš, Jakub (oponent)
V práci jsou představeny jednodeskové počítače, jejich definice, historie a také speci- fika současných modelů. Spolu s tím je zde přehled pramenů, kde mohou nejen učitelé čerpat informace a tvořit projekty navržené přímo pro tato zařízení. V druhé části je ukázána konfigurace serveru Pinet pro správu připojených jednodeskových počítačů ve školním prostředí, připojení LED a její rozblikání na dvou nejrozšířenějších platformách, jakožto vstupní projekt a následně je zdokumentován komplexnější projekt, který ukazuje mezipředmětové vazby s fyzikou a biologií a složitější konfiguraci na Raspberry Pi. 1
|
host ::
RSS.