Courses
- Linear Algebra (90905) תקציר הקורס:
- Mathematical Logic (90913) תקציר הקורס:
- Discrete Mathematics (90926) תקציר הקורס:
- Discrete Mathematics IBL (90955) תקציר הקורס:
Abstract:
The first part of the course is dedicated to study of techniques for
solving systems of linear equations. Several basic methods are presented:
Gauss elimination, matrix solution, Cramer rule.
The last two methods involve matrix arithmetic, which is also presented in this part. The second part discusses vector spaces and linear transformations. Most attention is given to the matrix approach. Matrix diagonalization issues summarize this part.
The last part of the course study inner product spaces and their basic properties.Abstract:
Propositional logic: syntax. Semantics, propositional calculus. Interpretations. Deductions systems: L system , Deduction theorem, consistence, soundness and
completeness theorems.
Predicate Logic: syntax: terms and formulas, Semantic predicate calculus.
Deduction systems: K system, deduction theorem. Consistence, soundness and completeness theorem. Relationship between system L and the system K. G?del incompleteness theorems