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