|
|
Combinatorics of filters on the natural numbers
Chládek, Alexandr ; Verner, Jonathan (vedoucí práce) ; Grebík, Jan (oponent)
Práce se věnuje kombinatorickým vlastnostem filtrů na přirozených číslech. Obsahuje úvod a motivaci do problematiky mezi definovatelností filtrů a je- jich kombinatorikou, definice základních typů filrů: P-filtr, Q-filtr, Rapid filtr; upořádání: Rudin-Kiesler, Rudin-Blass, Katětov and Tukey; konstrukce filtrů; základní definice z kombinatoriky na ω; úvod do deskriptivní teorie množin, topologie a základní výsledky. 1
|
|
|
Česká a srbská frazeologie: srovnání, aspekty a struktura česko-srbského frazeologického slovníku.
Linda Popović, Snežana ; Čermák, František (vedoucí práce) ; Jirásek, Karel (oponent) ; Krejčí, Pavel (oponent)
Název práce: Česká a srbská frazeologie: srovnání, aspekty a struktura česko-srbského frazeologického slovníku Autor: Mgr. Snežana Linda Popović Katedra: Katedra jihoslovanských a balkanistických studií Školitel: prof. PhDr. František Čermák, DrSc. Abstrakt: Ačkoli se frazeologie stala aktuálním a aktualizovaným tématem a čerpají z ní mnozí lingvisté, což je dáno skutečností, že je naše řeč sestavena z mnoha ustálených a idiomatizovaných konstrukcí, jež si je během studia cizího jazyka nezbytné osvojit, je současně ještě pořád oblastí, kde se lingvisté zatím neshodli na definici její základní jednotky a oblasti zkoumání. Kromě toho je evidentní nesoulad v počtu frazeologických a frazeografických prací v české a srbské jazykovědě. Tato práce si proto vzala za cíl analyzovat českou a srbskou frazeologickou teorii, klasifikace frazémů a frazeografickou praxi, včetně zpracování teoretických východisek k vytvoření překladového frazeologického slovníku a návrh slovníku samotného. Analýza byla provedena v oblasti definování frazémů, jejich formálního rozdělení, ekvivalentů na všech kombinatorických úrovních a vzhledu hesla ve frazeologických slovnících, výkladových a překladových. Výsledky zkoumání potvrdily, že v rámci frazeologie existují oblasti, jež pozornost českých a srbských lingvistů nezaujaly...
|
|
|
Výpočetní složitost problémů kombinatorické optimalizace pro specifické třídy grafů
Masařík, Tomáš ; Fiala, Jiří (vedoucí práce)
Tato diplomová práce se zabývá hranovou značkovatelností grafu v závislosti na parametrech p, q a λ. Pro parametry p = 2 a q = 1 jsme dokázali dichotomii. Tedy, že problém λ′ (2,1)-značkovatelnosti grafu je polynomiální pro λ ≤ 4 a NP- úplný pro λ > 4. Hranice NP-úplnosti se tedy posouvá o jedna oproti vrcholové variantě problému, λ(p,q)-značkovatelnosti grafu, která byla již vyřešena dříve. Pro polynomiální případy získáme poměrně snadnou charakterizaci pomocí kruž- nic a cest rozšířených o několik dalších vrcholů. K NP-převodu využíváme jeden z poměrně klasických NP-úplných problémů Monotónní všude různý 3-SAT. Celý důkaz převodu je rozdělen na čtyři části, neboť kromě rozlišení sudých a li- chých λ, bylo třeba vyvořit ještě speciální převody pro λ = 5 i λ = 6. 1
|
|
|
Testy vědomostí a dovedností v prostředí webových stránek a jejich využití v kombinatorice
Hamáček, Jan ; Robová, Jarmila (vedoucí práce) ; Slavík, Antonín (oponent)
Cílem bakalářské práce je vytvoření testovacího systému v prostředí webo- vých stránek. Vytvořený testovací systém, doplněný o testové úlohy, slouží k samostatné přípravě žáků. Dalším cílem je vytvoření testů na téma kombi- natoriky. Práce obsahuje přehled základních pojmů teorie didaktických testů a vlastností vytvořených testů. Dále obsahuje podrobný návod k vytvoření konkrétního testu za pomoci testovacího systému a krátký popis možností rozšíření testovacího systému. V závěru práce jsou uvedeny příklady vygene- rovaných testů z kombinatoriky a výsledky vyzkoušení testů žáky gymnázia. 1
|
|
|
Výpočetní složitost problémů kombinatorické optimalizace pro specifické třídy grafů
Masařík, Tomáš ; Fiala, Jiří (vedoucí práce) ; Dvořák, Zdeněk (oponent)
Tato diplomová práce se zabývá hranovou značkovatelností grafu v závislosti na parametrech p, q a λ. Pro parametry p = 2 a q = 1 jsme dokázali dichotomii. Tedy, že problém λ′ (2,1)-značkovatelnosti grafu je polynomiální pro λ ≤ 4 a NP- úplný pro λ > 4. Hranice NP-úplnosti se tedy posouvá o jedna oproti vrcholové variantě problému, λ(p,q)-značkovatelnosti grafu, která byla již vyřešena dříve. Pro polynomiální případy získáme poměrně snadnou charakterizaci pomocí kruž- nic a cest rozšířených o několik dalších vrcholů. K NP-převodu využíváme jeden z poměrně klasických NP-úplných problémů Monotónní všude různý 3-SAT. Celý důkaz převodu je rozdělen na čtyři části, neboť kromě rozlišení sudých a li- chých λ, bylo třeba vyvořit ještě speciální převody pro λ = 5 i λ = 6. 1
|
|
|
Kombinatorické úlohy v matematických soutěžích
Kadeřábek, Václav ; Jančařík, Antonín (vedoucí práce) ; Zhouf, Jaroslav (oponent)
Práce pojednává o možnostech rozdělení kombinatorických úloh, které se vyskytují v matematických soutěžích. Obsahuje představení kombinatoriky vyučované na středních školách. Poukazuje na rozdíly mezi řešením úloh ve školách a na matematických soutěžích. Pomocí grafů a tabulek znázorňuje nerovnoměrné rozdělení kombinatorických úloh. Na závěr nabízí typy příkladů, které v soutěžích chybí, nebo jsou tam v nedostatečném počtu.
|
|
|
Matematika na šachovnici
Šperl, Jiří ; Jančařík, Antonín (vedoucí práce) ; Pilous, Derek (oponent)
NÁZEV: Matematika na šachovnici AUTOR: Jiří Šperl KATEDRA (ÚSTAV) Katedra matematiky a didaktiky matematiky VEDOUCÍ PRÁCE: RNDr. Antonín Jančařík, Ph.D. ABSTRAKT: Diplomová práce se zabývá matematickými úlohami v prostředí šachovnice a šacho- vých figur. Jejím cílem je ověření několika typických úloh z hlediska řešení středoško- láka. Tedy ukázat možnosti zařazení šachových úloh do výuky matematiky. V práci najdeme ucelenou sbírku řešených úloh na šachovnici, která se může stát inspirací pro obohacení matematiky netradičními úlohami v tradičním matematickém prostře- dí. Podstatnou část této práce pokrývá vlastní matematický výzkum. Výzkum probíhal formou testování ve třech třídách. Pro větší objektivitu byly vybrány třídy s různým studijním zaměřením. Kromě toho byly tyto třídy v různých věkových kategoriích. Teoretická část práce nahlíží do historie a všímá se několika zajímavých historických úloh řešených na šachovnici. V neposlední řadě se práce věnuje rozboru řešení úloh publikovaných v konkrétní učebnici matematiky. KLÍČOVÁ SLOVA: Kombinatorika, šachovnice, šachové figury, matematika na šachov- nici
|
|
|
Využití logiky v bezpečnosti IT
Švarný, Petr ; Řepa, Václav (vedoucí práce) ; Mařík, Vladimír (oponent)
Tato práce studuje užití dynamických epistemických logik pro zachování důvěrnosti informací. Základem je syntéza tří přístupů: bezpečnostních logiky A. Hommersoma, hodnověrnostní rámce a komunikační logiky A. Baltaga a S. Smets a studie tzv. Ruského karetního problému. V návaznosti na toto je prezentován také praktický model vytvořený v prostředí NetLogo pro ilustraci funkčnosti základních myšlenek.
|
|
| |
|
| |
host ::
RSS.