МЕНЮ
ТЕМЫ
Авторизация
RSS
2021-09-13 15:01
Теория алгоритмов
Основы теории множеств и логика
Теорема Чёрча
Машина Тьюринга
Проблема равенства слов
Общезначимые формулы
Теорема Гёделя (начало доказательства)
Мощности Множеств
Источник: vk.com