Oferta dydaktyczna Instytutu Informatyki

Poniższa lista przedstawia przedmioty, które są uczone w Instytucie Informatyki, niektóre z nich co roku, niektóre z mniejszą częstotliwością Każdy student Instytutu Informatyki studiuje wg indywidualnego toku studiów, wybierając (zgodnie z pewnymi zasadami) z tej listy swoje przedmioty.

Jeżeli zastanawiasz się nad studiami u nas, jeżeli chcesz wiedzieć, czy na Uniwersytecie można zostać inżynierem, jeżeli interesuje Cię 1000 zł stypendium miesięcznie - zapraszamy na naszą stronę główną

Systemy typów

Nazwa angielska (title in English): Type systems
Prowadzący (lecturer): Dariusz Biernacki
Liczba punktów (ECTS): 9
Liczba punktów 2007 (ECTS since 2007): 6
Rodzaj (type): zaawansowany
Rodzaj od 2007 (type since 2007): informatyczny.I2
Liczba godzin (hours in semester):
wykład:30
pracownia:30
Egzamin (exam): tak
Możliwe zajęcia w języku angielskim (can be taught in English): tak
Przedmiot zostal uaktualniony na biezacy rok (updated): nie
Semestr (semester): zimowy

Wymagania (prerequisites)

Opis (description)

Przedmiot ma na celu wprowadzenie do systemów typów znajdujących zastosowanie w projektowaniu i implementacji języków programowania funkcyjnego oraz obiektowego. Wykład oparty będzie na klasycznym już podręczniku Pierce'a "Types and Programming Languages", a zajęcia w ramach pracowni towarzyszącej wykładowi poświęcone będą implementacji wybranych systemów typów.

Program (program)

  1. Typy proste (rachunek lambda z typami prostymi, rozszerzenia, normalizacja)
  2. Efekty obliczeniowe w języku z typami prostymi (modyfikowalny stan, wyjątki, kontynuacje)
  3. Podtypowanie
  4. Typy iloczynowe i unijne
  5. Typy rekurencyjne
  6. Polimorfizm (rekonstrukcja typów, ML-polimorfizm, typy uniwersalne i egzystencjalne)
  7. Systemy typów wyższego rzędu (F-omega)
  8. Typy zależne

Literatura (references)

Jeżeli jesteś zainteresowany studiowaniem w naszym instytucie, zapraszamy na stronę poświęconą tegorocznej rekrutacji.

Nazwa użytkownika (user name):
Hasło (password):