|
| |
|
|
Modely aritmetických a bohatých teorií
Glivický, Petr ; Mlček, Josef (vedoucí práce) ; Vopěnka, Petr (oponent)
V předložené práci formulujeme problematiku oboru peanovských součinů (na daném modelu Presburgerovy aritmetiky (Pr)) jakožto potenciálně možného základu pro konstrukci modelů Peanovy aritmetiky (PA). Tato problematika je speciálním případem fenoménu prezentace, který úzce souvisí s pojmem bohaté teorie. Dále se zabýváme jednou ze základních otázek o oboru peanovských součinů, totiž problémem, zda na daném modelu M |= Pr mohou existovat dva peanovské součiny (· , ) shodující se na nějakém slicu a M: (x)(a·x = ax) a přitom různé pod a: (c, d < a)(c·d 6=c d). Tento problém převedeme na otázku, zda eliminační množina lineární aritmetiky (LA) je podmnožinou množiny existenčních formulí. Úplnou odpověď na tuto otázku v práci nepodáme, dokážeme pouze, že formule tvaru (x)(z1, z2) , kde je konjunkce rovností termů, je ekvivalentní s existenční. Naznačíme, že otázka eliminace v LA je podstatně těžší než v Pr či v teorii modulů a ukážeme, že souvisí s problémem popisu konečně generovaných podmonoidů Z. Přitom zavedeme pojmy (regulární množina, standardní racionalita, zubatice, . . .) a metody, které, jak věříme, budou podstatné pro případné budoucí rozřešení tohoto problému.
|
|
| |
|
|
Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis
Glivický, Petr ; Mlček, Josef (vedoucí práce) ; Vopěnka, Petr (oponent) ; Zlatoš, Pavol (oponent)
disertační práce Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu Petr Glivický Jsme motivováni otázkou vztahu lokálních a globálních vlastností operace o ve struktuře tvaru B, o s ohledem na aplikaci pro studium modelů B, · Peanovy aritmetiky, kde B je model aritmetiky Presburgerovy. Zajímá nás zejména problém závislosti, který formulujeme jako otázku určení uzávěru závislosti iclO (E) = {d ∈ Bn ; (∀o, o ∈ O)(o E = o E ⇒ o(d) = o (d))}, kde B je struktura, O množina n-árních operací na B a E ⊆ Bn. Ukážeme, že tento problém lze převést na otázku definovatelnosti v jisté expanzi B. Speciálně, je-li B saturovaný model Presburgerovy aritmetiky a O množina všech (saturovaných) peanovských součinů na B, dokážeme, že pro a ∈ B je iclO ({a} × B) nejmenší možný, tj. obsahující právě ty dvojice (d0, d1) ∈ B2, kde jedno z di je tvaru p(a) pro nějaký polynom p ∈ Q[x]. Uvedená problematika úzce souvisí s deskriptivní analýzou lineárních teorií, což jsou (až na změnu jazyka) teorie jistých diskrétně uspořádaných modulů nad určitými diskrétně uspořádanými obory integrity. Dokážeme tvrzení o eliminaci kvantifikátorů v lineárních teoriích a nalezneme prvomodely jejich...
|
|
| |
|
|
Modely aritmetických a bohatých teorií
Glivický, Petr ; Vopěnka, Petr (oponent) ; Mlček, Josef (vedoucí práce)
V předložené práci formulujeme problematiku oboru peanovských součinů (na daném modelu Presburgerovy aritmetiky (Pr)) jakožto potenciálně možného základu pro konstrukci modelů Peanovy aritmetiky (PA). Tato problematika je speciálním případem fenoménu prezentace, který úzce souvisí s pojmem bohaté teorie. Dále se zabýváme jednou ze základních otázek o oboru peanovských součinů, totiž problémem, zda na daném modelu M |= Pr mohou existovat dva peanovské součiny (· , ) shodující se na nějakém slicu a M: (x)(a·x = ax) a přitom různé pod a: (c, d < a)(c·d 6=c d). Tento problém převedeme na otázku, zda eliminační množina lineární aritmetiky (LA) je podmnožinou množiny existenčních formulí. Úplnou odpověď na tuto otázku v práci nepodáme, dokážeme pouze, že formule tvaru (x)(z1, z2) , kde je konjunkce rovností termů, je ekvivalentní s existenční. Naznačíme, že otázka eliminace v LA je podstatně těžší než v Pr či v teorii modulů a ukážeme, že souvisí s problémem popisu konečně generovaných podmonoidů Z. Přitom zavedeme pojmy (regulární množina, standardní racionalita, zubatice, . . .) a metody, které, jak věříme, budou podstatné pro případné budoucí rozřešení tohoto problému.
|
|
|
Srovnání ontogenetického a fylogenetického vývoje porozumění jevu nekonečno v geometrickém kontextu
Krátká, Magdalena ; Vopěnka, Petr (vedoucí práce) ; Novotná, Jarmila (oponent) ; Potůček, Jiří (oponent)
Nekonečno, ať to matematické, filozofické nebo teologické, fascinovalo a fascinuje lidstvo od počátků utváření vědeckého myšlení dodnes. Mnoho matematiků se nechalo omámit slastným pocitem toho, kdo rozřešil záhadu, když filozofovali nad problémy založenými na nekonečnu. Stejný pocit mohou zažít dnešní studenti, když znovu objevují překvapivé vlastnosti nekonečného. Podobné pocity jsem měla při studiu matematické analýzy, teorie množin nebo Zénónových aporií i já. Asi právě proto jsem se rozhodla zabývat se ve své disertační práci nekonečnem. Protože mám i zálibu v historii matematiky a měla jsem to štěstí pracovat pod vedením profesora Petra Vopěnky, bylo nasnadě zaměřit práci právě na srovnání ontogenetického a fylogenetického vývoje porozumění nekonečnu. Práce je rozdělena do 5 kapitol. V elektronické verzi je navíc doplněna o rejstřík pojmů. V první kapitole představuji argumenty pro i proti srovnávání fylogenetického a ontogenetického kognitivního vývoje. Druhá kapitola je exkurzem do historie matematiky se zaměřením na nekonečno, speciálně na výklady bodu, přímky a kontinua a jevů s tím souvisejících. Obsahuje postřehy o pojetí nekonečna od dob antické matematiky až po Cantorovu teorii množin. Tato kapitola mi jednak umožňuje vytypovat hlavní zdroje epistemologických překážek a dále konstruovat...
|
|
| |
|
|
Monitoring a modelování reakce lesa na znečištění ovzduší a acidifikaci půd
Ústav pro výzkum lesních ekosystémů, s.r.o., Jílové u Prahy ; Procházka, Dušan ; Michalec, Miroslav ; Skořepová, Irena ; Tesař, Miroslav ; Fottová, Daniela ; Cudlín, Pavel ; Vopěnka, Petr ; Holá, Šárka ; Cienciala, Emil ; Beranová, Jana ; Černý, Martin
Cílem projektu je vyjasnit, jaký je zdravotní stav lesních porostů a jaká je dynamika změn zdravotního stavu v Národním parku Šumava a Krkonošském národním parku. Víceleté řady údajů o zdravotním stavu lesních porostů navíc umožní analyzovat dlouhodobé trendy ve vývoji lesních porostů, charakter těchto změn a hlavní příčiny těchto změn. Projekt je přímým pokračováním projektů, které byly řešené Ústavem pro výzkum lesních ekosystémů (IFER) v letech 1993-2000. V rámci uvedených projektů byly vybudovány a udržovány v obou národních parcích sítě monitoračních ploch ve sponu 1x1 km a byl shromážděn rozsáhlý datový materiál, který je managementem parků prakticky využíván. Pro zachování kontinuity získávaných údajů a možnosti vyhodnotit dlouhodobější časové řady je nezbytné zachovat v návrhu projektu kompatibilní metodické řešení. Třetí rok řešení (2004) byl zaměřen na dokončení úkolů, které se týkaly Národního parku Šumava: plošné hodnocení zdravotního stavu lesních porostů, dendrometrická měření v optimalizované síti ploch v NPŠ včetně trvalé fixace ploch pomocí technologie Field-Map, analýza trendů vývoje parametrů zdravotního stavu smrkových porostů v NPŠ, analýza vývoje vybraných faktorů prostředí (depoziční zátěž, usazené srážky, srážkoodtokové poměry, výpočet kritických zátěží aj.) na území NPŠ. Využití údajů ze sítě GEOMON (Česká geologická služba, dále ČGS) a údajů zjištěných v rámci jiných výzkumných projektů, dendroekologická analýza, odvození historie sledovaných porostů na působení stresových faktorů v uplynulých 30 letech. Vytipování hlavní stresových faktorů, ovlivňujících sledované smrkové ekosystémy a odhad regeneračního potenciálu těchto ekosystémů, analýza vývoje zdravotního stavu smrkových porostů ve vztahu k vývoji vybraných faktorů prostředí.
|
|
|
Podpora biodiverzity a stability lesních ekosystémů v pásmu horských lesů Hrubého Jeseníku
Ústav pro hospodářskou úpravu lesů, Brandýs nad Labem ; Správa chráněných krajinných oblastí, Praha ; Mendelova zemědělská a lesnická univerzita v Brně ; IFER - Ústav pro výzkum lesních ekosystémů‚ s.r.o., Strašice ; Vopěnka, Petr ; Holá, Šárka ; Vítová, Gabriela ; Russ, Radek ; Černý, Martin
Cílem projektu bylo shromáždit podklady o lesních ekosystémech v pásmu horských lesů Hrubého Jeseníku (konkrétně lokalit I. zóny SCHKO Jeseníky v oblasti centrální části hlavního hřebene). Řešení se opírá o kombinaci metod pozemní inventarizace lesních ekosystémů, vyhodnocení údajů dálkového průzkumu Země (letecké snímky), zpracování dat v prostředí GIS a postupů pro kvantitativní hodnocení funkcí lesů. Závěrečná zpráva se skládá u několika oddílů: Vyhodnocení současného stavu porostů (statistická inventarizace), interpretace a vyhodnocení leteckých snímků, vyhodnocení zdravotního stavu lesních porostů a formulace doporučení pro podporu řízení mimoprodukčních funkcí.
|
host ::
RSS.