[Konstantin Vladimirov] Практика языка C (МФТИ, 2023-2024). Завершение: вычислимость.
🎯 Загружено автоматически через бота:
🚫 Оригинал видео:
📺 Данное видео является собственностью канала Konstantin Vladimirov. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @tilir.
✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его.
📃 Оригинальное описание:
Практические занятия по языку C на первом курсе МФТИ. Кафедра информатики.
На этом семинаре мы начнём с обычного ассемблера и будем его упрощать. Сначала на этом пути мы получим RAM-модель, далее машину Минского ну и в конце машину Тьюринга. Где-то там, на том краю, где программирование уже смыкается с математикой, мы рассмотрим фундаментальные проблемы вычислимости и познакомимся с быстро растущими функциями.
Семинарист: Константин Владимиров.
Дата: 13 мая 2024 года.
Съёмка: Марк Гончаров.
Звук: Юлий Тарасов.
Предыдущий семинар:
Следующий семинар: нет, это последнее видео курса
Слайды к занятиям:
Гитхаб курса:
Задачник:
Timeline
00:00 Введение. Начнём с ассемблера.
04:36 Упрощаем: RAM-машина
10:10 Упрощаем далее: Ламберт-Минский
17:22 Финал упрощений: машина Тьюринга
28:07 Опыты в невычислимости
39:55 Тезис Черча-Тьюринга
44:40 На пути к теореме Райса
52:00 Статические анализаторы и их лживость
56:40 Быстро растущие функции и Busy Beaver
01:13:26 Завершение и напутственные слова
Errata
* Тут пока пусто
22 views
0
0
1 month ago 00:00:43 1
16 владимирских семей приняли участие в фотопроекте «Близкие сердца»
1 month ago 00:02:32 4
Видео от Каркасные дома Смоленск от Владимир&Константин
1 month ago 01:21:50 351
Субаренда жилой недвижимости VS коммерции. Живой разбор. Инвестиции в недвижимость. Пассивный доход.
1 month ago 00:03:26 294
️Народный избранник, бессменный лидер крымского парламента, патриот. Владимир Константинов отмечает сегодня 68-й день рождения
1 month ago 00:00:56 1
«Металлург 2008» дважды обыграл ЦЗВС
1 month ago 00:01:19 236
Константин Соколовский. Утренняя гимнастика. (Владимир Высоцкий). Кавер
1 month ago 00:04:50 818
15 ноября 2024. д.Вяхтелево. Бокс. Яковлев Владимир vs Шиханов Константин
1 month ago 03:15:45 368
YADRO C++ Meetup: доклады от инженеров YADRO и дискуссия с приглашенными экспертами
1 month ago 00:04:47 1
Выступление ребят Троицкой Православной школы
1 month ago 00:09:19 1
Михаил Башаков
1 month ago 00:06:32 4
Алупка зимой...
1 month ago 00:04:45 1
Монастырь Введенская Оптина пустынь
1 month ago 00:01:53 1
Батуми, Кафедральный собор | ღვთისმშობლის შობის სახელობის საკათედრო ტაძარი