Courses offered in English by the Institute of Computer Science,
University of Bialystok, Poland 2022/2023
Course title with a short description 
Semester 
Hrs 
ECTS 
Mathematical Analysis 1 (for Informatics)
Mathematical logic – elements, elements of set theory. Relations, functions and their properties. Numerical sequences, properties, limits. Numerical series, their properties and convergence. 
winter 
30 
4 
Mathematical Analysis 3 (for Informatics) Topological properties, metric space. Function of several variables, domain, limits, graphs of two variable functions. Partial derivatives. Symmetry of second derivatives. Directional derivative, gradient. Implicit differentiation. Second partial derivative test. Jacobian. Polar coordinate system. Double, triple integral over a normal domain and its applications. 
winter 
45 
3 
Elements of Logic and Set Theory Expressing thoughts formally and correctly, reasoning using logical tools. Fundamental notions and methods necessary to understand more advanced mathematical theories. Formally constructing and modelling mathematical objects on settheoretical grounds. More info – USOS link 
winter 
60 
6 
Differential and Difference Equations Types of ordinary differential equations, methods of solving differential equations, certain applications of firstorder differential equations, difference equations. More info – USOS link 
winter 
30 
2 
Medical Informatics (elective course) Various methods of signal and image analysis, computer systems and software at different levels of health care, telemedicine and medicine on the Internet and the possibility of practical applications. More info – USOS link 
winter 
45 
4 
Bioinformatics (elective course) Introduction to molecular biology. Bimolecular sequence analysis. Biological databases. Introduction to structural bioinformatics. Introduction to R and Python and their applications in bioinformatics. Biopython and Bioconductor libraries. Implementation of bioinformatics workflows in R and Python. More info – USOS link 
winter 
45 
4 
Functional Programming (elective course) Introduction to lambda calculus, acquaintance with functional programming paradigm, acquaintance with selected functional language. More info – USOS link 
winter 
45 
4 
Introduction to Automata and Formal Languages Theory Introduction to the Theory of Automata and Formal Languages: Basic issues: the language and grammar, regular grammars, contextfree grammars, contextsensitive grammars, finite 5 automata, pushdown automata, Turing machines, nondeterminism, Chomsky hierarchy, characterization of the problems due to the undecidability and complexity. More info – USOS link 
winter 
60 
4 
Advanced Programming Introduction to the Java language. Object oriented programming: inheritance, polymorphism. Exceptions – defining and using. Generic programming: parametrized types, collections, comparators, iterators, algorithms. Graphical user interfaces. Event programming. More info – USOS link 
winter 
75 
5 
Software Engineering 2 The rules of development of complex systems with particular consideration of implementation as phase. The four main programming paradigms (imperative, functional, objectoriented and logic) as a fundamental style of computer programming, as well the basic software design patterns will be discussed. More info – USOS link 
winter 
60 
4 
Databases Introduction. Relational model. Relational algebra. SQL language. Designing relational databases. Normalization. Normal forms. Conceptual design. Entity relationship diagram. Logical design. Physical design. Basic file structures. Indexes. Transactions. Concurrency. Optimization. More info – USOS link 
winter 
60 
5 
Algorithms and Data Structures Basic data structures (lists, stacks, queues, hash tables, trees, graphs), algorithms (graph algorithms, pattern matching in strings) and different methods of their design (“divide and conquer”, dynamic programming, greedy methods) and also estimation of their complexity. More info – USOS link 
winter 
60 
5 
Advanced Databases (Graduate course) Introduction to PL/SQL. Language rules. Data types. Blocks. Variables and their scope. Conditional instructions. Loops. SQL in PL/SQL. Records. Cursors. Collections. Exceptions. Creating and using procedures, functions and packages. Triggers. Dynamic SQL: NDS and DBMS_SQL. Introduction to PL/SQL objects. More info – USOS link 
winter 
45 
4 
Advanced Algorithms and Data Structures (Graduate course) Advanced graph algorithms: allpairs shortest paths, flow networks. String matching algorithms. Advanced data structures. Approximation algorithms. Parallel algorithms. More info – USOS link 
winter 
45 
4 
Python Programming Python Environment. Programming paradigms (structural, objectoriented, More info – USOS link 
summer 
45 
4 
Mathematical Analysis 2 (for Informatics) Limit of one variable function. Actions on functions and their boundaries. Asymptote functions. Continuity of function. Derivative of the function of one variable and its properties. Derivative of the inverse and composite function. Differential of a function. Extrema of functions of one variable. L’Hospital’s rule. Derivatives of higher orders. Taylor series. Power series. Sequences and series functions. Antiderivative indefinite integral. Integration of rational, irrational and trigonometric functions. The Riemann integral. Improper integral. More info – USOS link 
summer 
60 
6 
Artificial Intelligence Rough sets. Fuzzy sets. Artificial neural networks. Classification and clustering algorithms. Search methods. Evolutionary algorithms. Practical part: Application selected classification/clustering algorithms to data sets and reporting on the results. More info – USOS link 
summer 
60 
4 
Discrete Mathematics Induction and recursion, the basics of combinatorics, basic techniques of counting, the basics of graph theory, the basics of number theory. More info – USOS link 
summer 
60 
5 
Probabilistic Methods and Statistics Random variable, The probability of discrete and continuous, Probability distributions, Expected values, Variance, Standard deviation, Stochastic processes, Sampling, The problem of estimation, Testing statistical hypotheses, Correlation and regression, Computer methods of statistics. More info – USOS link 
summer 
75 
5 
Software Engineering 1 The typical software lifecycle phases, principles of systems design by the object method, software development tools, software requirements 4 specification, testing rules of software and software configuration management, project planning and software development process management. More info – USOS link 
summer 
30 
2 
Introduction to Objectoriented Programming Familiarize the students with the basic concepts and techniques of objectoriented programming on the example of C++. Practice the most important objectoriented techniques. Teach design, implementation and analysis of programs in the objectoriented paradigm. More info – USOS link 
summer 
75 
5 
Internet Programming Basic Internet programming techniques, languages, tools and standards. More info – USOS link 
summer 
60 
4 
Network Technologies Construction and operation of computer networks. OSI and TCP / IP – the protocols and features, IP addressing, routing, switching, Wide Area Networks (WAN), Virtual Private Networks (VPN). More info – USOS link

summer 
60 
4 
Rulebased and Expert System (Graduate course) Architecture of an expert system (ES). Applications of ES. Methods of knowledge representation in ES. Methods of acquisition of knowledge to ES. Methods of the inference. Influence of the uncertainty on functioning system based on the knowledge. Hybrid systems. Characteristics of programming languages for creating ES.

summer 
60 
3 