Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Как из истинных высказываний получать другие истинные высказывания и не ошибаться? На этом занятии мы разберем язык логики высказываний как исчисление, узнаем как строить в нем доказательства и получать теоремы.
Предварительная запись не требуется, оплата по тарифам антикафе — 2р / минута.