Применение алгебры высказываний в логико-математической практике. Методы доказательств

В ходе мастер-класса будут рассмотрены понятие теоремы, различные виды теорем, методы доказательства теорем с самой общей точки зрения. На примерах будет показано как методами математической логики можно значительно упростить доказательство утверждений и решение различных задач.