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

Uploaded By: Myvideo

Published on

16 Sep 2024

1 view

0

0 votes

0

About Share Download Add to

0:00:17 1. Арифметика Пеано 0:32:25 2. Определение функции, доказуемо-тотальные функции 0:39:14 3. Теорема Гёделя 0:52:56 4. Теорема: Всякая примитивно-рекурсивная функция доказуемо-тотальна в арифметике Пеано 1:11:35 5. Доказуемо-тотальность функции взятия остатка в арифметике Пеано и определение взаимной простоты двух чисел 1:24:30 6. Если p - простое и делит произведение, то делит один из множителей

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/RXVoU2dKYzVjT2lZaUFZOHVaOTVMdUovUFRRNWZObTU4akZ5dVhnSGN3RT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Интервью с кузнецом

12 hours ago

00:05:39

Интервью с кузнецом

1 81%

Спасибо Яне Поплавской и военкору Андрею Филатову за внимание к ситуации с бойцом Белым. Попросил СК и Прокуратуру принять меры

12 hours ago

00:01:24

Спасибо Яне Поплавской и военкору Андрею Филатову за внимание к ситуации с бойцом Белым. Попросил СК и Прокуратуру принять меры

1 24%

Косырев VS Барс. ГЛУШНЯК. Птеродактиль VS Буля. КОНФЛИКТ. Огнеборец Спартак Т34. Анубис VS Пахан

12 hours ago

01:45:08

Косырев VS Барс. ГЛУШНЯК. Птеродактиль VS Буля. КОНФЛИКТ. Огнеборец Спартак Т34. Анубис VS Пахан

1 17%

ГлюкoZа ФЭН-ШУЙ

12 hours ago

00:04:12

ГлюкoZа ФЭН-ШУЙ

1 48%

Dark Souls - Самая Важная Игра | Хайвуха

12 hours ago

03:57:39

Dark Souls - Самая Важная Игра | Хайвуха

1 67%

GSTV . 2, Resident Evil, Civilization VII, The Legend of Zelda, Ninja Turtles | НОВОСТИ

12 hours ago

00:15:17

GSTV . 2, Resident Evil, Civilization VII, The Legend of Zelda, Ninja Turtles | НОВОСТИ

14 47%

Сериал Подростки в космосе | Трейлер (2024) Wink | Лев Зулькарнаев, Денис Косиков, Святослав Рогожан

13 hours ago

00:02:37

Сериал Подростки в космосе | Трейлер (2024) Wink | Лев Зулькарнаев, Денис Косиков, Святослав Рогожан

1 32%

КОЛОКОЛА (Оригинальный текст, Г Старков)

13 hours ago

00:06:01

КОЛОКОЛА (Оригинальный текст, Г Старков)

1 50%

Как быстро похудеть БЕЗ ДИЕТ Метод доказательной медицины!

13 hours ago

00:13:12

Как быстро похудеть БЕЗ ДИЕТ Метод доказательной медицины!

1 41%

1986 Toчka вoзвpaтa, USSR

13 hours ago

02:08:02

1986 Toчka вoзвpaтa, USSR

1 31%

Ласковый май / Rammstein - Седая ночь / Du hast (Cover by Brothers'n'Sisters)

13 hours ago

00:04:20

Ласковый май / Rammstein - Седая ночь / Du hast (Cover by Brothers'n'Sisters)

1 41%

папа тоже плачет папа устает

14 hours ago

00:01:00

папа тоже плачет папа устает

1 62%

Чересчур - собака (Official Music Video)

14 hours ago

00:03:06

Чересчур - собака (Official Music Video)

1 60%

Fantasy Blacksmith - Симулятор Кузнеца Средневековья

14 hours ago

00:19:05

Fantasy Blacksmith - Симулятор Кузнеца Средневековья

1 40%

Кузнец- всех ремесел отец

15 hours ago

00:05:31

Кузнец- всех ремесел отец

226 50%

Wildways Химия (Music video)

15 hours ago

00:03:35

Wildways Химия (Music video)

1 19%

Alpina Digital: история клиента Mindbox

16 hours ago

00:07:33

Alpina Digital: история клиента Mindbox

1 6%

Зарплата. Сотрудники Mindbox о культуре компании. Часть 3 из 12

16 hours ago

00:13:07

Зарплата. Сотрудники Mindbox о культуре компании. Часть 3 из 12

1 64%

Гордость за работу. Сотрудники Mindbox о культуре компании. Часть 9 из 12

16 hours ago

00:06:13

Гордость за работу. Сотрудники Mindbox о культуре компании. Часть 9 из 12

1 61%

Костромичам дали советы, как подготовить дома с печным отоплением к холодам

16 hours ago

00:11:06

Костромичам дали советы, как подготовить дома с печным отоплением к холодам

373 93%

В эфире ГТРК Кострома сотрудник МЧС России напомнил правила пожарной безопасности в осенний период

16 hours ago

00:11:07

В эфире ГТРК Кострома сотрудник МЧС России напомнил правила пожарной безопасности в осенний период

6 70%

группа Мишель (экс-Мишель и Свои) - Зажгите свечи (2001 год) Чечня, Донбасс, Афган, ВДВ, Mishel

17 hours ago

00:06:13

группа Мишель (экс-Мишель и Свои) - Зажгите свечи (2001 год) Чечня, Донбасс, Афган, ВДВ, Mishel

1 33%

Сегодня в должность вступил Сергей Борисович Спицын, который был избран мэром города на выборах 6-8 сентября. Также состоялось п

17 hours ago

00:02:32

Сегодня в должность вступил Сергей Борисович Спицын, который был избран мэром города на выборах 6-8 сентября. Также состоялось п

1 84%

Юрий Шатунов. 2012г. Альбом Я верю. /видео/

18 hours ago

01:17:21

Юрий Шатунов. 2012г. Альбом Я верю. /видео/

1 63%

0 Comments

Guest