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