Description
Theoretical study:
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.
Practical teaching:
Making the set of examples and problems.
General information
Study program: Information Technology, Bachelor degree
ECTS: 7
Semester: 1
Lectures: 2
Exercises: 2
Lecturer
Berković Ivana, full professor
Email: [email protected]
Course books
