Teoretyczne podstawy języków programowania lato 2011/12

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		300	11	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		22	11	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.