Myvideo

Guest

Login

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

Uploaded By: Myvideo
14 views
0
0 votes
0

0:00:30 1. Теорема: в арифметике Пеано Σ1 - полна 0:29:25 2. Кодирование примитивно-рекурсивных функций в арифметике Пеано: док-во существования и единственности

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later