AZ (algorytmika i złożoność obliczeniowa)JP (języki programowania i logika)
Opis przedmiotu:
Wykład będzie prowadzony według książki Chrisa Okasaki [Purely Functional Data
Structures](http://www.cambridge.org/us/academic/subjects/computer-
science/programming-languages-and-applied-logic/purely-functional-data-
structures), CUP 1999\. Przedmiot jest dostępny dla studentow posiadających
umiejętność programowania w jakimkolwiek wspołczesnym języku funkcjonalym:
Standard ML-u, Haskellu, OCamlu, F#, Clojure, Scheme 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.