Похожие статьи:

1. Теорема о дедукции Теорема о дедукции Теорема о дедукции — метатеорема, оправдывающая условные доказательства гипотезы в системах без явной...
2. Алгебра фон Неймана Алгебра Фон Неймана Основы алгебры фон Неймана Алгебра фон Неймана — это C*-алгебра, действующая на гильбертово...
3. Языки программирования фон Неймана Языки программирования Фон Неймана Определение и история языка фон Неймана Язык фон Неймана — это высокоуровневый...
4. Теория множеств фон Неймана–Бернейса–Гёделя Теория множеств Фон Неймана–Бернейса–Геделя Основы теории множеств Теория множеств — это раздел математики, изучающий свойства множеств. ...
5. Теорема Гёделя о полноте Теорема Геделя о полноте Теорема Геделя о полноте Теорема утверждает, что любая непротиворечивая теория первого порядка...
6. Вселенная фон Неймана Вселенная Фон Неймана Вселенная фон Неймана — это множество всех множеств, которое является аксиомой регулярности в...
7. Первый проект отчета о EDVAC Первый проект отчета о EDVAC Обзор отчета фон Неймана об EDVAC Отчет фон Неймана об EDVAC,...
8. Браузер классов Браузер классов История и эволюция браузеров классов Браузеры классов берут начало в Smalltalk, одном из первых...
9. Модифицированная архитектура Гарварда Модифицированная архитектура Гарварда Модифицированная гарвардская архитектура Модифицированная гарвардская архитектура позволяет обращаться к памяти инструкций как к...
10. Описательная теория сложности Описательная теория сложности Основы логики первого порядка Логика первого порядка (FO) — это формальная система, которая...
11. Логика второго порядка Логика второго порядка Логика второго порядка — это расширение логики первого порядка, позволяющее количественно оценивать свойства...
12. Архитектура фон Неймана Архитектура Фон Неймана Эволюция компьютеров Компьютеры прошли путь от электромеханических устройств до полностью электронных.  Первые компьютеры...
13. Теорема Диаконеску Теорема Дьяконеску Основы конструктивного анализа Конструктивный анализ — это математическая теория, которая использует конструктивные методы для...
14. Семиты Полусет Определение полумножества Полумножество — это подкласс множества, который является собственным классом.  Невозможность полумножеств в теории...
15. Логика высшего порядка Логика высшего порядка Логика высшего порядка (HOL) отличается от логики первого порядка дополнительными квантификаторами и более...
16. Первоэлемент Элемент управления Определение и роль ur-элементов в теории множеств Ur-элемент — это объект, не являющийся множеством,...
17. Абелева алгебра фон Неймана Абелева алгебра фон Неймана Абелевы алгебры фон Неймана играют важную роль в эргодической теории.  Они являются...
18. Группа классов картографии Сопоставление группы классов Определение и свойства групп классов отображения Группа классов отображения X — это группа...
19. Начальный класс Начальный класс Определение и примеры элементарных классов Элементарный класс — это класс, который удовлетворяет всем предложениям...
20. Общий порядок Общий заказ Определение и примеры упорядоченных множеств Упорядоченное множество — это множество с заданным отношением порядка. ...
21. Ассоциация символической логики Ассоциация символической логики Обзор Ассоциации символической логики ASL — это международная организация, занимающаяся изучением символической логики. ...
22. Гейтинговая арифметика Захватывающая арифметика Основы конструктивной математики Конструктивная математика отличается от классической тем, что она основана на конструкциях,...