Elective courses (facultative) for Computer Science (course group defined by Faculty of Mathematics, Informatics, and Mechanics)
|
Key
If course is offered then a registration cart will be displayed.
- you are not logged in 
- currently you are not allowed to register 
- you are allowed to register 
- you are allowed to unregister (or withdraw application) 
- you applied for registration (and you cannot widrdraw this application) 
- you are registered (and you cannot unregister)
Use one of the "i" icons below for additional information.
2023Z - Winter semester 2023/24 2023L - Summer semester 2023/24 2024Z - Winter semester 2024/25 2024L - Summer semester 2024/25 (there could be semester, trimester or one-year classes) |
Actions | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 2023Z | 2023L | 2024Z | 2024L | |||||||
| 1000-2M24WCK | n/a | n/a |
 
|
n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Elective courses for Computer Science
Brief description
(in Polish) Kurs podejmuje próbę szerokiego ujęcia tematyki cyberbezpieczeństwa. Na wykładzie zostaną opisane aspekty teoretyczne: podstawy matematyczne i kryptografia (zarówno protokoły klasyczne, współczesne, jak i potencjalnie przyszłościowe), a na laboratorium - praktyczne: rzeczywiste techniki ataków i sposoby obrony przed nimi. |
|
||||
| 1000-2N09ZBD |
|
n/a | n/a |
|
Classes
Winter semester 2023/24
Groups
Brief description
The course will cover various issues which have not fit into the basic database course. Furthermore, the database research domain is so huge that it would not fit into any basic course. The subjects of lectures will be relational database tuning, object-relational mapping, columnar data store, NOSQL stores (key-value, wide-column, document, graph), advanced server programming and distributed databases. |
|
||||
| 1000-2N09ZSO | n/a |
|
n/a |
|
Classes
Summer semester 2023/24
Groups
Brief description
The course it is highly recommended for students who plan to attend Master Seminar on Distributed Systems, which is partly devoted to operating systems and in particular distributed operating systems. The course will have a form of lectures and labs. We plan to view in detail the structure of a specific operating system. The chosen case study is Linux which is modern operating system, popular in the Faculty of Mathematics, Computer Science and Mechanics, University of Warsaw, often used as server platform, but also on desktops, mobiles, as embedded system. Source code of Linux is freely available which gives a unique opportunity to analyze in detail used algorithms, data structures, and also to run experiments and do research in the area of operating systems. |
|
||||
| 1000-2M23ALE | n/a |
|
n/a |
|
Classes
Summer semester 2023/24
Groups
Brief description
The lecture deals with issues at the intersection of computer science, artificial intelligence and economics. We will discuss key issues from game theory (cooperative and non-cooperative), social choice theory, mechanism design and social network analysis. The lecture will focus on algorithms and solutions that are practically relevant. |
|
||||
| 1000-2N00ALG | n/a |
|
n/a |
|
Classes
Summer semester 2023/24
Groups
Brief description
The course is a continuation of the course "Algorithms and data structures". The aim is to make students acquainted with the methods of constructions of efficient algorithms for various combinatorial problems. Prerequisities: Algorithms and data structures |
|
||||
| 1000-317bDNN |
|
n/a |
|
n/a |
Classes
Winter semester 2023/24
Groups
Brief description
The goal of the course is to show usage cases for deep neural networks. During the course state-of-the-art techniques, algorithms and tools will be presented. Among others two main blocks of the course will concern image classification and text processing. |
|
||||
| 1000-2M24PFU | n/a |
|
n/a |
|
Classes
Summer semester 2023/24
Groups
- (from 2024-10-01) Elective courses for Computer Science
Brief description
No brief description found, go to course home page to get more information.
|
|
||||
| 1000-2N03BO | n/a |
|
n/a |
|
Classes
Summer semester 2023/24
Groups
Brief description
The aim of this course is to introduce students with a computer science and mathematics background to data-driven problems from molecular biology (we will focus on analysis of protein and nucleic acid sequences). In this course we will present some of the mathematical models and computational methods used today in molecular sequence analysis. |
|
||||
| 1000-2M15ZTA |
|
n/a |
|
n/a |
Classes
Winter semester 2023/24
Groups
- (from 2024-10-01) Subjects for PhD students
Brief description
Automata over infinite words, trees, and other input structures. Non-standard control: probabilistic/weighted, lossy, concurrent, timed. Connections between automata, games and logics. Algorithmic (un)decidability of decision problems. |
|
||||
| 1000-2M08ZPI |
|
n/a |
|
n/a |
Classes
Winter semester 2023/24
Groups
Brief description
Developing abilities to manage software projects. Using terms from project management domain. |
|
||||
| 1000-2M24MNU |
Numerical methods
(from 2024-10-01)
|
n/a | n/a |
|
n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Elective courses for Computer Science
- (from 2024-10-01) Elective courses (facultative) for Computer Science
Brief description
(in Polish) Metody numeryczne zajmują się konstrukcją, analizą i implementacją algorytmów rozwiązywania zadań obliczeniowych o fundamentalnym znaczeniu w niemal wszystkich obszarach wiedzy. Dziedzina jest bardzo obszerna, dlatego w tym wykładzie skoncentrujemy się na tematach związanych z informatyką. |
|
|||
| 1000-2M24SWP | n/a | n/a |
|
n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Elective courses for Computer Science
Brief description
The aim of the course is to present the importance as well as basic problems and techniques of formal description of programs. Various methods of defining program semantics are discussed, and their mathematical foundations as well as techniques are presented. The basic notions of program correctness are introduced together with methods and formalisms for their derivation. |
|
||||
