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ą

Semantyka języków programowania

Nazwa angielska (title in English): Semantics of programming languages
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
ćwiczenia: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 stanowi wprowadzenie do zagadnień związanych z matematycznym opisem semantyki języków programowania, w tym m.in. semantyki operacyjnej, denotacyjnej i aksjomatycznej języków imperatywnych, jak również semantyki operacyjnej i denotacyjnej języków funkcyjnych.

Wykład oraz ćwiczenia mają na celu zapoznanie studentów z teoretycznymi podstawami formalnej semantyki języków programowania, natomiast pracownia poświęcona będzie implementacji wybranych tematów w postaci interpreterów, transformatorów programów, etc.

Program (program)

  1. Semantyka operacyjna i denotacyjna języków imperatywnych
  2. Specyfikacja i dowodzenie poprawności programów imperatywnych
  3. Semantyka porażki, wejście-wyjście, skoki i kontynuacje
  4. Semantyka obliczeń niedeterministycznych i współbieżnych
  5. Rachunek lambda jako język programowania
  6. Semantyka operacyjna i denotacyjna języków funkcyjnych
  7. Kontynuacje w językach funkcyjnych
  8. Efekty obliczeniowe w językach funkcyjnych i monady
  9. Semantyka języków z typami prostymi i polimorfizmem parametrycznym

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):