Myvideo

Guest

Login

Введение в математическую логику 14. Теорема Тарского. Бетта функция Геделя

Uploaded By: Myvideo
1 view
0
0 votes
0

00:00:00 - Начало 00:00:45 - Правила перехода 00:03:06 - Теорема о неразрешимости мн-ва общезначимых формул 00:24:12 - Теорема Тарского 00:40:15 - Бетта функция Геделя 01:13:46 - Условие остановки мт да k шагов Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист:

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later