Teoria informacji, struktury i obliczenia 1000-2D21TSO
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.
Kierunek podstawowy MISMaP
Rodzaj przedmiotu
Założenia (opisowo)
Efekty kształcenia
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.
Kryteria oceniania
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.
Literatura
Materiały pokonferencyjne z czołowych konferencji dotyczących tematyki seminarium: FOCS, STOC, ISIT, ITCS, RANDOM, SODA, CCC, ITC, TCC
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: