TY  - BOOK
AU  - Игошин,Владимир Иванович
TI  - Математическая логика и теория алгоритмов: [учебное пособие по специальности 032100 “Математика”]
T2  - Высшее профессиональное образование. Педагогические специальности
SN  - 5769513632
PY  - 2004///
CY  - М.
PB  - Академия
KW  - математическая логика
KW  - RuMoRKP
KW  - алгоритмы
KW  - учебные пособия для вузов
KW  - алгебра высказываний
KW  - булевы функции
KW  - аксиоматическая теория алгебры высказываний
KW  - логика предикатов
KW  - квантор общности
KW  - квантор существования
KW  - формулы алгебры высказываний
KW  - тавтологии (алгебра высказываний)
KW  - логическая равносильность формул
KW  - логическое следование формул
KW  - дизъюнкция
KW  - конъюнкция
KW  - прямые теоремы
KW  - обратные теоремы
KW  - контрапозиция
KW  - математические теоремы (математическая логика)
KW  - дедуктивные умозаключения
KW  - индуктивные умозаключения
KW  - решение логических задач
KW  - принцип полной дизъюнкции
KW  - множества
KW  - бинарные отношения
KW  - булевы функции от одного аргумента
KW  - булевы функции от двух аргументов
KW  - булевы функции от n аргументов
KW  - отрицание (булевы функции)
KW  - системы булевых функций
KW  - Поста теорема о полноте системы булевых функций
KW  - булевы функции и релейно-контактные схемы
KW  - задачи теории релейно-контактных схем
KW  - релейно-контактные схемы ЭВМ
KW  - распознавание образов
KW  - диагностика заболеваний
KW  - аксиоматическая теория высказываний
KW  - теорема о дедукции
KW  - формализованное исчисление высказываний
KW  - лемма о выводимости (исчисление высказываний)
KW  - теория формального вывода
KW  - независимость аксиомы
KW  - независимость системы аксиом
KW  - классификация предикатов
KW  - множество истинности предиката
KW  - равносильность предикатов
KW  - логические операции над предикатами
KW  - кванторные операции над предикатами
KW  - кванторы численные
KW  - кванторы ограниченные
KW  - тавтологии (логика предикатов)
KW  - равносильность формул
KW  - формулы логики предикатов
KW  - формулы на конечных множествах
KW  - логико-математическая практика
KW  - строение математических теорем
KW  - математическая индукция
KW  - алгебра множеств
KW  - необходимые и достаточные условия (математическая логика)
KW  - формализованное исчисление предикатов
KW  - система аксиом исчисления предикатов
KW  - аксиоматические теории неформальные
KW  - аксиоматический метод в математике
KW  - аксиоматические теории
KW  - аксиоматические теории формальные
KW  - Геделя теорема о существовании модели
KW  - теорема компактности
KW  - формальные теории первого порядка
KW  - теория алгоритмов
KW  - Тьюринга машины
KW  - рекурсивные функции
KW  - Маркова нормальные алгоритмы
KW  - разрешимость множеств
KW  - перечислимость множеств
KW  - алгоритмические проблемы неразрешимые
KW  - натуральные числа
KW  - формальная арифметика
KW  - математическая логика и информатика
KW  - математическая логика и искусственный интеллект
KW  - программирование
KW  - верификация программ
KW  - программа Логик-теоретик
KW  - логическое программирование
KW  - язык программирования ПРОЛОГ
KW  - реляционные базы данных
KW  - логика запросов в реляционной базе данных
KW  - представление знаний (искусственный интеллект)
KW  - экспертные системы
N1  - Библиогр.: с. 435-442
ER  -