Książki, artykuły, materiały

Tu polecamy książki, artykuły i materiały dydaktyczne (najlepiej takie, które można znaleźć na sieci).

Docelowo dobrze byłoby wprowadzić tu podział na dziedziny informatyki, bo inaczej wkrótce zrobi się tu śmietnik.

— ksoltys

Książki

• Computational Complexity: A Modern Approach, Saanjev Arora, Boaz Barak — draft bardzo ciekawej, nowej książki z teorii złożoności

Materiały dydaktyczne

• Ważniak — skrypty, notatki i slajdy do bardzo wielu przedmiotów informatycznych
• Materiały MIT — bardzo dobrej jakości źródło wiedzy z wielu przedmiotów informatycznych i matematycznych
• Compexity Zoo — obszerny katalog klas złożoności prowadzony przez Scotta Aaronsona
• Fixed Parameter Tractability — doskonałe źródło informacji na temat szybko rozwijającej się gałęzi teorii złożoności/algorytmiki, jaką jest Fixed Parameter Tractability

Skrypty z przedmiotów prowadzonych u nas na wydziale

• Automaty a logika — bardzo dobry skrypt do przedmiotu prowadzonego przez dr. Bojańczyka w semestrze zimowym 2009/2010, polecam wszystkim, którym podobało się JAiO

Referaty, artykuły, strony domowe

• Strona domowa Mikołaja Bojańczyka — liczne artykuły p. Bojańczyka, dostępne on-line. W tym prace dotyczące WMSO (m. in. WMSO+U), automatów chodzących po drzewach, XML'a.
• Strona domowa Filipa Murlaka — materiały p. Murlaka, w tym mix topologii i teorii obliczeń. Między innymi prace dotyczące obliczania złożoności topologicznej języków słów i drzew. Też troszkę o XML'u.
• Materiały Michała Skrzypczaka — różne dokumenty związane z topologią i teorią obliczeń. Głównie referaty z seminariów na naszym wydziale, ale nie tylko.