Courses in registration (in Polish) Rejestracja na przedmioty całoroczne i z semestru zimowego 2023/24 1000-2023
Actions | ||||||
---|---|---|---|---|---|---|
1000-2M23DE |
Classes
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-1S13FGA |
Classes
Groups
Brief description
(in Polish) Seminarium wprowadza wiele głównych narzędzi współczesnej geometrii algebraicznej, pogłębiając wiedzę z przedmiotu "Geometria Algebraiczna". Zamierzamy omawiać podręcznik Raviego Vakila "Foundations of Algebraic Geometry", od początku. |
|
||||
1000-135WTL |
Classes
Groups
Brief description
(in Polish) Podstawowym celem wykładu jest przedstawienie wstepu do teorii liczb, jako jednego z najwazniejszych działów matematyki. W dalszej jego czesci przedstawione sa przykłady zastosowania tej teorii do kryptografii oraz teorii kodowania. |
|
||||
1000-1S11AM |
Classes
Groups
Brief description
See the description of 1000-1D11AM. |
|
||||
1000-2N09ZBD |
Classes
Groups
- (in Polish) Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Faculty of Mathematics, Informatics, and Mechanics)
- (from 2025-10-01) (in Polish) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Systemy informatyczne (Faculty of Mathematics, Informatics, and Mechanics)
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-111ADM1 |
Classes
Groups
Brief description
(in Polish) Pierwsza część wykładu i ćwiczeń wprowadza studenta w teorię i praktykę formalizmu matematycznego: elementy teorii mnogości są fundamentem na którym zbudowany jest dalszy wykład algebry liniowej. Podstawy teorii przestrzeni liniowych rozwinięte są nad dowolnym ciałem skalarów. Zarówno teoria przestrzeni jak i przekształceń liniowych stosowane są nie tylko do badania układów równań liniowych w kartezjańskich przestrzeniach współrzędnych ale również do innych naturalnych przestrzeni i odwzorowań między nimi, które pojawiają się naturalnie w innych działach matematyki (przestrzenie wielomianów, ciągów i funkcji). |
|
||||
1000-113bAG1a |
Classes
Groups
- Obligatory courses for 2nd grade JSIM (3M+4I) (Faculty of Mathematics, Informatics, and Mechanics)
Brief description
The aim of the lecture is to introduce fundamental algebraic structures: groups, commutative rings with 1 and fields, and to discuss their basic properties. The properties of rings are presented as a natural extension of the properties of the ring of integers and the ring of polynomials over a field. In particular, the following topics are discussed: divisibility, unique factorization, the notions of an ideal and of the quotient ring. The part of the lecture devoted to fields includes field extensions obtained by adding roots of a polynomial and the information on the algebraic closure. The construction of the quotient field of a domain is presented. The part of the lecture concerning group theory covers basic properties of groups but it also includes information about the classification of finitely generated abelian groups and about actions of finite groups on sets and their simplest applications. |
|
||||
1000-113bAG1* |
Classes
Groups
- Obligatory courses for 2nd grade JSIM (3M+4I) (Faculty of Mathematics, Informatics, and Mechanics)
Brief description
This is an extended version of the course Algebra 1; enriched by additional material on group and ring theory. Fundamental algebraic structures: groups, commutative rings with 1 and fields. Group theory: normal subgroups, factor groups, group actions on sets, information about Sylow’s theorems and the classification of finitely generated abelian groups. Ring theory: divisibility, unique factorization, the notions of an ideal and of the factor ring. Field theory: field extensions obtained by adding roots of a polynomial and information on the existence of the algebraic closure. |
|
||||
1000-135MGT |
Classes
Groups
Brief description
Fundamental notions of the category theory, additive and abelian categories. Tensor product in the category of modules. Projective and injective modules, resolvents. Graded groups, chain complexes and their homologies. Derived functors of Hom and of the tensor product. Presheaves, sheaves and their cohomologies. Simplicial cohomologies and Cech cohomologies. Coverings and principal bundles; cohomological interpretation. |
|
||||
1000-213bASD |
Classes
Groups
- Obligatory courses for 2nd grade Computer Science (Faculty of Mathematics, Informatics, and Mechanics)
Brief description
Design and analysis of algorithms. Survey of fundamental algorithms and data structures. Practical improving programming and algorithm development skills. Applying ready to use libraries of algorithms and data structures. |
|
||||
1000-718ADG |
Classes
Groups
- Specific programme courses of 2nd stage Bioinformatics (Faculty of Mathematics, Informatics, and Mechanics)
- (in Polish) Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Faculty of Mathematics, Informatics, and Mechanics)
- (in Polish) Przedmioty z technologii w skali genomowej dla bioinformatyki (Faculty of Mathematics, Informatics, and Mechanics)
- (from 2025-10-01) Courses for PhD students in Computer Science (Faculty of Mathematics, Informatics, and Mechanics)
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-1S96AM |
Classes
Groups
Brief description
Presentation of selected important topics in mathematical analysis. Participants will be encouraged to present their Master's theses at the seminar. |
|
||||
1000-134FAN |
Classes
Groups
- Obligatory courses for 3rd grade JSIM (3M+4I) (Faculty of Mathematics, Informatics, and Mechanics)
Brief description
Basic properties of analytic functions of one complex variable. A beautiful part of analysis with many applications all throughout mathematics. |
|
||||
1000-134FAN* |
Classes
Groups
- Obligatory courses for 3rd grade JSIM (3M+4I) (Faculty of Mathematics, Informatics, and Mechanics)
Brief description
Basic properties of analytic functions of one complex variable. A beautiful part of analysis with many applications all throughout mathematics. |
|
||||
1000-135APZ |
Classes
Groups
Brief description
Introduction to two key concepts in numerical analysis: approximation and complexity. Classical polynomial approximation of smooth functions. Approximation based on partial information. Construction of optimal algorithms in prescribed model of computation. |
|
||||
1000-2M13TAU |
Classes
Groups
- (in Polish) Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Faculty of Mathematics, Informatics, and Mechanics)
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-726LIC |
Classes
Groups
Brief description
Students perform tasks contributing to their bachelor's thesis under the promoter supervision. |
|
||||
1000-135STB |
Classes
Groups
Brief description
Systematic introduction to Bayesian statistics. The subject of this course is now becoming more popular, has many important applications, but is treated marginally or entirely omitted in standard courses of statistics. The course is dedicated to students of mathematics and also students of informatics who are interested in statistics. |
|
||||
1000-2M13DZD |
Classes
Groups
- (in Polish) Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Faculty of Mathematics, Informatics, and Mechanics)
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-317bBUM |
Classes
Groups
Brief description
The goal of the course is to present the set of elementary notions of machine learning necessary to understand contemporary, advanced techniques of machine learning as well to instil the programming techniques necessary to efficiently use them. |
|
||||
1000-317bBIM |
Classes
Groups
Brief description
The goal of the course is to present the set of common mathematical notions necessary to understand contemporary techniques of machine learning as well as to instil the mathematical apparatus necessary to efficiently use them. |
|
||||
1000-213bCPP |
Classes
Groups
- Elective courses (tools for programming) for Computer Science (Faculty of Mathematics, Informatics, and Mechanics)
- Obligatory courses for 2nd grade Computer Science (Faculty of Mathematics, Informatics, and Mechanics)
Brief description
(in Polish) Celem tego przedmiotu jest pokazanie studentom nowoczesnego i efektywnego stylu programowania w języku C++. |
|
||||
1000-711RRC |
Classes
Groups
Brief description
Learning the basic concepts, theorems and methods of mathematical analysis, with particular emphasis on the differential and integral calculus of functions of one variable. Applications of these methods to problems in natural sciences. |
|
||||
1000-2M10TKI |
Classes
Groups
- (in Polish) Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Faculty of Mathematics, Informatics, and Mechanics)
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-711BKM |
Classes
Groups
Brief description
"Biology of the Cell" covers the current knowledge of cell structure and function including: basic cytological and molecular biology methods, differences between pro- and eukaryotic cells, structure and function of cellular organelles, cellular transport, intracellular contact and interactions, signal transduction, replication and expression of genetic material. |
|
||||
1000-1S96AL |
Classes
Groups
Brief description
Several basic algebraic structures are studied. In particular: groups and semigroups, rings and algebras, modules, matrices and linear representations. Classical results and open problems are discussed and a variety of applications is presented. |
|
||||
1000-135ALP |
Classes
Groups
Brief description
This lecture class provides an introduction to commutative algebra; it is required for algebraic geometry lecture. The topics concern commutative rings and modules over such rings. An important class of rings considered are noetherian rings. |
|
||||
1000-719GP2 |
Classes
Groups
- Obligatory courses for 2nd stage Bioinformatics (Faculty of Mathematics, Informatics, and Mechanics)
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-217bMRJ |
Classes
Groups
- (from 2025-10-01) (in Polish) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Języki programowania (Faculty of Mathematics, Informatics, and Mechanics)
- (from 2025-10-01) (in Polish) Grupa fundamentalnych przedmiotów systemowych dla informatyki magisterskiej (Faculty of Mathematics, Informatics, and Mechanics)
Brief description
An overview of fundamental problems and techniques of interpreter and compiler construction. The central topics of the course are methods and tools of semantic analysis of programs as well as code generation and optimisation for various platforms (JVM, LLVM, assembly). The course builds upon knnowledge and abilities from the course "Programming Languages and Paradigms" (or an equivalent course). Completing the course should enable students to create a compiler for a simple programming language. |
|
||||
1000-135ROZ |
Classes
Groups
Brief description
The course covers the following topics: local complex geometry, complex differential forms, Kaehler manifolds, Dolbeault cohomologies, Hodge theory, vector bundles, Chern classes. |
|
||||