Кандидат наук Мусатов о курсе ЛОГИКИ

Математическая Логика и Теория Алгоритмов -- что это и зачем? Рассказывает лектор ФПМИ МФТИ Даниил Владимирович Мусатов.

Книги:
Н. К. Верещагин, А. Шень

00:00 - Интро
00:27 - Представление лектора
00:51 - Зачем студентам логика?
03:49 - О красивых теоремах и доказательствах в рамках курса
09:22 - Подробнее о принципе трансфинитной индукции
10:50 - О приложениях матлогики и применимости материала курса
14:40 - Полезная и интересная литература
16:43 - За что любить логику?
17:42 - Напутственные слова сдающим экзамен

Интервьюер: Юрий Маркелов
Оператор: Игорь Жильцов
Модель на тестовой записи: Ирина Жулябина
Монтажер: Дарья Зенина

[pvar]

Огромное спасибо команде, создающей контент и преподавателям ФизТеха! Побоялся сложности обучения в МФТИ - поступил в другой ВУЗ - все равно учусь и воспринимаю материал только по лекциям ФПМИ))))

[ЗояБашировп]

Крутой формат. Юрец и его команда, так держать. Продолжайте подобное делать, пожалуйста

[ballergames]

Закончил данный курс в этом году, могу рекомендовать абсолютно каждому!

[gleb.timofeev]

Абсолютно прекрасно!

P.S. И так далее

[Omnes]

Круто! А возьмите ещё интервью у Евгения Дашкова.

[MiroshnikovAlex]

Понятно, что хотели контент, как на канале ЖИЗА. Это интересно, но очень некомфортно мне смотреть, как Мусатова посадили на стул у доски... Поменяйте локацию! (Понимаю, что камера и всё такое...)

[Omnes]

Есть ещё хороший учебник А. С.Герасимов - Курс математической логики и теории вычислимости. Он во многом повторяет учебник второй том Верещагина Шеня, но он попроще, и многие вещи там разжёваны.

[stayerquantsvrn]

Даниил Владимирович, моргните два раза, если Вас держат в заложниках

[helensmith]

03:49 "поистине" - слитно пишется, исправьте, плиз

[Boyarb]

Концепт оч хорош, но видно что Мусатову сидеть вообще не удобно, хочется походить и хотя-бы руками помахать. Иногда скачки между кадрами оч резкие, тяжело смотреть, слушать приятнее. Но в целом концепт оч хорош, как наберётесь опыта мне кажется будет очень хорошая серия видосов

[Изи-юг]

Зиновьев А.А. не любил логиков от математики, утверждая, что они всю логики свели к разделу математической логики и занимаются там какой-то херней, совершая операции над символами, ради самих операций.