Кузнецов С. Л. - Математическая логика - Арифметика Пеано
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 - простое и делит произведение, то делит один из множителей
1 view
20
5
1 week ago 00:54:44 1.5K
Турал Керимов. Турция и НАТО, сектор Газа и долгосрочные планы Израиля
1 week ago 00:00:44 3
️25 ноября в Якутске на площади Орджоникидзе состоится торжественное открытие международного конкурса ледовых и снежных скульпту
1 week ago 00:02:04 2
[NTDRussian] Воки ручной работы – новый тренд среди китайской молодёжи
1 week ago 00:08:21 3
[BimNg] ЖИВОТНОВОДСТВО - СТАБИЛЬНЫЙ ЗАРАБОТОК НА ОСТРОВЕ? / Albion Online
2 weeks ago 00:03:34 107
«Оборвал связь с родными, решил перейти на сторону России»
2 weeks ago 00:42:52 209
документальный цикл “В поисках Пушкина“, 5 серия
2 weeks ago 00:12:13 767
Овечкин - уникум. Он один такой! / Кузнецов передал привет Саше / Как Зенит взял золото-1984
2 weeks ago 00:42:21 1
[Медиакомпания Зеленоград сегодня] Соловьёва Марина, депутат муниципального округа Савелки / Зеленоград сегодня
2 weeks ago 00:00:38 1
70 лет Окружной детской юношеской спортивной школе
2 weeks ago 02:30:47 617
ХОРОШЕЕ НАЧАЛО
2 weeks ago 00:04:39 80
Пленный зэк из «Шквала»: В Курскую область с нами заходили обученные в Германии бойцы
2 weeks ago 00:03:32 89
«Шквал» из зэков не поднял боеспособность ВСУ
2 weeks ago 00:02:11 1
Алексей Кузнецов Тучи над городом встали из к_ф Человек с ружьем, 1983 г.