(in Polish) Teoria informacji, struktury i obliczenia 1000-2D21TSO
Classes will consist of talks given by students. Each talk should present a selected (in consultation with the seminar supervisors) theoretical research paper. The presented works should be in the form of strict mathematical reasoning, and the presentations should attempt to highlight theorems and their proofs. The topics of the papers can potentially be quite broad, although we generally focus on the following areas:
* information theory (including: extractor theory, code theory);
* probability and randomness;
* discrete mathematics, algebraic structures and their applications in theoretical computer science (eg. in cryptology);
* complexity theory (including: circuits theory, various lower bounds);
* advanced methods of analyzing informatics objects (e.g. analytical methods in the study of discrete objects; the theory of boolean functions).
An important part of the seminar is the website tiso.mimuw.edu.pl, where proposals of specific works proposed for presentation are regularly posted, as well as a list of important conferences in the areas under consideration.
Master's theses proposed by the lecturers will concern either cross-sectional topics, concerning attempts to synthesize a certain section of contemporary scientific research, or strictly research topics: encouraging students to their first serious research challenges.
Main fields of studies for MISMaP
Type of course
Prerequisites (description)
Learning outcomes
Knowledge:
* Knows the basic facts, classic results and standard notation that allows him to read and understand contemporary scientific works in the fields discussed at the seminar.
* Understands the formal and substantive structure of contemporary scientific works.
Skills:
* Can find and learn the missing knowledge needed to understand scientific work.
* Can understand and describe non-obvious mathematical reasoning.
* Can ask natural questions about explored topics.
Social competence:
* Can prepare and deliver a scientific presentation.
* Acquires an impression about the professional work of a scientist.
Assessment criteria
Delivering two talks a year and - depending on the year of study - choosing the topic of the master's thesis or submitting the master's thesis.
Bibliography
Proceeding materials from leading conferences on the subject of the seminar: FOCS, STOC, ISIT, ITCS, RANDOM, SODA, CCC, ITC, TCC.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: