Překlady této stránky:

Od 13.11. do 24.11. probíhá předběžný zápis do MIMSI v letním semestru.

Matematické struktury v informatice (MIMSI 2018)

! EDUX je v read-only režimu. Materiály nově najdete na https://courses.fit.cvut.cz/MI-MSI/ !

jan.stary@fit.cvut.cz, kancelář A1422, konsultace po předchozí domluvě.

literatura

Poznámky k přednášce postupně sepisuju do studijního textu, který obsahuje i odkazy na další literaturu.

uspořádání a svazy

topologický úvod

denotační sémantika

teorie kategorií

syslog

  • 22.02. Motivace a úvod; sémantika jazyků. Uspořádané množiny a svazy.
  • 22.02. Uspořádání, svazy a jejich vlastnosti.
  • 29.02. Topologie na množině. Báze a subbáze. Oddělovací vlastnosti
  • 07.03. Konvergence. Spojitá zobrazení.
  • 07.03. Topologie. Oddělovací vlastnosti. Konvergence. Spojitost.
  • 14.03. Datové typy jakožto spojité svazy. Scottova topologie.
  • 21.03. Procedury jakožto spojitá zobrazení mezi datovými typy.
  • 21.03. Složené datové typy. Typy funkcí.
  • 28.03. (velikonoce)
  • 04.04. Spojité svazy jako injektivní prostory.
  • 11.04. Inverzní limity. Svazový model lambda-kalkulu.
  • 18.04. Konstrukce nad spojitými svazy, příklady.
  • 18.04. Kategorie: objekty a morfismy. Monomorfismy, epimorfismy.
  • 25.04. (odpadá)

plán

  • 02.05. Produkty, sumy, ekvalizéry. Diagramy a limity, Marandova věta.
  • 02.05. Diagramy a limity.
  • 09.05. Exponenty, eval, kartézsky uzavřené kategorie.
  • 16.05.
 
/mnt/www/courses/MI-MSI/data/pages/start.txt · Poslední úprava: 2018/10/02 15:13 (upraveno mimo DokuWiki)
 
Recent changes RSS feed Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki