Mathematical logic, fuzzy set theory.
The aim of the course is to provide students with information about the use of Multi-valued logic in technical applications.
1. Multi-valued logic, formulae.
2. T-norms, T-conorms, generalized implications.
3. Linguistic variables and linguistic models.
4. Knowledge bases of expert systems.
5-6. Semantic interpretations of knowledge bases
7. Inference techniques and its implementation
8. Redundance a contradictions in knowledge bases
9. LMPS system
10. Fuzzification and defuzzification problem
11. Technical applications of multi-valued logic and fuzzy sets theory
12. Expert systems
13. Overview of AI methods
Jackson P.: Introduction to Expert Systems, Addison-Wesley 1999
The course is intended especially for students of mathematical engineering. It includes the theory of multi-valued logic, theory of linguistic variable and linguistic models and theory of expert systems based on these topics. Particular technical applications of these mathematical teories are included as a practice.
The knowledge of Calculus and Linear Algebra together with probabilistic and statistical methods (including time series) as well as optimisation techniques within the framework of SOP and SO2 courses is required.
The basic concepts and models of financial problems are accompanied by the theory and simple examples.
1. Basic concepts, money, capital and securities.
2. Simple and compound interest rate, discounting.
3. Investments, cash flows and its measures, time value of money.
4. Assets and liabilities, insurance.
5. Bonds, options, futures, and forwards.
6. Exchange rates, inflation, indices.
7. Portfolio optimization - classical model.
8. Postoptimization, risk, funds.
9. Twostage models in finance.
10. Multistage models in finance.
11. Scenarios in financial mathematics.
12. Modelling principles, identification of dynamic data.
13. Discussion on advanced stochastic models.
1. Dupačová,J. et al.: Stochastic Models for Economics and Finance, Kluwer, 2003.
The course presents basic financial models. It focuses on main concepts and computational methods. Several lectures are especially developed to make students familiar with optimization models.
Fundamentals of the set theory and mathematical analysis.
The course objective is to make students acquainted with basic methods and applications of fuzzy sets theory, that allows to model vague quantity of numerical and linguistic character, and subsequently systems and processes, which cannot be described with classical mathematical models. A part of the course is the work with fuzzy toolbox of software Matlab and shareware products.
1. Fuzzy sets (motivation, basic notions, properties).
2. Operations with fuzzy sets (properties).
3. Operations with fuzzy sets (alfa cuts).
4. Triangular norms and co-norms, complements (properties).
5. Extension principle (Cartesian product, extension mapping).
6. Fuzzy numbers (definition, extension operations, interval arithmetic).
7. Fuzzy relations (basic notions, kinds).
8. Fuzzy functions (basic orders, fuzzy parameter, derivation, integral).
9. Linguistic variable (model, fuzzification, defuzzification).
10. Fuzzy logic (multiple value logic, extension).
11. Approximate reasoning and decision-making (fuzzy environment, fuzzy control).
12. Fuzzy probability (basic notions, properties).
13. Fuzzy models design for applications.
Klir, G. J. - Yuan, B.: Fuzzy Sets and Fuzzy Logic - Theory and Applications. New Jersey: Prentice Hall, 1995.
Zimmermann, H. J.: Fuzzy Sets Theory and Its Applications. Boston: Kluwer-Nijhoff Publishing, 1998.
The course is concerned with the fundamentals of the fuzzy sets theory: operations with fuzzy sets, extension principle, fuzzy numbers, fuzzy relations and graphs, fuzzy functions, linguistics variable, fuzzy logic, approximate reasoning and decision making, fuzzy control, fuzzy probability. It also deals with the applicability of those methods for modelling of vague technical variables and processes, and work with special software of this area.
Evolution partial differential equations, functional analysis, numerical methods for partial differential equations.
The course is intended as an introduction to the computational fluid dynamics. Considerable emphasis will be placed on the inviscid compressible flow: namely, the derivation of Euler equations, properties of hyperbolic systems and an introduction of several methods based on the finite volumes. Methods for computations of viscous flows will be also studied, namely the pressure-correction method and the spectral element method. Students ought to realize that only the knowledge of substantial physical and mathematical aspects of particular types of flows enables them to choose an effective numerical method and an appropriate software product. The development of individual semester assignement constitutes an important experience enabling to verify how the subject matter was managed.
1. Material derivative, transport theorem, mass, momentum and energy conservation laws.
2. Constitutive relations, thermodynamic state equations, Navier-Stokes and Euler equations, initial and boundary conditions.
3. Traffic flow equation, acoustic equations, shallow water equations.
4. Hyperbolic system, classical and week solution, discontinuities.
5. The Riemann problem in linear and nonlinear case, wave types.
6. Finite volume method in one and two dimensions, numerical flux.
7. Local error, stability, convergence.
8. The Godunov's method, flux vector splitting methods: the Vijayasundaram, the Steger-Warming, the Van Leer.
9. Viscous incompressible flow: finite volume method for orthogonal staggered grids, pressure correction method SIMPLE.
10. Pressure correction method for colocated variable arrangements, non-orthogonal and unstructured meshes.
11. Stokes problem, spectral element method.
12. Steady Navier-Stokes problem, spectral element method.
13. Unsteady Navier-Stokes problem.
R.J. LeVeque: Finite Volume Methods for Hyperbolic Problems, Cambridge University Press, Cambridge, 2002.
E.F. Toro: Riemann Solvers and Numerical Methods for Fluid Dynamics, A Practical Introduction, Springer, Berlin, 1999.
S.V. Patankar: Numerical Heat Transfer and Fluid Flow, McGraw-Hill, New York, 1980.
J.H. Ferziger, M. Peric: Computational Methods for Fluid Dynamics, Springer-Verlag, New York, 2002.
M.O. Deville, P.F. Fischer, E.H. Mund: High-Order Methods for Incompressible Fluid Flow. Cambridge University Press, Cambdrige, 2002.
A. Quarteroni, A. Valli: Numerical Approximatipon of Partial Differential Equations. Springer-Verlag, Berlin, 1994.
Basic physical laws of continuum mechanics: laws of conservation of mass, momentum and energy. Theoretical study of hyperbolic conservation laws, particularly of Euler equations that describe the motion of inviscid compressible fluids. Numerical modelling based on the finite volume method. Numerical modelling of incompressible flows: Navier-Stokes equations, pressure-correction method, spectral element method.
Linear algebra, differential and integral calculus, ordinary differential equations, mathematical programming, calculus of variations.
The aim of the course is to explain basic ideas and results of the optimal control theory, demonstrate the utilized techniques and apply these results to solving practical variational problems.
1. The scheme of variational problems and basic task of optimal control theory.
2. Maximum principle.
3. Time-optimal control of an uniform motion.
4. Time-optimal control of a simple harmonic motion.
5. Basic results on optimal controls.
6. Variational problems with moving boundaries.
7. Optimal control of systems with a variable mass.
8. Optimal control of systems with a variable mass (continuation).
9. Singular control.
10. Energy-optimal control problems.
11. Variational problems with state constraints.
12. Variational problems with state constraints (continuation).
13. Solving of given problems.
 Pontrjagin, L. S. - Boltjanskij, V. G. - Gamkrelidze, R. V. - Miščenko, E. F.: Matematičeskaja teorija optimalnych procesov, Moskva, 1961.
 Lee, E. B. - Markus L.: Foundations of optimal control theory, New York, 1967.
