51 И269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р. Допущено МО РФ ГРНТИ 27.03.19 27.03.17 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия Экземпляры всего: 5 Mесто хранения: чз (2), аб (3) Свободны: чз (2), аб (3) |
51 И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5272-4 : 267.00 р. Допущено МО РФ ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованные исчисления высказываний -- логика предикатов -- элементы теории алгоритмов -- учебные пособия Экземпляры всего: 2 Mесто хранения: аб (1), чз (1) Свободны: аб (1), чз (1) |
Балюкевич, Э. Л. Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-практическое пособие для студентов высших учебных заведений обучающихся по специальности 080801 "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электрон. ун-т", Моск. гос. ун-т экономики, статистики и информатики, Евраз. открытый ин-т. - Москва : Издательский центр ЕАОИ, 2009. - 189 с. - ISBN 978-5-374-00220-1 : Б. ц. Рекомендовано УМО ГРНТИ 06.35.51 Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- проверка правильности рассуждений -- исчисление высказываний -- алгебра предикатов -- учебно-практические пособия -- сборники задач Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Ковалева, Л. Ф. --- Международный консорциум "Электронный университет" Московский государственный университет экономики, статистики и информатики Евразийский открытый институт Свободных экз. нет |
51 Б173 Базарон, Сэсэг Арсалановна. Алгебра высказываний : практикум по дисциплине "Математическая логика" / С. А. Базарон, Н. В. Андреева, С. Д. Данилова ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2013. - 35 с. : табл. ; 20 см. - 100 экз.. - 19 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: алгебра высказываний -- практикумы -- учебные пособия Перейти к внешнему ресурсу Полный текст, Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Андреева, Надежда Валерьевна --- Данилова, Соелма Доржигушаевна --- Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ) Экземпляры всего: 50 Mесто хранения: аб (45), чз (5) Свободны: аб (45), чз (5) |