Teoria informacji, struktury i obliczenia

informatyka

seminaria magisterskie

Zaliczenie jakichkolwiek przedmiotów teoretycznych (np. Teoria Informacji) może ułatwić wdrożenie się.

Seminarium magisterskie o charakterze badawczo-teoretycznym, starające się zgłębiać bieżące osiągnięcia informatyki teoretycznej. Głównie eksploatowane pola to: teoria informacji, losowość, struktury algebraiczne oraz teoria złożoności.

Zajęcia będą stanowiły referaty przygotowywane przez studentów. Każdy odczyt powinien referować wybraną (w porozumieniu z prowadzącymi) współczesną teoretyczną pracę naukową. Prezentowane prace powinny mieć charakter ścisłych rozumowań matematycznych, a prezentacje zawierać próby eksponowania twierdzeń i ich dowodów. Tematyka referatów potencjalnie może być dość szeroka, choć generalnie skupiamy się na następujących obszarach:

* teoria informacji (w tym: teoria ekstraktorów, teoria kodów);

* rachunek prawdopodobieństwa i losowość;

* matematyka dyskretna, struktury algebraiczne i ich zastosowania w informatyce teoretycznej (np. w kryptologii);

* teoria złożoności (w tym: teoria obwodów, badanie różnych ograniczeń dolnych);

* zaawansowane metody badań obiektów informatycznych (np. metody analityczne w badaniu obiektów dyskretnych; teoria funkcji boolowskich).

Ważną częścią seminarium jest strona internetowa tiso.mimuw.edu.pl, na której na bieżąco umieszczane są propozycje konkretnych prac proponowanych do referowania oraz lista ważnych konferencji z rozważanych dziedzin.

Prace magisterskie proponowane przez prowadzących będą dotyczyć albo tematów przekrojowych, dotyczących prób syntezy pewnego wycinka współczesnych badań naukowych, albo tematy stricte badawcze: będą stawiane pytania, które mogą stanowić pierwsze poważne wyzwania badawcze.

Materiały pokonferencyjne z czołowych konferencji dotyczących tematyki seminarium: FOCS, STOC, ISIT, ITCS, RANDOM, SODA, CCC, ITC, TCC

Wiedza:

* Zna podstawowe fakty, klasyczne wyniki i standardowe oznaczenia pozwalające samodzielnie czytać ze zrozumieniem współczesne prace naukowe z dziedzin omawianych na seminarium.

* Rozumie jak wygląda struktura formalna i merytoryczna współczesnych prac naukowych.

Umiejętności:

* Potrafi samodzielnie odszukać i przyswoić brakującą wiedzę potrzebną do zrozumienia pracy naukowej.

* Potrafi zrozumieć i zreferować nieoczywiste rozumowania matematyczne.

* Potrafi stawiać naturalne pytania dotyczące eksplorowanych tematów.

Kompetencje społeczne:

* Potrafi przygotować i wygłosić prezentację naukową.

* Nabywa namiastkę wiedzy na temat tego, jak wygląda profesjonalna praca naukowca.

Wygłoszenie dwóch referatów w ciągu roku oraz - w zależności od roku studiów - wybranie tematu pracy magisterskiej albo złożenie pracy magisterskiej.