TY - BOOK AU - Игошин, В. И. TI - Математическая логика и теория алгоритмов T2 - Высшее профессиональное образование. Педагогические специальности SN - 5769513632 PY - 2004/// CY - Москва PB - Academia KW - Математическая логика KW - stltpush KW - (RuTPU)RU\TPU\subj\41205 KW - Алгоритмы, теория KW - (RuTPU)RU\TPU\subj\58912 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 - 510.6(075.8) KW - 3 KW - 510.5(075.8) N2 - Библиогр.: с. 435-442 ER -