Editace stránky Státnice - Informatika - Zkazky / zkušenosti

Z ωικι.matfyz.cz
Přejít na: navigace, hledání

Varování: Nejste přihlášen(a). Pokud uložíte jakoukoli editaci, bude vaše IP adresa zveřejněna v historii této stránky. Pokud se přihlásíte nebo si vytvoříte účet, budou vaše editace připsány vašemu uživatelskému jménu a získáte i další výhody.

Editace může být zrušena. Zkontrolujte a pak potvrďte změny zobrazené níže.
Aktuální verze Váš text
Řádka 741: Řádka 741:
 
'''Algebraické a topologické metody v informatice''': Základy obecné topologie - definice pomocí okolí a pomocí otevřených množin, separační axiomy. Příklady prostorů splňujících jednotlivé axiomy. Topologie důležité v informatice (Scott). Definice báze, subbáze, pokrytí, kompaktnosti. Alexanderovo lemma s důkazem. Tichonovova věta, Heine-Borelova věta.
 
'''Algebraické a topologické metody v informatice''': Základy obecné topologie - definice pomocí okolí a pomocí otevřených množin, separační axiomy. Příklady prostorů splňujících jednotlivé axiomy. Topologie důležité v informatice (Scott). Definice báze, subbáze, pokrytí, kompaktnosti. Alexanderovo lemma s důkazem. Tichonovova věta, Heine-Borelova věta.
  
'''Kategorie v informatice''': Kategorie a struktury využívané v informatice - zrecyklována část o částečných uspořádáních z algebraických metod. Definice uspořádání, horní a dolní meze, suprema, infima. Definice polosvazu, svazu, úplného svazu. V úplných svazech jsou infima zadarmo, důkaz. Souvislost s teorií domén: definice usměrněnosti, DCPOs, aproximovatelnost, Bourbakiho věta s důkazem, Kleeneho věta s důkazem, souvislost s denotační sémantikou. Algebraický pohled na svazy, distributivní svazy, filtry (prvofiltry) a ideály (prvoideály), Birkhoffova věta a důkaz.
+
'''Kategorie v informatice''': Kategorie a struktury využívané v informatice - zrecyklována část o částečných uspořádáních z algebraických metod. Definice uspořádání, horní a dolní meze, suprema, infima. Definice polozvazu, svazu, úplného svazu. V úplných svazech jsou infima zadarmo, důkaz. Spojitost s teorií domén: definice usměrněnosti, DCPOs, aproximovatelnost, Bourbakiho věta s důkazem, Kleeneho věta s důkazem, spojitost s denotační sémantikou. Algebraický pohled na svazy, distributivní svazy, filtry (prvofiltry) a ideály (prvoideály), Birkhoffova věta a důkaz.
  
Zamotal jsem se trochu v amplifikacích chyb u RP a BPP, a v definicích kompaktnosti v euklidovských a metrických prostorech (to se velmi stydím), kde jsem plácl několik hloupostí - prostě stres. Ostatní otázky mě asi zachránily, protože mě nakonec nevyhodili. Protože u státnic chyběl prof. Pultr a kategorie se nikomu očividně zkoušet nechtěly, tak jsem byl doslovně požádán abych se věnoval svazům.
+
Zamotal jsem se trochu v amplifikacích chyb u RP a BPP, a v definicích kompaktnosti v euklidovských a metrických prostorech (to se velmi stydím), kde jsem plácl několik hloupostí. Patrně ze stresu. Ostatní otázky mě asi zachránily, protože mě nakonec nevyhodili. Protože u státnic chyběl prof. Pultr a kategorie se nikomu očividně zkoušet nechtěly, tak jsem byl doslovně požádán abych se věnoval svazům.
  
 
[[Category: Státnice Informatika Mgr.]]
 
[[Category: Státnice Informatika Mgr.]]

Kliknutím na Save page

  • Potvrzujete, že vložené změny jsou vaším dílem, nebo jste oprávněni je zveřejnit a licencovat podle pravidel této stránky.
  • Potvrzujete, že smluvní podmínky níže uvedených licencí znáte a chápete, nebo se s nimi v nejbližší době seznámite.
  • Souhlasíte se zveřejněním svých změn podle licence MatfyzKing copyright
  • Souhlasíte se zveřejněním svých změn podle licence Creative Commons BY-NC-SA 2.0
  • Souhlasíte se zveřejněním svých změn podle licence GNU GFDL

Nevkládejte cizí díla bez prokazatelného souhlasu autora nebo držitelů práv!

Storno | Pomoc při editování (otevře se v novém okně)