Obligatory courses for 3rd grade JSIM (3I+4M) (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 2023 - Academic year 2023/24 2024Z - Winter semester 2024/25 2024L - Summer semester 2024/25 2024 - Academic year 2024/25 (there could be semester, trimester or one-year classes) |
Actions | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
2023Z | 2023L | 2023 | 2024Z | 2024L | 2024 | |||||||
1000-213bASD | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
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-225bJNP3 | n/a | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
The aim of this course is to teach specific programming tools and languages. |
|
|||||
1000-215bMNU | n/a | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
In many practical application one has to solve some mathematical problem on a computer. To do this efficiently, one usually resorts to the computation using floating point numbers. In this lecture we survey several basic mathematical problems of applied mathematics and their numerical solution methods. We shall stress both rigorous mathematical theory which underlies the algorithms discussed and efficient implementation of these algorithms as well. |
|
|||||
1000-114bRP1a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
Kolmogorov axioms. Basic probabilities. Random variables, probability distributions, and their parameters. Independence. Convergence of random variables. Basic limit theorems: Poisson theorem, weak and strong laws of large numbers, de Moivre-Laplace theorem. |
|
||||||
1000-114bRP1* | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
Kolmogorov axioms. Basic probabilities. Random variables, probability distributions, and their parameters. Independence. Convergence of random variables. Basic limit theorems: Poisson theorem, weak and strong laws of large numbers, de Moivre-Laplace theorem. |
|
||||||
1000-215bSWP | n/a | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
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. |
|
|||||
1000-216bJPP | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
The course discusses four of the most important programming paradigms: functional, imperative, object-oriented and logic programming. The students should get a deeper insight into the nature of programming, as well as broaden they knowledge of programming languages and understand basic implementation issues. |
|
|||||
1000-215bBSK | n/a | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
The goal of the course is to make students familiar with the fundamental problems in security of information systems. |
|
|||||
1000-214bPSZ | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
A survey of ethical, law and economical issues related to computer scientists and programmer work. |
|
||||||
1000-2L5ZPP | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
The aim of this course is the development of a large software project by students. It is meant as a recapitulation and practical verification of the knowledge gained by students during their bachelor study. Students ought to go through entire development path: from gaining requirements specification till testing. (Because of organizational limitations such important topics like software maintenance or user training are skipped or presented in only very restricted way.) It is desired that students during their work on the project learn (by themselves) new technologies needed for project realization. The phase of acquiring specification requirements should be as close as possible to reality (i.e. students should not be presented with ready requirements specification but should create it based on informations obtained from the teaching assistant, who is preforming the role of a client then). |
|
||||||