И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) |
И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5272-4 : 267.00 р. Допущено МО РФ
Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованные исчисления высказываний -- логика предикатов -- элементы теории алгоритмов -- учебные пособия Учебная литература: ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Доп ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Доп Экземпляры всего: 2 аб (1), чз (1) Свободны: аб (1), чз (1) |