ВУЗ:
Составители:
Рубрика:
Дополнительный список литературы 17
Логическая истинность (т. III, с. 230, 231); Логическая семантика (т. III, с. 231,
232); Логический синтаксис (т. III, с. 241); Логическое исчисление (т. III, с. 246);
Математическая индукция (т. III, с. 338-340); Математическая логика (т. III, с.
340-342); Метод аксиоматический (т. III, с. 416-418); Многозначная логика (т. III,
с. 472-474); Модальная логика (т. III, с. 475-478); Натуральное исчисление (т. III,
с. 560, 561); Независимость (т. IV, с. 16); Неполная индукция (т. IV, с. 55, 56);
Непротиворечивость (т. IV, с. 59-61); Неразрешимая формула (т. IV, с. 61, 62);
Отрицание (т. IV, с. 186-188); Полнота (т. IV, с. 302); Полнота функциональная
(т. IV, с. 303, 304); Полнота дедуктивная (т. IV, с. 351); Понятие (т. IV, с. 311-318);
Посылка (т. IV, с. 327); Правила вывода (т. IV, с. 330); Правило замены равного
равным (т. IV, с. 330, 331); Предваренная форма (т. IV, с. 350); Предикат (т. IV,
с. 303, 304); Предикатов исчисление (т. IV, с. 351-356); Принцип замещения (т.
IV, с. 366); Принцип исключенного третьего (т. IV, с. 367, 368); Равенство (т. IV,
с. 445, 446); Разрешения проблемы (т. IV, с. 459, 460); Рекурсивные функции и
предикаты (т. IV, с. 487-489); Секвенций исчисление (т. IV, с. 573); Семантика (т.
IV, с. 576); Семиотика (т. IV, с. 577, 578); Синтаксис (т. V, с. 15); Суждение (т. V,
с. 159-162); Схема аксиом (т. V, с. 170); Тавтология (т. V, с. 177, 178); Теорема (т.
V, с. 203, 204); Теорема о дедукции (т. V, с. 204); Тождества закон (т. V, с. 237);
Тождества проблема (т. V, с. 237); Тождественная истинность (т. V, с. 237, 238);
Тождество (т. V, с. 238-241); Умозаключение (т. V, с. 276); Формальная логика
(т. V, с. 392, 393); Формальная система (т. V, с. 393).
2. Математическая энциклопедия. Т. I – V. (гл. ред. акад. И.М. Виноградов). М:
Советская энциклопедия. Т. I, 1977; Т. II, 1979; Т. III, 1982; Т. IV, 1984; Т. V,
1985. Cм. статьи: Аксиом схема (т. I, 102, 103); Аксиоматический метод (т. I,
109-113); Алгебра логики (т. I, 123-129); Алгоритм (т. I, 202-206); Алгоритмиче
ская проблема (т. I, 214-218); Антиномия (т. I, 292-296); Арифметика формальная
(т. I, 319-321); Бесконечная индукция (т. I, 434, 435); Булевы функции (т. I, 553,
554); Вывод (т. I, 779, 780); Вывода правило (т. I, 779); Выводимое правило (т.
I, 781); Вычислимая функция (т. I, 818-821); Геделя теорема о неполноте (т. I,
909, 910); Геделя теорема о полноте (т. I, 910, 911); Дедукции теорема (т. II,
65, 66); Индивидная константа (т. II, 555); Индивидная переменная (т. II, 555,
556); Индуктивное определение (т. II, 556, 557); Индукции аксиома (т. II, 558);
Карнапа правило (т. II, 728, 729); Квантор (т. II, 837); Логико-математические
исчисления (т. III, 411-415); Логическая аксиома (т. III, 415); Логическая опера
ция (т. III, 416); Логическая формула (т. III, 416); Логические исчисления (т.
III, 416-420); Логический закон (т. III, 420); Логическое следствие (т. III, 420);
Математическая логика (т. III, 568-574); Многозначная логика (т. III, 713-720);
Модус поненс (т. III, 790, 791); Наименьшего числа оператор (т. III, 875, 876);
Нормальный алгорифм (т. III, 1072, 1073); Общезначимость (т. III, 1147); Обще
рекурсивная функция (т. III, 1147); Перечислимое множество (т. IV, 265); Пирса
стрелка (т. IV, 287, 288); Предваренная формула (т. IV, 555, 556); Предикат (т.
IV, 576, 577); Предикатная переменная (т. IV, 577); Предикатный символ (т. IV,
577); Предикатов исчисление (т. IV, 577-580); Примитивная рекурсия (т. IV, 636);
Примитивно рекурсивная функция (т. IV, 636, 637); Пропозициональная связка
(т. IV, 698); Пропозициональная форма (т. IV, 698); Пропозициональная форму
ла (т. IV, 698); Пропозициональное исчисление (т. IV, 699, 700); Противоречие
(т. IV, 720, 721); Разрешения проблема (т. IV, 850); Разрешимое множество (т.
IV, 852); Разрешимый предикат (т. IV, 852); Рекурсивная функция (т. IV, 960,
961); Рекурсивный предикат (т. IV, 962); Рекурсия (т. IV, 962-965); Семантика (т.
IV, 1110); Синтаксис (т. IV, 1181, 1182); Суждение (т. V, 269); Тьюринга машина
Математическая логика и основы теории алгоритмов
