|
|
Posouzení výhod a nevýhod OOP databází vzhledem k relačním databázím
Polák, Robert ; Jirků, Petr (vedoucí práce) ; Duží, Marie (oponent)
Existují různé přístupy k modelování bází dat. V této práci se snažím identifikovat silná a slabá místa aktuálně používaných databázových technologii. Ať už to jsou klasické relační databáze, tak databáze, které používají objektově orientované principy, či přístupy jak zkombinovat svět objektů se světem tabulek relačních databází. Poslední část je věnována návrhu metodiky pro vývoj informačních systémů pomocí technologie, kombinující objektový a relační přístup tak, že realizuje objektový přístup k datům prostředky relační databáze.
|
|
|
The malfunction concept in complex systems
Švarný, Petr ; Jirků, Petr (vedoucí práce) ; Peregrin, Jaroslav (oponent)
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 se ukáží jako důležité s ohledem na závěr, že duševní choroby nemusí být omezeny jen na lidksou mysl.
|
|
|
Selected data mining methods and their applicability to the television audience monitoring data in the Czech Republic
Walter, Jan ; Hájek, Petr (vedoucí práce) ; Jirků, Petr (oponent)
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 the data are stored almost everywhere. This thesis tries to show the main aspects of the original Czech method Guha, to demonstrate its strength via its application to television audience data, and finally to compare it with the association rules method, which is similar to it. The ambition of this text is to interconnect the world of praxis with the theoretical field, where methods are invented. It also serves as an introduction to data mining itself. The results show that Guha is a full-value method with several interesting features and might be a good tool for extracting knowledge from analyzed data.
|
|
| |
|
|
Podnikatelský plán pekařství
Jirků, Petr ; Krause, Josef (vedoucí práce) ; Kubíčková, Klára (oponent)
Cílem této bakalářské práce je sestavení konkrétního podnikatelského plánu na pekařství se sortimentem pečiva z celozrnné mouky a zjistit, zda je projekt výhodný k realizaci. První část práce se věnuje teorii. Popisuje základní pojmy podnikání, rozebírá strukturu podnikatelského plánu a objasňuje zásady při jeho vypracování. Vysvětluje také specifické požadavky na podnikání v tomto oboru. Druhá část je orientovaná prakticky a aplikuje teoretické poznatky z první části. Obsahuje sestavený podnikatelský plán včetně účelu dokumentu, popisu podnikatelské příležitosti, cílů firmy, potenciálních trhů, analýzy konkurence, marketingové a obchodní strategie, realizačního projektového plánu a finančního plánu. Práce je přínosná tím, že slouží jako podklad pro rozhodnutí, zda vstoupit na tento trh.
|
|
|
Významné směry v umělé inteligenci
Šudoma, Petr ; Jirků, Petr (vedoucí práce) ; Peliš, Michal (oponent)
Práce studuje deskripční logiky jako metodu reprezentace znalostí umělé inteligence, popisuje historický vývoj reprezentace znalostí vedoucí k vzniku deskripčních logik a srovnává jejich výhody a nevýhody se systémy rámců, z kterých deskripční logiky vznikly. Práce představuje formální syntaxi a sémantiku, zavádí pojmovou systematiku deskripčních logik a popisuje algoritmy pro nejčastěji používané odvozovací úlohy na deskripčních logikách, pro subsumpci a konzistenci. Práce se zabývá i problematikou výpočtové složitosti těchto algoritmů v závislosti na konkrétní použité deskripční logice. Práce ukazuje výhody i další potenciál deskripčních logik. Powered by TCPDF (www.tcpdf.org)
|
|
|
Propedeutika logiky v rámci výuky základů společenských věd
Grulich, Tomáš ; Bendová, Kamila (vedoucí práce) ; Jirků, Petr (oponent) ; Sousedík, Prokop (oponent)
NÁZEV: Propedeutika logiky v rámci výuky základů společenských věd AUTOR: Tomáš Grulich KATEDRA (ÚSTAV) Katedra občanské výchovy a filosofie Pedagogické fakulty Univerzity Karlovy v Praze ŠKOLITELKA: RNDr. Kamila Bendová, CSc. ABSTRAKT: Práce na pomezí filosofie a logiky, zabývající se smyslem, účelem a možným pojetím výuky elementární logiky v rámci předmětu základů společenských věd. V počátečním dialogickém založení logiky, pozdější disputační technice a v současné podobě teorie argumentace a moderní formální logiky hledá momenty, které by byly sto založit takový způsob její propedeutiky, který by jednak splňoval očekávání, jež jsou na ni kladena ze strany běžné argumentace v občanských i odborných záležitostech, jednak zajistil její otevřenost k dalšímu případnému rozvoji a speciálnímu využití v jednotlivých vědních oborech. Záměrem je naplňování étosu logiky dialogu: poskytnout oporu pro vytváření dobře odůvodněných názorů a přání. Klade otázku jak zůstat v prostředí přirozeného jazyka a současně využít ideje a nástroje, které formální logika racionálnímu usuzování poskytuje. Odpověď nalézá v pojmu sémantického závazku, na němž buduje výklad tradičního i moderního logického aparátu. Doplňuje ji návrhem tzv. exempel, příkladů určených k ukotvení stěžejních tezí a sehrávajících úlohu uzlových bodů v síti...
|
|
|
Logic, form and argument
Nevrkla, Svatopluk ; Jirků, Petr (vedoucí práce) ; Gahér, František (oponent) ; Šefránek, Ján (oponent)
Cílem mé disertace je obhájit a vysvětlit tezi, že tradiční logická analýza není vhodným nástrojem ke zkoumání argumentace v přirozeném jazyce. Nejčastější kritika formální logiky jako nástroje pro analýzu přirozeného jazyka je obvykle založena na poukázování na podstatné rozdíly mezi strukturou a sémantikou jazyků přirozených a jazyků logických formalismů. V tom však nevidím hlavní zdroj problémů. Podle mého úsudku je daleko zásadnějším problémem, že tradiční logická analýza často vychází z problematických epistemologických předpokladů, které analytická filosife zdědila z empiristicko- positivistické tradice. Jedná se především o pozitivistickou verzi klasického modelu racionality, jako deduktivního usuzování z nějaké báze bezprostředně ověřitelných a nepochybných poznatků. Přesvědčení, že každou rozumnou argumentaci lze redukovat na dedukci takového druhu je tím, co má ospravedlnit tradiční logickou analýzu. Můj přínos spočívá především v prokázání toho, že nezměníme-li zásadně tato východiska, pak nám pranic nepomůže, budeme-li zkoušet argumentaci v přirozeném jazyce analyzovat pomocí nových a přesnějších logických formaismů. Problém tedy není ani tak v samotném nástroji, jako spíše ve způsobu jeho užití. Pokud dostatečně zreflektujeme roli demonstrativního usuzování pro argumentaci jako...
|
|
|
Imaginace nekonečna
Semerád, Martin ; Pauza, Miroslav (vedoucí práce) ; Sak, Petr (oponent) ; Jirků, Petr (oponent)
česky Tato práce se zaobírá základní otázkou moderní vědy a sice její neomylností. Kvalita vzdělávání a poznání není posuzována a prověřována sokrotovským dialogem, ale je redukována na vyhodnocování konformity a shody s obecně přijímanými poznatky, otázka kvality splývá s vyčíslením kvantitavního určení. Zárodky tohoto dlouhodobého procesu vedou do starodávné akademie Gondišapur, která povstala v arabském světě po uzavření tradičních řeckých škol. Autor nalézá hlavní cíl i úkol filosofie v poukazování na to, že není jen jeden možný způsob kodifikovaného myšlení a současně též ukazuje sílu fonomenologické metody důslečně provedené epoché - uzávorkování krajiny známosti - a sice tak, že je možno překonat všeobecně uznávanou pravdu v její dogmatické strnulosti. Protože "tvrdé jádro" moderní positivistické vědy je možno nalézat v matematice a i mnoho myslitelů považuje matematiku za oblast skutečné jistoty (podle které je třeba vystavět i ostatní poznání, tzv. more geometrico) - je i hlavním cílem práce prokázat, že dnešní matematika je všechno možné, jen ne bezrozporným způsobem myšlení. Konkrétním příkladem je neplatnost Pythagorovy věty v dnešní matematice a dále důsledně provedený součet nekonečné geometrické řady - který vede k jinému výsledku, než jak je v klasické matematice uváděno. Tato práce...
|
|
|
Logika dokazatelnosti a její filozofická reflexe
Filippi, Jan ; Švejdar, Vítězslav (oponent) ; Jirků, Petr (vedoucí práce)
V matematické části je zpracováno téma autoreference v aritmetice. Při úvahách i důkazech je užit vyšší programovací jazyk, což umožňuje dospět ke známým výsledkům Gödela, Rossera a Löba přirozeným způsobem. V závěru je formulován další podobný problém a návrhy jeho řešení. Ve filozofické části jsou diskutovány paralely výsledků logiky dokazatelnosti v humanitních vědách. Je zkoumán rozpor mezi determinismem a existencí svobodné vůle a co k tomuto rozporu může říci teorie algoritmů.
|
host ::
RSS.