Logic - free course from Open Education, training 14 weeks, from 4 to 6 hours per week, Date: December 3, 2023.

The course introduces students to mathematical logic, its methods, theorems, and applications. In the process of studying the course, students will be able to learn about various logical systems - classical logic, intuitionistic logic, various modal logics, as well as classical predicate logic and theories constructed based on it.

Issues related to formal languages, issues of expressibility of various conditions in them, axiomatic systems, evidence and provability, truth and refutability will be addressed. The relationships between these concepts will be shown, as well as the relationships between different logical systems. Along the way, the properties of theories, including algorithmic ones, will be considered.

The course contains both theoretical material presented in lectures and practical tasks offered to students as exercises. Students will be able to learn how to construct formal proofs of theorems, models of theories, counter-models for statements that are unprovable in theories, as well as rigorously argue their conclusions.

Rybakov Mikhail Nikolaevich

1

well

Candidate of Physical and Mathematical Sciences: Yaroslavl State University. P.G. Demidova, PhD: University of the Witwatersrand, Associate Professor Position: Associate Professor, Faculty of Mathematics

14 weeks, 4 to 6 hours per week,

Start December 03