Теория алгоритмов- Основы теории множеств и логика- Теорема Чёрча- Машина Тьюринга- Проблема равенства слов- Общезначимые формулы- Теорема Гёделя (начало доказательства)- Мощности Множеств https://www.youtube.com/playlist?list=PLaQzcyI9dgYS_I5HNP8kjE0eO1316IJ4y#video #algoritm