Балюкевич, Э. Л. Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-практическое пособие для студентов высших учебных заведений обучающихся по специальности 080801 "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электрон. ун-т", Моск. гос. ун-т экономики, статистики и информатики, Евраз. открытый ин-т. - Москва : Издательский центр ЕАОИ, 2009. - 189 с. - ISBN 978-5-374-00220-1 : Б. ц. Рекомендовано УМО ГРНТИ 06.35.51 Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- проверка правильности рассуждений -- исчисление высказываний -- алгебра предикатов -- учебно-практические пособия -- сборники задач Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Ковалева, Л. Ф. --- Международный консорциум "Электронный университет" Московский государственный университет экономики, статистики и информатики Евразийский открытый институт Свободных экз. нет |