TY  - BOOK
AU  - Игошин,Владимир Иванович
TI  - Задачи и упражнения по математической логике и теории алгоритмов: [учебное пособие для вузов по специальности 032100 "Математика"]
T2  - Высшее профессиональное образование
SN  - 5769513640
PY  - 2005///
CY  - М.
PB  - Академия
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  - Библиогр.: с. 301
ER  -