Архив за день: 14.02.2019

Теория алгоритмов. Лектор: Илья Мещерин

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