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 studentów posiadających
umiejętność programowania w jakimkolwiek współczesnym języku funkcjonalnym:
Standard ML-u, Haskellu, OCamlu, F#, Clojure, Scheme itp. Jest to wykład
teorii algorytmów wykonywanych w środowisku, w którym większość struktur
danych jest trwała. Wymaga to zupełnie innego podejścia niż w tradycyjnej
teorii ulotnych struktur danych.
