Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=формальные системы<.>

Общее количество найденных документов : 2
Показаны документы с 1 по 2

   22.17
   К 89

    Кузнецов, О. П.
    Дискретная математика для инженера [Text] / О.П. Кузнецов. - 3-е изд., перераб. и доп. - СПб. [и др.] : Лань, 2004. - 394, [1] с. - (Учебник для вузов. Специальная литература). - ISBN 5-8114-0570-7 : 169.50 р.

ББК 22.174я73
Рубрики: Математика
Кл.слова (ненормированные):
дискретная математика -- множества -- функции -- логика -- графы -- теория алгоритмов -- формальные системы -- языки программирования -- автоматы -- учебник для вузов

Экземпляры всего: 5
Аб.2 (5)
Свободны: Аб.2 (5)
Найти похожие

   22.1г
   Я 29

    Яглом, Исаак Моисеевич.
    Математика и реальный мир [Текст] / И. М. Яглом. - М. : Знание, 1978. - 63, [1] с. - (Новое в жизни, науке, технике. Серия "Математика, кибернетика"; № 7). - 0.11 р.

ББК 22.1г
Рубрики: История математики
Кл.слова (ненормированные):
математика -- возникновение математики -- реальный мир -- формальные системы

Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие

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

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)