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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

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

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

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

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

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

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

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

   22.12
   К 60

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : УРСС, 2004. - 238, [2] с. - (Классический университетский учебник). - ISBN 5-354-00389-X : 149.50 р.

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

Доп.точки доступа:
Драгалин, А.Г.; МГУ им. М. В. Ломоносова
Экземпляры всего: 4
Ч.з.1 (4)
Свободны: Ч.з.1 (4)
Найти похожие

   22.17
   К 89

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

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

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

   74.58
   М 34

    Матросов В.Л.
    Избранные статьи и доклады [Text] / Матросов В.Л. - М. : Магистр, 1996. - 252 с. - 5.00 р.

ББК 74.584(2)738.1 + 22.127
Рубрики: Высшая школа
Кл.слова (ненормированные):
университетское образование -- Московский педагогический государственный университет -- МПГУ -- педагогическое образование -- математическая логика -- теория алгоритмов -- научная -- сборник научных трудов

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

   22.12
   И 26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Text] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 206.60 р.

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

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

   22.17
   Л 43


    Лекции по дискретной математике [Текст] / Ю. В. Капитонова [и др.]. - СПб. : БХВ-Петербург, 2004. - 614 с. - ISBN 5-94157-546-7 : 179.00 р.

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

Доп.точки доступа:
Капитонова, Ю.В.; Кривой, С.Л.; Летичевский, А.А.; Луцкий, Г.М.
Экземпляры всего: 16
Ч.з.1 (5), Аб.2 (11)
Свободны: Ч.з.1 (5), Аб.2 (11)
Найти похожие

   22.12
   Т 33


    Теория алгоритмов [Text] : Программа учебной дисциплины для студ. БГПУ по подготовки дипломированного специалиста "Информатика с доп. спец. (математика)". - Благовещенск : Изд-во БГПУ, 2004. - 15 с. - 6.70 р.

ББК 22.127р30
Рубрики: Высшая математика
Кл.слова (ненормированные):
алгоритмы -- теория алгоритмов -- учебная программа для вузов

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

   22.12
   Т 33


    Теория алгоритмов [Text] : программа учебной дисциплины для студ. БГПУ по спец. "Физика с доп. спец.(информатика)". - Благовещенск : Изд-во БГПУ, 2004. - 13 с. - 6.70 р.

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для физ.-мат. спец. пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Сарат. ун-та, 1991. - 255, [1] с. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 : 3.00 р.

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

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

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

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