Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Электронные издания ВСГУТУ- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Найдено в других БД:
Книги (15)
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=теория алгоритмов<.>)
Общее количество найденных документов
:
2
Показаны документы
с 1 по 2
>
1.
51
Б 614
Бильгаева, Надежда Цанжиевна
.
Теория
алгоритмов
, формальных языков, грамматик и автоматов [] : Учеб. пособие для вузов по спец. 220400 "Программное обеспечение выч. техники и автоматизир. систем" / Н. Ц. Бильгаева ; Вост.-Сиб. гос. технол. ун-т. - Улан-Удэ : Издательство ВСГТУ, 2000. - 99 с. : ил. - 15.00 р.
ГРНТИ
28.25
УДК
510.5(075.8)
Рубрики:
Кибернетика--Учебные пособия
Математика--
Теория
алгоритмов
--Вычислимые функции
Кл.слова (ненормированные):
Теория
алгоритмов
--
Теория
автоматов
--
Формальные языки
--
Рекурсивные функции
--
Машины Тьюринга
--
Вычислимые функции
--
Формальные грамматики
--
Алгоритмы
--
Автоматы
--
Автоматы Мили
--
Автоматы Мура
--
Учебные пособия
--
Бильгаева, Н. Ц.
Перейти к внешнему ресурсу:
полный текст
,
Перейти к внешнему ресурсу:
полный текст в ЭБС "Библиотех"
Доп.точки доступа:
Восточно-Сибирский государственный технологический университет (Улан-Удэ)
Учебная литература:
ЭтФ / ТК / 09.02.03 11кл /
Теория
алгоритмов
/ 1 / Доп
ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн
ЭтФ / ТК / 09.02.03 9кл /
Теория
алгоритмов
/ 3 / Доп
СФ / Сопр / 09.03.02 /
Теория
алгоритмов
/ 4 / Осн
ЭтФ / ЭВС / 09.03.01 / Цифровые автоматы / 5 / Осн
ЭтФ / СИ / 09.03.04 / Логика и
теория
алгоритмов
/ 5 / Доп
ЭтФ / СИ / 02.03.03 / Рекурсивно-логическое программирование / 7 / Доп
Экземпляры всего:
40
чз (2), аб (38)
Свободны:
чз (2), аб (38)
Найти похожие
>
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 / Осн
Свободных экз. нет
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога