Myvideo

Guest

Login

Кузнецов С. Л. - Математическая логика - Китайская теорема об остатках

Uploaded By: Myvideo
2 views
0
0 votes
0

0:03:28 1. Определение наименьшего общего кратного чисел упражнения 0:13:06 2. Китайская теорема об остатках и её доказательство 0:34:36 3. β-функция Гёделя 0:53:07 4. Кодирование пар 1:00:30 5. Ограниченные кванторы 1:05:36 6. Теорема 1: Класс Σ1 замкнут относительно ∧, ∨, ∃, ∀x меньше t. Теорема 2: в арифметике Пеано Σ1 - полна.

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later