И269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р. Допущено МО РФ
Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия Учебная литература: ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Осн СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Осн ЭтФ / СИ / 09.03.04 / Функционально-логическое программирование / 7 / Доп Экземпляры всего: 5 чз (2), аб (3) Свободны: чз (2), аб (3) |