Introduction to Logic

The course deals with fundamental notions of propositional logic and 1st order predicate logic. The student obtains some basic knowledge of formal methods of automatic proving and inference. These methods are used in many disciplines of computer science (formal specification of intuitive knowledge, logical programming, artificial intelligence, etc.) and in many other exact disciplines.