Курс “Введение в логику“ на

Классическая логика является формальной основой для 99% современной математики. Не смотря на то, что логика вроде бы как-то стоит особняком от остальной математики, есть все же несколько теорем, которые интересны широким слоям населения. Доказательство их в курсе так же надеюсь будет приятным занятием. Начало курса: 16 декабря 2013 года