Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Что будет: исчисление высказываний как язык и язык логики высказываний как исчисление, натуральный вывод.
Для кого:
- тех, кто совершенно не знаком с логикой высказываний и хотел бы узнать, что это такое
- тех, кто хочет освоить логику высказываний как исчисление
- тех, кто хочет научиться получать гарантированно истинные заключения из истинных посылок
- тех, кто хочет в будущем освоить исчисление предикатов и модальные логики