Elective courses 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-2M23DE | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
Overview of the data processing pipeline; collection and storage of raw data; processing, cleaning, and storage of processed data; scaling tools for the data processing system. |
|
|||||
1000-2M24FPS | n/a | n/a | n/a |
Classes
Summer semester 2024/25
Groups
- (from 2024-10-01) Elective courses for Computer Science
- (from 2024-10-01) Elective courses (tools for programming) for Computer Science
Brief description
(in Polish) Przedmiot ma na celu przedstawienie zaawansowanych mechanizmów programowania funkcyjnego z typami zależnymi na przykładzie tworzenia klienta i serwera protokołu sieciowego. Na zajęciach wykorzystywane będzie programowanie funkcyjne w Ocamlu wzbogacone o elementy weryfikacji funkcyjnych własności wykonywane w Coq-u. |
|
|||||
1000-2M24PZB | n/a | n/a | n/a |
Classes
Summer semester 2024/25
Groups
- (from 2024-10-01) Elective courses for Computer Science
Brief description
(in Polish) Przedmiot koncentruje się na aplikacjach technologii blockchainowej z pominięciem teorii, która wymagałaby szczegółowego rozważanie założeń i dowodzenia twierdzeń. Wykład jest przede wszystkim przygotowaniem do laboratorium. |
|
|||||
1000-2M23TAG | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
No brief description found, go to course home page to get more information.
|
|
||||||
1000-WMTAU2 | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
(in Polish) Celem projektu jest przygotowanie rozwiązania do konkursu MBZIRC, gdzie zadanie polega na koordynacji roju dronów i autonomicznej łodzi wyposażonej w manipulator, celem przeprowadzenia misji podjęcia ładunku z innej łodzi. |
|
|||||
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-2M23STI | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
No brief description found, go to course home page to get more information.
|
|
|||||
1000-2M24ZAZ |
Advanced aspects of computational complexity
(from 2024-10-01)
|
n/a | n/a | n/a |
Classes
Summer semester 2024/25
Groups
- (from 2024-10-01) Elective courses for Computer Science
Brief description
Complexity theory classifies problems according to their difficulty and explains why some problems are too hard to be solved by good algorithms. This lecture is a continuation of the “Computational complexity” course. We will discuss classic topics of complexity theory that did not fit into that course. |
|
||||
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-2M11ZPF | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
The lecture aims to present central issues in modern functional programming in languages such as Haskell, Coq, Idris, especially focusing on usung types for program specification and verification. |
|
||||||
1000-2M22ZJ | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
The aim of this course is to familiarize students with the advanced aspects of Java and their practical use in an extensive programming project. |
|
|||||
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-2M02AA | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
Game theory was initiated by von Neumann and Morgenstern as a mathematical theory of rational behaviour. A game comprises description of possible moves and payoffs for each of the players. Typically, each player searches for a strategy maximizing her payoff. The rational behaviour of players is well described by the concept of Nash equilibrium. |
|
||||||
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-2M24ATM |
Algorithmic Model Theory
(from 2024-10-01)
|
n/a | n/a | n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Subjects for PhD students
- (from 2024-10-01) Elective courses for Computer Science
Brief description
The lecture connects elements of structural graph theory, parameterised algorithms, and finite model theory. The main theme are algorithmic results called “algorithmic meta-theorems”, which express that entire families of computation problems can be solved efficiently on inputs enjoying specific structural properties. Typically we will consider graph problems for graphs of a particular form. For instance, every computational problem that can be expressed as a first-order sentence can be solved in linear time, on all planar graphs, or all graphs with maximum degree bounded by a fixed constant. This result can be extended to other graph classes (including nowhere dense graph classes, and monadically stable graph classes), and other logics. Note: Course given in English |
|
||||
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-718ADG | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
Algorithmic problems and methods of analysis of high-throughput sequencing data and other large-scale experimental techniques of modern genomics. Topics will include the problems of mapping reads to reference genomes, reconstructing sequenced genomes from reads, classifying and quantifying reads. Methods handling data from different experiments and sequencing technologies, as well as approaches using different types of data together will be presented. |
|
||||||
1000-2N00SID | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
The course is focused on using intelligent methods for solving problems that are difficult or impractical to solve with other methods. Accordingly, we discuss, among the others, various approaches based on heuristics, approximations, randomized, as well as deductive and inductive schemes of reasoning, often designed by analogy to the human way of problem solving. The main topics include also intelligent search through large spaces of states and solutions, intelligent game strategies, reasoning in logic and logical foundations of planning, foundations of machine learning in relation to artificial intelligence, foundations of modeling of uncertainty, as well as various specialized applications. |
|
||||||
1000-2M13TAU | n/a | n/a |
Classes
Winter semester 2023/24
Groups
- (from 2024-10-01) Subjects for PhD students
Brief description
Auctions are a widely used mechanisms for resource exchange and allocation, that finds application in real world (e.g. internet auctions) as well as computational applications (e.g. resource allocation in multi-agent systems and eCommerce). Which auctions are best for the seller and which for the buyers? What is the impact of knowledge of others' valuations? How bad is collusion? Is it hard to determine the winner when bundles of several interdependent objects are being sold? Does it depend on the bidding language? The aim of this course is to introduce and present the basic issues and problems of arising in auctions and to deepen their understanding via game theory and computational complexity theory. |
|
||||||
1000-2M05ZP | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
(in Polish) Kurs podstaw prawa, skupiony na zagadnieniach powiązanych z informatyką. Od podstaw prawa cywilnego, przez własność intelektualną, umowy sprzedaży praw i umowy licencyjne, po odpowiedzialność, prawo karne i ochronę danych osobowych. Kurs zdecydowanie praktyczny, dużo przykładów, dużo przypadków z życia wziętych. |
|
||||||
1000-2M13DZD | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
The subject consolidates both theoretical and practical knowledge about machine learning and data mining methods in applications related to large, heterogeneous, distributed and dynamically growing data. We discuss problems concerning reliability and quality of data in tasks of teaching effective models for classification, prediction and related applications as well as maintaining the effectiveness of such models applied as components of larger IT systems. We refer to a wide range of practical sources and shapes of data, in particular machine-generated data. We cover a wide range of practical tasks in machine learning and data analysis, e.g. anomaly detection or recognition of similarities. Based on practical examples, we discuss the full life cycle of data and information in processing and analysis systems, including properly integrated solutions based on machine learning and data analysis. |
|
||||||
1000-218bPDD | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
We will present techniques and tools for processing Big data sets on clusters of commodity computers. The main covered technologies are Hadoop and Spark. We will start with introducing architecture of those systems and programming models they assume like MapReduce and Resilient Distributed Dataset. Then we will cover most important algorithmic techniques and methods for analysing and comparing algorithms. Finally, we will discuss typical problems like skew and typical bottlenecks like limited reducer memory as well as methods to deal with those problems. This course will combine theory and practice. |
|
||||||
1000-2M10TKI | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
Universal algebra and category theory are by now two classical areas of mathematics that offer abstract concepts, methods and results which have been widely adopted in foundations of computer science and by now form the standard language to deal with, among others, modelling, design, and systematic construction of complex software systems. The course recalls basic concepts of universal algebra and introduces the language of category theory, limited to the most elementary and important notions and related results. We hint at least at the possible appliocations of the categorical language in various areas of computer science, for instance in type theory and in foundations of algebraic specifications. The course will consists of lectures and tutorials, in practice without a strict separation between them. It will be offered in English, but it may be carried out in Polish in case only Polish-speaking studants register. |
|
||||||
1000-2M19TCH | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
(in Polish) Program obejmuje dwa obszary zastosowań informatyki będące obecnie w kręgu głównych zainteresowań biznesu z uwagi na oferowane lub spodziewane źródła przewagi konkurencyjnej: chmurę obliczeniową i uczenie maszynowe. Ujęcie zagadnień z zachowaniem podejścia, w którym środowiska chmurowe (głównie typu IaaS i PaaS) są przede wszystkim kontekstem wykonawczym pozwoli skupić się słuchaczom na rozwiązywaniu konkretnych problemów manifestując tym samym podejście pragmatyczne. Całości towarzyszy wspólna praca wraz z partnerem biznesowym nad projektem integrującym tematy z zakresu programu przedmiotu, którego wykonanie jest wymaganym elementem uzyskania oceny. Wybór konkretnych zagadnień wykładu zależy od scenariuszy przedstawionych przez partnera biznesowego, lecz będzie obejmować co najmniej modelowanie matematyczne, szeregi czasowe i techniki przetwarzania języka naturalnego (NLP). |
|
|||||
1000-2M16KS | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
Combinatorics of words is a study of properties of words understood as in formal languages. |
|
|||||
1000-719GP2 | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
he lecture aims to familiarize students with selected models, algorithms, and tools used in comparative genomics, particularly on trees, and their application in various contexts. The planned exercises will be partly in the form of a computer laboratory. |
|
||||||
1000-2M00GO | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
Analysis of selected problems of computational geometry and methods which solve them (sweep line, divide and conquer, prune and search, duality etc.). Theory and applications. |
|
||||||
1000-135GK | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
Our aim is to introduce the students to basic algorithms and data structures used in computer graphics. These include basic raster graphics algorithms, two- and three-dimensional geometry, elements of computational geometry, geometric modelling, visibility algorithms and illumination models. |
|
||||||
1000-2M22OW | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
This is an introduction to convex optimization, giving an overview of the landscape of convex optimization problems, and covering the most important convex optimization algorithms and lower bounds, as well as convex modelling techniques. The lab sessions cover convex modelling using modern software and implementation of selected convex optimization algorithms. |
|
|||||
1000-2M24KI2 |
Cryptography 2
(from 2024-10-01)
|
n/a | n/a |
Classes
Summer semester 2023/24
Groups
- (from 2024-10-01) Elective courses for Computer Science
Brief description
The course "Cryptography 2" is a follow-up to the course "Cryptography 1" taught in the winter semester. Passing it (or the course "Cryptography" taught by S. Dziembowski in earlier years) is required to attend this course. Compared to "Cryptography 1", this course is more theoretical and focuses on the latest developments in cryptography (often those that have not yet entered practical use) and formal proofs. The main criterion for the selection of topics taught is scientific curiosity. The subject will be mainly conducted using a blackboard (no slides). |
|
|||||