Б218 Балюкевич, Э. Л. Математическая логика и теория алгоритмов [] : учебно-практическое пособие для студентов высших учебных заведений обучающихся по специальности 080801 "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электрон. ун-т", Моск. гос. ун-т экономики, статистики и информатики, Евраз. открытый ин-т. - Москва : Издательский центр ЕАОИ, 2009. - 189 с. - ISBN 978-5-374-00220-1 : Б. ц. Рекомендовано УМО
Рубрики: Математическая логика--Учебно-практические пособия Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- алгебра высказываний -- проверка правильности рассуждений -- исчисление высказываний -- алгебра предикатов -- учебно-практические пособия -- сборники задач -- Балюкевич, Э. Л. -- Ковалева, Л. Ф. Перейти к внешнему ресурсу: полный текст в ЭБС "Библиотех" Доп.точки доступа: Ковалева, Л. Ф.; Международный консорциум "Электронный университет"Московский государственный университет экономики, статистики и информатики; Евразийский открытый институт Учебная литература: ЭтФ / СИ / 09.03.04 / Математическая логика 1 / 1 / Осн ЭтФ / ТК / 09.02.03 11кл / Теория алгоритмов / 1 / Осн ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Осн ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Осн ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Осн ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Осн ЭтФ / ЭВС / 09.03.01 / Логические основы ЭВМ и алгоритмизации / 3 / Осн ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн ЭтФ / ТК / 09.02.03 9кл / Теория алгоритмов / 3 / Осн ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Осн ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Осн СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Осн ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Осн ЭтФ / СИ / 02.03.03 / Практикум по логике предикатов / 5 / Доп ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Осн Свободных экз. нет |