Teoretyczne podstawy języków programowania lato 2015/16

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, 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:** 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. 139)	300	8	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 12:00-14:00 (s. 139)	20	8	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	311	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.