Myvideo

Guest

Login

Введение в математическую логику 13. Ассоциативные исчисления, проблема достижимости

Uploaded By: Myvideo
1 view
0
0 votes
0

00:00:00 - Начало 00:01:50 - m-сводимость 00:05:37 - Машина Тьюринга 00:15:16 - Теорема 00:18:22 - Ассоциативные исчисления 00:25:49 - Теорема 00:28:07 - Конфигурация МТ 00:41:15 - Правила перехода 00:56:05 - Симметричные исчисления 01:05:14 - Ограниченная задача добавления 01:10:34 - Полугруппа Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист:

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later