Mathematical language and mathematical objects. Number systems. The statements and logical operations. Algebra of logic. Tautology. The laws of logical thinking. Boolean algebra. Boolean equations and inequalities. Boolean functions. Canonical form and the minimization of Boolean functions. Axiomatic theory. Contents and formal theory. Propositional accounts. Quantification accounts. Semantic and syntactic conception of the first order. Valid formulas and theorems of K account. Special quantification and predicate accounts. The formalization of the language of predicate account. Basis of fuzzy logic.
Making the set of examples and problems.
Study program: Information Technology, Bachelor degree
Berković Ivana, full professor