Научная библиотека ВСГУТУ

   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)
Найти похожие

   Эл. ресурс
   Б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 / Осн
Свободных экз. нет
Найти похожие

Тематический навигатор

ссылка на мобильную версию электронного каталога

Базы данных

Электронные издания ВСГУТУ- результаты поиска

Вид поиска