51(07)
И 268
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2010. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 3830.00 тг. Рубрики: Математическая логика--Учебники и учебные пособия
Алгоритмов теория --Учебники и учебные пособия
Кл.слова (ненормированные):
алгебра высказываний -- тавтолигии -- логическое следование формул -- логико-математическая практика -- прямая теорема -- обратная теорема -- закон контрапозиции -- булевые функции -- релейно-контактные схемы -- система аксиом -- логика предикатов -- аксиоматические теории -- теории первого порядка -- машины Тьюринга -- рекурсивные функции -- нормальные алгоритмы Маркова -- разрешимость множеств -- перечислимость множеств -- логическое программирование -- информатика -- искусственный интеллект -- компьютеры
Держатели документа:
Восточно-Казахстанский филиал РНТБ Казахстана
Экземпляры всего: 1
05-ОБ (1)
Свободны: 05-ОБ (1)
|