The course familiarises students with basic methods used in the modern control theory. This theory is presented as a remarkable example of the interaction between practical needs and mathematical theories. Also dealt with are the following topics: Optimal control. Pontryagin's maximum principle. Time-optimal control of linear problems. Problems with state constraints. Singular control. Applications.
Mastering basic and advanced methods of probability theory and mathematical statistics is assumed.
The course objective is to make students majoring in Mathematical Engineering acquainted with methods of the reliability theory for modelling and assessing technical systems reliability, with methods of mathematical statistics used for quality control of processing, and with a personal project solution using statistical software.
Basic notions of objects reliability. Functional characteristics of reliability. Numerical characteristics of reliability. Probability distributions of time to failure. Truncated probability distributions of time to failure, mixtures of distributions. Calculating methods for system reliability. Introduce to renewal theory, availability. Estimation for censored and non-censored samples. Stability and capability of process. Process control by variables and attributes (characteristics, charts). Statistical acceptance inspections by variables and attributes (inspection kinds). Special statistical methods (Pareto analysis, tolerance limits). Fuzzy reliability.
Montgomery, Douglas C.:Introduction to Statistical Quality Control /New York :John Wiley & Sons,2001. 4 ed. 796 s. ISBN 0-471-31648-2
Ireson, Grant W. Handbook of Reliability Engineering and Management.Hong Kong :McGraw-Hill,1996. 1st Ed. nestr. ISBN 0070127506
The course is concerned with the reliability theory and quality control methods: functional and numerical characteristics of lifetime, selected probability distributions, calculation of system reliability, statistical methods for measure lifetime date, process capability analysis, control charts, principles of statistical acceptance procedure. Elaboration of project of reliability and quality control out using the software Statistica and Minitab.
Descriptive statistics, probability, random variable, random vector, random sample, parameters estimation, hypotheses testing, and regression analysis.
The course objective is to make students majoring in Mathematical Engineering and Physical Engineering acquainted with important selected methods of mathematical statistics used for a technical problems solution.
1.One-way analysis of variance.
2.Two-way analysis of variance.
3.Regression model identification.
4.Nonlinear regression analysis.
11.Continuous probability distributions estimation.
12.Discrete probability distributions estimation.
13.Stochastic modeling of the engineering problems.
Ryan, T. P.: Modern Regression Methods. New York : John Wiley, 2004.
Montgomery, D. C. - Renger, G.: Applied Statistics and Probability for Engineers. New York: John Wiley & Sons, 2003.
Hahn, G. J. - Shapiro, S. S.: Statistical Models in Engineering. New York: John Wiley & Sons, 1994.
The course is concerned with the selected parts of mathematical statistics for stochastic modeling of the engineering experiments: analysis of variance (ANOVA), regression models, nonparametric methods, multivariate methods, and probability distributions estimation. Computations are carried out using the software as follows: Statistica, Minitab, and QCExpert.
Differential and integral calculus of one and more real variables, ordinary and partial differential equations, functional analysis, function spaces, probability theory.
The aim of the course is to provide students an overview of modern methods applied for solving boundary value problems for differential equations based on function spaces and functional analysis including construction of the approximate solutions.
1. Motivation. Overview of selected means of functional analysis.
2. Lebesgue spaces, generalized functions, description of the boundary.
3. Sobolev spaces, different approaches, properties. Imbedding and trace theorems, dual spaces.
4. Weak formulation of the linear elliptic equations.
5. Lax-Mildgam lemma, existence and uniqueness of the solutions.
6. Variational formulation, construction of approximate solutions.
7. Linear and nonlinear problems, various nonlinearities. Nemytskiy operators.
8. Weak and variational formulations of the nonlinear equations.
9. Monotonne operator theory and its applications.
10. Application of the methods to the selected equations of mathematical physics.
11. Introduction to Stochastic Differential Equations. Brown motion.
12. Ito integral and Ito formula. Solution of the Stochastic differential equations.
S. Fučík, A. Kufner: Nonlinear Differential Equations, Nort Holland, 1980.
K. Rektorys: Variational Methods in Mathematics, Science and Engineering, Dordrecht, D. Reidel Publ. Comp., 1980.
J. Nečas: Direct Methods in the Theory of Elliptic Equations, Springer, Heidelberg 2012.
B. Oksendal: Stochastic Differential Equations, Springer, Berlin 2000.
The course yields overview of modern methods for solving differential equations based on functional analysis. It deals with the following topics: Survey of spaces of functions with integrable derivatives. Linear elliptic equations: the weak and variational formulation of boundary value problems, existence and uniqueness of the solution, approximate solutions and their convergence. Characteristics of the nonlinear problems. Weak and variational formulation of the nonlinear coercive problems, existence of the solution. Application to the selected nonlinear equations of mathematical physics. Introduction to stochastic differential equations.
Students are expected to be familiar with basic programming techniques and their implementation in Borland Delphi, and with basic 2D and 3D graphic algorithms (colour systems, projection, curves and surfaces construction)
Students will be made familiar with basic methods of 3D data reconstruction and conditions for their use.
1) Curves defined by equation f(x,y)=0, surfaces defined by equation f(x,y,z)=0 – pixel algorithm.
2) Curves defined by equation f(x,y)=0 – grid algorithm.
3) Surfaces defined by equation f(x,y,z)=0 – marching cubes algorithm.
4) Contour lines of surface.
5) Surface visualisation using the palette.
6) 2D visualisation of 3D data grid.
7) 3D visualisation of 3D data grid using marching cubes algorithm.
8) 3D filters.
9) 3D visualisation using volume methods – ray casting.
10) 2D reconstruction of confocal microscope outputs.
11) 3D reconstruction of confocal microscope outputs.
12) 2D reconstruction of Visible Human Project data.
13) 3D reconstruction of Visible Human Project data.
Martišek, K.: Adaptive filters for 2-D and 3-D Digital Images Processing, FME BUT Brno, 2012
The course is lectured in winter semester in the fourth year of mathematical engineering study. It familiarises students with basic principles of basic algorithm of computer modelling of 2D and 3D data, namely of scalar fields. Lecture summary: Construction of implicit curves and surfaces, contour lines and iso-surfaces. Algorithms, which construct surfaces – marching cubes and volume algorithms - ray casting, ray tracing.
Students are expected to know the mathematics taught within the bachelor's study programme and the graph theory taught in the master's study programme.
The aim of the course is to show the students possibility of a unified perspective on seemingly different mathematical subjects.
1. Sets and classes
2. Mathematical structures
6. Quotient objects
7. Free objects
8. Initial structures
9. Final structures
10. Cartesian product
11. Cartesian completeness
13. Reflection and coreflection
 Jiří Adámek, Theory of Mathematical Structures, D. Reidel Publ. Company, Dordrecht, 1983.
 A.Adámek, H.Herrlich. G.E.Strecker: Abstract and Concrete Categories, John Willey & Sons, New York, 1990
The course will familiarise students with basic concepts and results of the theory of mathematical structures. A number of examples of concrete structures will be used to demonstrate the exposition.