Математическая логика

МЕНЮ


Главная страница
Поиск
Регистрация на сайте
Помощь проекту
Архив новостей

ТЕМЫ


Новости ИИРазработка ИИВнедрение ИИРабота разума и сознаниеМодель мозгаРобототехника, БПЛАТрансгуманизмОбработка текстаТеория эволюцииДополненная реальностьЖелезоКиберугрозыНаучный мирИТ индустрияРазработка ПОТеория информацииМатематикаЦифровая экономика

Авторизация



RSS


RSS новости


1 - Примитивно-рекурсивные функции

2 - Арифметика Пеано

3 - Китайская теорема об остатках

4 - Кодирование примитивно-рекурсивных функций

5 - Гёделева нумерация

6 - Параметрическая ?o-полнота

7 - Гёделева теория

8 - Теория множеств

9 - Теория множеств. Часть 2

10 - Ординалы


Источник: vk.com

Комментарии: