Programy i języki programowania będą rozpatrywane jako obiekty matematyczne,
ktorych własności mogą być ściśle formułowane i dowodzone. Będą omawiane
sposoby formalnego definiowania mechanizmow językowych, systemy typow,
polimorfizm, podtypowanie, teoretyczne podstawy językow obiektowych.
**Program:** **Wymagania:** Metody programowania Logika dla informatykow
Wskazane zaliczenie Programowania funkcyjnego.
Czwartki godz.12:00-12:45 (konieczne jest wcześniejsze uzgodnienie). Możliwe są też inne terminy po uzgodnieniu za pośrednictwem poczty elektronicznej: zs@cs.uni.wroc.pl.
