| |
|
Pseudofinite structures
Smolík, Martin ; Krajíček, Jan (vedoucí práce) ; Šaroch, Jan (oponent)
Táto práca je určená pre študentov logiky ktorí sa zaujímajú o teóriu konečných modelov. Práca pojednáva o konštrukcii štruktúr ktoré sú limitami tried konečne generovaných štruktúr- takzvaných pseudokonečných štruktúr. Budeme pojednávať konkrétne o Fraïssého amalgamačnej metóde. Táto metóda je používaná v kombinatorike a teórii konečných modelov a jej zovšeobecnené, Hrushovského metóda bola použitá v geometrickej teórii modelov. Prvá časť práce je teoretická. Nájdeme tam kľúčové pojmy a definície spolu s formuláciami a dôkazmi viet ktoré popisujú Fraïssého metódu a odvodzujú z nej dôsledky. Druhá časť ukazuje niekoľko príkladov použitia tejto metódy. Powered by TCPDF (www.tcpdf.org)
|
|
Anoikonyma a mikroanoikonyma na Žďársku
Foralová, Michaela ; Hájková, Eva (vedoucí práce) ; Janovec, Ladislav (oponent)
Tato diplomová práce se zabývá 375 pomístními jmény (hydronymy, oronymy a pozemkovými jmény) ze Žďárska. Původ 185 anoikonym je z jazykového pohledu zkoumán nově, ostatní názvy jsou převzaty z mojí bakalářské práce. Cílem práce je zjistit, jak daná pomístní jména vznikla. Potřebné informace byly vyhledávány v různých publikacích, odborných časopisech i na internetu. Důležitým zdrojem byly i rozhovory s několika pamětníky, kteří se ve zkoumané oblasti narodili, a konzultace s odborníky v oboru onomastiky. V této práci bylo využito metody sběru, analýzy a interpretace nasbíraných dat. Na základě objasnění původu byla pak anoikonyma rozebírána podle tzv. modelové teorie - byla přiřazována k jednotlivým vztahovým a strukturním modelům či typům. Tato diplomová práce se snaží o systémové uchopení pomístních jmen a jejich zachování budoucím generacím.
|
| |