Teoretyczne podstawy języków programowania lato 2013/14

Lista
Język wykładowy Polski
Opiekun Zdzisław Spławski
Liczba godzin 30 (wyk.) 30 (ćw.)
Rodzaj I2.T - teoria inf.
ECTS 6
Polecany dla I roku Nie
Egzamin Tak
Tagi JP (języki programowania i logika)

Opis przedmiotu:

Programy i języki programowania będą rozpatrywane jako obiekty matematyczne, których własności mogą być ściśle formułowane i dowodzone. Będą omawiane sposoby formalnego definiowania mechanizmów językowych, systemy typów, polimorfizm, podtypowanie, teoretyczne podstawy języków obiektowych. **Program:** **Wymagania:** Programowanie Logika dla informatykow Wskazane zaliczenie programowania funkcjonalnego

Wykłady

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Zdzisław Spławski
wt 10:00-12:00 (s. 141) 300 12 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Ćwiczenia

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Zdzisław Spławski
wt 08:00-10:00 (s. 141) 22 12 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Konsultacje prowadzących:


Imię i nazwisko Pokój Konsultacje
Zdzisław Spławski 340 Czwartki godz.9:00-10:00 (konieczne jest wcześniejsze uzgodnienie). Możliwe są też inne terminy po uzgodnieniu za pośrednictwem poczty elektronicznej: zs@cs.uni.wroc.pl.