- Mathematical Logic for Computer Science (90923)
- Numerical Analysis (90925)
Course summary:
Abstract:
Interpolation and approximations methods, error analysis.
Numerical integration, differentiation.
Ordinary differential equations solution, Solutions to non-linear equations.
Solutions to a set of Linear equations.
- Discrete Mathematics (90926)
Course summary:
Abstract:
Logic – basic definitions and concepts, predicate arithmetic. Set theory – basic definitions, general relations, equivalent and order relations, mathematical induction principle, f?unctions and set cardinality. Combinatorics – basic definitions and principles, Newton binomial formula, inclusion – exclusion principle, pigeonhole principle, recursions, generating f?unctions Graph theory – basic definitions and results, trees, Euler graphs.