НИС Логика и алгоритмы Рыбаков М.Н. Лекция 24.05.24

Теорема Чёрча
Доказательство теоремы Чёрча
Разрешимые и неразрешимые теории
Оставляйте комментарии, ставьте лайки, подписывайтесь на наш канал и не пропускайте новые видео!
Если интересно узнать об операторе и создателе этого канала, прочитать историю, посты про развитие проекта, то будем рады вас видеть на бусти - в boosty.to/hse-....
Мне понравилась идея регулярно вести "заметки оператора" и поэтому на моей странице я рассказываю о важных для канала моментах, и просто о событиях, которые благодаря ему происходят в моей жизни.
Благодаря обратной связи и вашей поддержке будем развивать наш канал еще активнее)