Б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 / Осн Свободных экз. нет |
Б173 Базарон, Сэсэг Арсалановна. Алгебра высказываний [] : практикум по дисциплине "Математическая логика" / С. А. Базарон, Н. В. Андреева, С. Д. Данилова ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2013. - 35 с. : табл. ; 20 см. - 100 экз.. - 19 р.
Кл.слова (ненормированные): алгебра высказываний -- практикумы -- учебные пособия -- Базарон, С. А. -- Андреева, Н. В. -- Данилова, С. Д. Перейти к внешнему ресурсу: http://esstu.ru/library/bibliotech/Базарон-СА-и-др-Алгебра-высказываний-Практикум.pdf, Перейти к внешнему ресурсу: полный текст в ЭБС "Библиотех" Доп.точки доступа: Андреева, Надежда Валерьевна; Данилова, Соелма Доржигушаевна; Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ) Учебная литература: ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп ЭтФ / СИ / 09.03.04 / Математическая логика 1 / 1 / Доп Экземпляры всего: 50 аб (45), чз (5) Свободны: аб (45), чз (5) |