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

Теория с равенством Теорема о полноте Теорема о компактности Теорема о полноте исчисления предикатов Нестандартная модель арифметики Множество гипернатуральных чисел Если интересно узнать об операторе и создателе этого канала, прочитать историю, посты про развитие проекта, то будем рады вас видеть на бусти - в https://boosty.to/hse-mathematics-22-26. Мне понравилась идея регулярно вести "заметки оператора" и поэтому на моей странице я рассказываю о важных для канала моментах, и просто о событиях, которые благодаря ему происходят в моей жизни. Благодаря обратной связи и вашей поддержке будем развивать наш канал еще активнее)