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.
![]() ![]() ![]() ![]() ![]() ![]()
Use one of the "i" icons below for additional information.
2022Z - Winter semester 2022/23 2022L - Summer semester 2022/23 (there could be semester, trimester or one-year classes) |
Actions | |||||||
---|---|---|---|---|---|---|---|---|
2022Z | 2022L | |||||||
1000-2M22ALG | n/a |
![]() |
Classes
Summer semester 2022/23
Groups
Brief description
(in Polish) Wykład opisuje związki pomiędzy logiką a automatami skończonymi. Punktem wyjścia jest klasyczne twierdzenie, że automaty skończone opisują dokładnie te języki, które można zdefiniować w logice monadycznej drugiego rzędu. Wykład omawia daleko idące rozszerzenia tego twierdzenia, dotyczące przede wszystkim obiektów nieskończonych, takich jak nieskończone słowa czy drzewa. Ważną rolę w teorii odgrywają pewne gry matematyczne, przede wszystkim tzw. gry parzystości, w których rozgrywka jest nieskończona. |
|
||||
1000-2M22WZK | n/a |
![]() |
Classes
Summer semester 2022/23
Groups
Brief description
(in Polish) Będziemy omawiać różne zagadnienia kombinatoryczne. W szczególności, omówimy podstawowe wyniki teorii uczenia maszynowego oraz teorii Vapnika-Chervonenkisa, a także wyniki dotyczące rodzin zbiorów (set systems). Wyniki te są fundamentalne zarówno w teorii uczenia maszynowego, jak i w kombinatoryce geometrycznej i geometrii obliczeniowej, a także mają związek z innymi dziedzinami matematyki i informatyki, m.in. logiką i teorią grafów. Będziemy również omawiać inne ważne wyniki w kombinatoryce (w szczególności, lemat Szemerediego o regularności) i twierdzenie Erdosa-Hajnala. |
|
||||
1000-2N09ZBD |
![]() |
n/a |
Classes
Winter semester 2022/23
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 database tuning, object-relational mapping, columnar data store (e.g. MonetDB and X100), dictionary stores (like Berkeley DB), advanced stored programming, XML storage and XML databases, distributed databases, Map Reduce frameworks and SBQL and stack-based approach to query languages, i.e. a Polish invention which has been chosen by OMG object database task group as the starting for the new standard for object databases. |
|
||||
1000-2M11ZPF | n/a |
![]() |
Classes
Summer semester 2022/23
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 |
Classes
Winter semester 2022/23
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 |
![]() |
Classes
Summer semester 2022/23
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 (mixed with classes, browsing of source code, reading scientific papers) 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-2M12DNA |
![]() |
n/a |
Classes
Winter semester 2022/23
Groups
Brief description
The lecture is devoted to DNA sequencing technology and its output data analysis. It will cover both algorithmic problems (e.g. applications of de Bruijn graphs and Burrows-Wheeler transform) and statistical ones (differential analysis, hypothesis testing). |
|
||||
1000-2M02AA | n/a |
![]() |
Classes
Summer semester 2022/23
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-2N00ALG | n/a |
![]() |
Classes
Summer semester 2022/23
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-2M12AGO |
![]() |
n/a |
Classes
Winter semester 2022/23
Groups
Brief description
The main aim of this lecture is to introduce students with selected models, algorithms and tools used in comparative genomics. In particular we will be focused on algorithms and tools related to trees (in many contexts). Classes will be partially converted to labs. |
|
||||
1000-2N00SID | n/a |
![]() |
Classes
Summer semester 2022/23
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 |
Classes
Winter semester 2022/23
Groups
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 |
![]() |
Classes
Summer semester 2022/23
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 |
Classes
Winter semester 2022/23
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 |
![]() |
Classes
Summer semester 2022/23
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 |
Classes
Winter semester 2022/23
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. |
|
||||
1000-2M19TCH | n/a |
![]() |
Classes
Summer semester 2022/23
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-2M12TGK | n/a |
![]() |
Classes
Summer semester 2022/23
Groups
Brief description
Coalitional Game Theory is an actively expanding subfield of game theory. Coalitional games are used to model all these real-world situations where there exists potential synergy among participating agents. Applications of coalitional game theory span from economics and political sciences to medicine and computer science (electronic commerce, multi-agent systems). |
|
||||
1000-2M16KS | n/a |
![]() |
Classes
Summer semester 2022/23
Groups
Brief description
Combinatorics of words is a study of properties of words understood as in formal languages. |
|
||||
1000-2M00GO |
![]() |
n/a |
Classes
Winter semester 2022/23
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-2M09OTW | n/a |
![]() |
Classes
Summer semester 2022/23
Groups
Brief description
Computational social choice theory (ComSoc) is the field at the intersection of computer science, economics and social sciences that studies the aggregation of individual preferences toward a collective choice. For example, a large part of the theory consists in analyzing voting rules (e.g., rules that can be used for electing a president), but the theory also studies rules (protocols/algorihtms) that can be used for making other public decisions: for example, for electing committees, choosing projects for funding in participatory budgeting, maching students to schools based on their preferences, or for allocating items/resources. |
|
||||
1000-2M22OW | n/a |
![]() |
Classes
Summer semester 2022/23
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 common approaches to solving convex problems in practice. |
|
||||
1000-2M12KI1 | n/a |
![]() |
Classes
Summer semester 2022/23
Groups
Brief description
The course covers a variety of aspects of modern cryptography. We focus primarily on the mathematical foundations of the field. We discuss assumptions and present strict proofs. We present precise definitions and discuss their different variants. Simultaneously we discuss practical applications. We show specific protocols and discuss their parameters (key length, etc). The greater part of the lecture covers classical topics (encryption, authentication, digital signature). |
|
||||
1000-2M03DM | n/a |
![]() |
Classes
Summer semester 2022/23
Groups
Brief description
Presentation of the main issues in the field of data mining and the methods to resolve them. Discussion about the efficient implementation on large collections of data for basic problems, such as associative rules, data preparation, discretization of real value attributes, decision tree. Presentation of modern computation techniques such as parallel processing, evolutionary computation, using standard heuristic databases or specially constructed data structures. |
|
||||
1000-2M16GSN |
![]() |
n/a |
Classes
Winter semester 2022/23
Groups
Brief description
The goal of the course is to show use 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-217bSR |
![]() |
n/a |
Classes
Winter semester 2022/23
Groups
Brief description
This course consists of two components: a lecture and a practical work. The lecture will cover the principles, advanced concepts, and technologies of distributed systems, including communication, replication, fault tolerance, and security. The practical part, in turn, will give students an opportunity to test the new knowledge in the real world. More specifically, individually or in pairs, the students will build a distributed system related to cloud computing. The practical work is very demanding in terms of the dedicated time and required programming skills. |
|
||||
1000-2M20IRIO |
![]() |
n/a |
Classes
Winter semester 2022/23
Groups
Brief description
The course takes an engineer’s perspective on building the complex set of systems and services that together provide the public cloud. The cloud infrastructure is a complex distributed system with unique requirements: high availability, massive scale and having deep software stacks. We plan to show how these requirements influence the key design decisions (communication, scalability, resource management, data management) and reliability engineering (monitoring, testing). The course will be delivered by Google engineers whose day-to-day work involves designing, building and maintaining cloud infrastructure. In contrast to teaching specific cloud technologies, our goal is to rather show principles driving the design of large-scale distributed systems. We plan to illustrate these principles using specific systems developed by your lecturers. |
|
||||
1000-2M17PMF | n/a |
![]() |
Classes
Summer semester 2022/23
Groups
Brief description
(in Polish) Celem przedmiotu jest zaprezentowanie słuchaczom najważniejszych informacji dotyczących przedsiębiorczości, w szczególności procesu poszukiwania i operacjonalizacji szans rynkowych, tworzenia koncepcji biznesu, zakładania nowych przedsiębiorstw i zarządzania nimi na pierwszych etapach rozwoju. Przedstawiane podczas wykładów zagadnienia zostaną przeanalizowane na przykładach, a następnie praktycznie wykorzystane na ćwiczeniach. |
|
||||
1000-2M22ETG |
![]() |
n/a |
Classes
Winter semester 2022/23
Groups
Brief description
No brief description found, go to course home page to get more information.
|
|
||||
1000-2M17FT |
![]() |
n/a |
Classes
Winter semester 2022/23
Groups
Brief description
FINTECH (Financial Technology) is a new branch in the IT business that aims at applying newest technologies in the financial services sector. While conventional financial institutions have strived for years to introduce new solutions, FINTECH companies aim to revolutionize banking and other financial services. FINTECH products are built upon such technologies as Big Data, social network analysis, machine learning algorithms, artificial intelligence. For instance, there exist in the US pay-day-loan companies that assign credit rating to clients based solely on their Facebook data. Such algorithms were also patented by Facebook itself in 2014. During the lecture, we will discuss the key trends in FINTECH revolution and we will work through multiple examples of successful FINTECH stories. A particular attention will be paid to business and regulatory aspects of FINTECH solutions. |
|
||||