Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Электронные издания ВСГУТУ- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Найдено в других БД:
Книги (59)
Статьи (2)
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=математическая логика<.>)
Общее количество найденных документов
:
5
Показаны документы
с 1 по 5
>
1.
51
О-753
Основы алгебры
логики
[] : Метод. указания к выполнению типового расчета № 2 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; Сост. Л.В. Бурлова, А.А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2010. - 64 с. - Б. ц.
ГРНТИ
27.03.19
27.23
УДК
510.6(075.8)
519.7(075.8)
Рубрики:
Математическая
логика
--Методические указания--Учебные пособия
Дискретная математика--Методические указания--Учебные пособия
Кл.слова (ненормированные):
алгебра
логики
--
математическая
логика
--
дискретная математика
--
методические указания
--
учебные пособия
--
Бурлова, Л. В.
--
Бадлуева, А. А.
Перейти к внешнему ресурсу:
полный текст
,
Перейти к внешнему ресурсу:
полный текст в ЭБС "БиблиоТех"
Доп.точки доступа:
Бурлова, Л.В. \сост.\; Бадлуева, А.А. \сост.\; ВСГТУ
Учебная литература:
ФЭУ / ПМ / 38.03.05 / Дискретная математика / 1 / Доп
ФЭУ / ПМ / 09.03.03 / Дискретная математика / 2 / Доп
Экземпляры всего:
5
кх (5)
Свободны:
кх (5)
Найти похожие
>
2.
Эл. ресурс
Б218
Балюкевич, Э. Л.
Математическая
логика
и теория алгоритмов [] : учебно-практическое пособие для студентов высших учебных заведений обучающихся по специальности 080801 "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электрон. ун-т", Моск. гос. ун-т экономики, статистики и информатики, Евраз. открытый ин-т. - Москва : Издательский центр ЕАОИ, 2009. - 189 с. -
ISBN
978-5-374-00220-1 : Б. ц.
Рекомендовано УМО
ГРНТИ
06.35.51
Рубрики:
Математическая
логика
--Учебно-практические пособия
Кл.слова (ненормированные):
математическая
логика
--
теория алгоритмов
--
алгебра высказываний
--
проверка правильности рассуждений
--
исчисление высказываний
--
алгебра предикатов
--
учебно-практические пособия
--
сборники задач
--
Балюкевич, Э. Л.
--
Ковалева, Л. Ф.
Перейти к внешнему ресурсу:
полный текст в ЭБС "Библиотех"
Доп.точки доступа:
Ковалева, Л. Ф.; Международный консорциум "Электронный университет"Московский государственный университет экономики, статистики и информатики; Евразийский открытый институт
Учебная литература:
ЭтФ / СИ / 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 / Осн
Свободных экз. нет
Найти похожие
>
3.
517
Е553
Елтошкина, Евгения Валерьевна
.
Конспект лекций по дисциплине "
Математический
анализ" [] : курс лекций [для студентов специальности 230401 "Прикладная математика" и бакалавриата 231301 "Прикладная математика"] / Е. В. Елтошкина, В. Д. Гармаев, Б. Б. Ошоров ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2012. - 296, [2] с. : ил. ; 29 см. - 100 экз.. - 314.00 р.
ГРНТИ
27.23
УДК
517(075.8)
Рубрики:
Математический
анализ--Курс лекций--Учебные пособия
Кл.слова (ненормированные):
математический
анализ
--
элементы теории множеств
--
математическая
логика
--
производные
--
теоремы дифференциального исчисления
--
исследование функций
--
уравнения
--
неравенства
--
неопределенные интегралы
--
определенные интегралы
--
приложения определенного интеграла
--
квадратурные формулы
--
конспекты лекций
--
учебные пособия
--
Елтошкина, Е. В.
--
Гармаев, В. Д.
--
Ошоров, Б. Б.
Перейти к внешнему ресурсу:
http://esstu.ru/library/bibliotech/Конспект_по_дисциплине_
Математический
_аланилз.pdf
,
Перейти к внешнему ресурсу:
полный текст в ЭБС "Библиотех"
Доп.точки доступа:
Гармаев, Валерий Дмитриевич; Ошоров, Батор Батуевич; Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ)
Учебная литература:
ЭтФ / ПМ / 09.03.04 /
Математический
анализ / 1 / Осн
ЮФ / ПМ / 01.03.04 /
Математический
анализ / 1 / Осн
СФ / ВМ / 08.05.01 /
Математический
анализ / 1 / Осн
ЮФ / ПМ / 01.03.04 /
Математический
анализ / 2 / Осн
СФ / ВМ / 08.05.01 /
Математический
анализ / 2 / Осн
ЭтФ / ВМ / 11.05.01 /
Математический
анализ / 2 / Осн
ЮФ / ПМ / 01.03.04 /
Математический
анализ / 3 / Осн
ЮФ / ПМ / 01.03.04 /
Математический
анализ / 4 / Осн
ЮФ / ПМ / 01.03.04 / Дополнительные главы
математического
анализа / 6 / Доп
ЮФ / ПМ / 01.03.04 / Нестандартные задачи
математического
анализа / 6 / Доп
Экземпляры всего:
30
чз (3), аб (27)
Свободны:
чз (3), аб (27)
Найти похожие
>
4.
519.1
Н192
Назарова, Людмила Игнатьевна
.
Дискретная математика.
Математическая
логика
и теория графов [] : [учебное пособие для студентов специальности "Прикладная математика"] / Л. И. Назарова ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2014. - 112 с. : рис. ; 20 см. - 100 экз.. -
ISBN
978-5-89230-517-4 : 59.00 р.
ГРНТИ
27.43
УДК
519.17(075.8)
510.6(075.8)
Рубрики:
Дискретная математика--Учебные пособия
Кл.слова (ненормированные):
математическая
логика
--
дискретная математика
--
теория графов
--
учебные пособия
--
Назарова, Л. И.
Перейти к внешнему ресурсу:
http://esstu.ru/library/bibliotech/Назарова_Л.И._Дискретная_математика.pdf
,
Перейти к внешнему ресурсу:
полный текст в ЭБС "Библиотех"
Доп.точки доступа:
Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ)
Учебная литература:
ФЭУ / ПМ / 38.03.05 / Дискретная математика / 1 / Осн
ЭтФ / СИ / 09.03.04 /
Математическая
логика
1 / 1 / Осн
ФЭУ / ПМ / 09.03.03 / Дискретная математика / 2 / Осн
ЭтФ / СИ / 02.03.03 / Теория графов / 3 / Осн
ЮФ / ПМ / 01.03.04 / Дополнительные вопросы теории графов / 7 / Доп
Экземпляры всего:
27
чз (3), аб (13), к.5 (11)
Свободны:
чз (3), аб (13), к.5 (11)
Найти похожие
>
5.
Эл. ресурс
Ш758
Шмырин, А. М.
Лекции по дискретной математике и
математической
логике
[] : учебное пособие / А. М. Шмырин. - Липецк : Липецкий государственный технический университет, 2014. - 163 с. - Б. ц.
Рубрики:
Дискретная математика--
Математическая
логика
--Учебные пособия
Кл.слова (ненормированные):
множества
--
графы
--
отношения
--
алгоритмы на графах
--
транспортные сети
--
математическая
логика
--
конечные автоматы
--
учебные пособия
--
Шмырин, А. М.
Перейти к внешнему ресурсу:
Полный текст в ЭБС "Руконт"
Учебная литература:
ЭтФ / ЭВС / 09.03.01 / Логические основы ЭВМ и алгоритмизации / 3 / Доп
Свободных экз. нет
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога