AZ (algorytmika i złożoność obliczeniowa)JP (języki programowania i logika)
Opis przedmiotu:
Wykład będzie prowadzony na podstawie książki Chrisa Okasaki pod tym samym
tytułem. Przedmiot dostępny dla studentow posiadających umiejętność
programowania w jakimkolwiek wspołczesnym języku funkcjonalym: Standard ML-u,
Haskellu, Concurrent Clean-ie itp. Jest to wykład teorii algorytmow
wykonywanych w środowisku, w ktorym większość struktur danych jest trwała.
Wymaga to zupełnie innego podejścia niż w tradycyjnej teorii ulotnych struktur
danych.