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

1. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
2. Допустимое правило Оглавление1 Допустимое правило1.1 Основы допустимых правил1.2 Примеры допустимых правил1.3 Разрешимость и полнота1.4 Базисы допустимых правил1.5 Семантика...
3. Монадическое исчисление предикатов Монадическое исчисление предикатов Монадическое исчисление предикатов – фрагмент логики первого порядка с монадическими символами отношений и...
4. Предикат (грамматика) Оглавление1 Сказуемое (грамматика)1.1 Одушевленность и падежи1.2 Необычная тема и падежи1.3 Числительное, массовое и собирательное существительные1.4 Определенность...
5. Переменная (информатика) Оглавление1 Переменная (информатика)1.1 Определение переменной1.2 Типы переменных1.3 Распределение и освобождение памяти1.4 Именование переменных1.5 Использование переменных1.6 Примеры...
6. Схема аксиом Оглавление1 Схема аксиомы1.1 Определение схемы аксиомы1.2 Конечная аксиоматизация и примеры1.3 Аксиоматические теории и их аксиоматизация1.4 Логика...
7. Неинициализированная переменная Оглавление1 Неинициализированная переменная1.1 Неинициализированные переменные в программировании1.2 Пример на языке Си1.3 Утечка памяти в структурах1.4 Инициализация...
8. Логика первого порядка Оглавление1 Логика первого порядка1.1 Определение логики первого порядка1.2 Основные понятия1.3 Правила логики первого порядка1.4 Роль круглых...
9. Логика первого порядка Оглавление1 Логика первого порядка1.1 Определение логики первого порядка1.2 Основные понятия1.3 Правила логики первого порядка1.4 Роль круглых...
10. Slack переменная Оглавление1 Переменная провисания1.1 Определение и использование переменных Slack1.2 Пример использования переменных Slack1.3 Вложение многогранника в ортант1.4...
11. Описательная теория сложности Оглавление1 Описательная теория сложности1.1 Основы логики первого порядка1.2 Логика второго порядка1.3 Характеристики классов сложности1.4 Теорема Иммермана-Варди1.5...
12. Локальная переменная Оглавление1 Локальная переменная1.1 Основы локальных переменных1.2 Семантика вызова по значению1.3 Семантика вызова по ссылке и имени1.4...
13. Промежуточная логика Оглавление1 Промежуточная логика1.1 Определение и классификация логических систем1.2 Примеры логических систем1.3 Логика и математика1.4 Семантика и...
14. Предикат (математическая логика) Предикат (математическая логика) Предикат – символ, представляющий свойство или отношение в логике.  Значение предиката – функция...
15. Логика второго порядка Логика второго порядка Логика второго порядка – это расширение логики первого порядка, позволяющее количественно оценивать свойства...
16. Область применения (информатика) Оглавление1 Область применения (информатика)1.1 Основы области видимости1.2 Лексическая область видимости1.3 Динамическая область видимости1.4 Область действия функции1.5...
17. Модель скрытой переменной Оглавление1 Модель скрытой переменной1.1 Основы модели скрытой переменной1.2 Типы моделей скрытых переменных1.3 Психометрическая и психологическая скрытая...
18. Временная переменная Оглавление1 Временная переменная1.1 Определение временной переменной1.2 Примеры использования временных переменных1.3 Именование временных переменных1.4 Использование временных данных...
19. Логика высшего порядка Логика высшего порядка Логика высшего порядка (HOL) отличается от логики первого порядка дополнительными квантификаторами и более...
20. Монадическая логика второго порядка Монадическая логика второго порядка Монадическая логика второго порядка (MSO) является фрагментом логики второго порядка с ограниченной...
21. Описательная теория сложности Оглавление1 Описательная теория сложности1.1 Основы логики первого порядка1.2 Логика второго порядка1.3 Характеристики классов сложности1.4 Теорема Иммермана-Варди1.5...
22. Аксиома Оглавление1 Аксиома1.1 Основы математической логики1.2 Аксиомы и правила вывода1.3 Примеры аксиом1.4 Логические исчисления1.5 Логика первого порядка1.6...