Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Электронные издания ВСГУТУ- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Найдено в других БД:
Книги (1)
Формат представления найденных документов:
полный
информационный
краткий
Поисковый запрос:
(<.>S=Математическая логика -- Учебно-практические пособия<.>)
Общее количество найденных документов
:
1
>
1.
Эл. ресурс
Б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 / Осн
Свободных экз. нет
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога