Теория алгоритмов. Лектор: Илья Мещерин
Теория алгоритмов Лектор: Илья Мещерин ☑ Основы теории множеств и логика ☑ Теорема Чёрча ☑ Машина Тьюринга ☑ Проблема равенства слов ☑ Общезначимые формулы ☑ Теорема Гёделя (начало доказательства) ☑ Мощности Множеств