Перейти к основному содержанию
Лекториум
Меню
Онлайн-курсы
Медиатека
Онлайн-школы
Courses in English
Войти
Вы здесь
Главная
Форумы
Математическая логика и теория алгоритмов (октябрь 2017)
Глава 5
Глава 5
1 сообщение / 0 новое
10 ноября, 2017 - 08:42
#1
mslyubov
Ассистент преподавателя
Не в сети
Глава 5
Давайте порассуждаем на тему «Формальное и неформальное доказательство и примеры их использования».