Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Алгоритмов теория<.>)
Общее количество найденных документов : 30
Показаны документы с 1 по 10
 1-10    11-20   21-30  
1.
   681
   К 682

    Королев, Лев Николаевич.
    Информатика. Введение в компьютерные науки !Otitkn.pft: FILE NOT FOUND! . - Москва : Высшая школа : Абрис, 2012. - 366, [1] с. : ил. - Библиогр.: с. 346-347. - ISBN 978-5-4372-0020-9 (в пер.) : 577.50 р., 577.50 р.
ГРНТИ
50.01.33
УДК
004(075.8)
Рубрики: Информационные технологии--Учебники для высших учебных заведений
Кл.слова (ненормированные):
КОМПЬЮТЕРНЫЕ НАУКИ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГОРИТМЫ РЕКУРСИВНЫЕ -- РЕКУРСИВНЫЕ ДАННЫЕ -- ЭВМ (АРХИТЕКТУРА) -- ЗАПОМИНАЮЩИЕ УСТРОЙСТВА


Доп.точки доступа:
Миков, Александр Иванович
Экземпляры всего: 30
Х (1), ЧЗЕ (1), АБУ (28)
Свободны: Х (1), ЧЗЕ (1), АБУ (28)
Найти похожие
2.
   517
   Г 858

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.
ГРНТИ
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ)


Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 11
Х (1), ЧЗЕ (1), АБУ (9)
Свободны: Х (1), ЧЗЕ (1), АБУ (9)
Найти похожие
3.
   517
   Б 218

    Балюкевич, Эдуард Людвигович.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-методический комплекс : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электронный ун-т" [и др.]. - Электрон. текстовые дан. - Москва : Издательский центр Евразийского открытого института, 2009. - 1 on-line. - Загл. с домашней страницы Интернета. - ISBN 978-5-374-00220-1 : 5479.92 р.
ГРНТИ
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
   Алгоритмов теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЙ АППАРАТ
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.

Перейти: Электронная библиотека

Доп.точки доступа:
Ковалева, Л. Ф.; Московский государственный университет экономики, статистики и информатикиЕвразийский открытый институт; Международный консорциум "Электронный университет"
Свободных экз. нет
Найти похожие
4.
   51
   К 845

    Крупский, Владимир Николаевич.
    Теория алгоритмов : учебное пособие для вузов / В. Н. Крупский, В. Е. Плиско. - Москва : Академия, 2009. - 208 с. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 203. - ISBN 978-5-7695-5293-9 : 385.00 р., 385 р., 385.00 р.
ГРНТИ
27
УДК
510.5(075.8)
Рубрики: Теория алгоритмов--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Гильберта проблема -- Тьюринга машины -- Клини форма -- Райса теорема -- Алгоритмов теория -- Алгоритмическая теория множеств


Доп.точки доступа:
Плиско, Валерий Егорович
Экземпляры всего: 10
Х (1), АБУ (8), ЧЗЕ (1)
Свободны: Х (1), АБУ (8), ЧЗЕ (1)
Найти похожие
5.
   517
   З-153

   
    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для студентов вузов, обучающихся по специальностям в области 090100 - "Информационная безопасность" / М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков. - Санкт-петербург ; Москва ; Краснодар : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : 109.20 р., 109.20 р.
ГРНТИ
27.03
УДК
510.6
519.1
510.51](076.1)
Рубрики: Математическая логика--Задачники
   Дискретная математика--Задачники
   Алгоритмы--Теория--Задачники
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА (ЗАДАЧИ) -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ДИСКРЕТНЫЕ ФУНКЦИИ (ЗАДАЧИ) -- БУЛЕВЫ ФУНКЦИИ -- ТЕОРИЯ АЛГОРИТМОВ (ЗАДАЧИ) -- АЛГОРИТМОВ ТЕОРИЯ


Доп.точки доступа:
Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович
Экземпляры всего: 3
Х (1), АБУ (1), ЧЗЕ (1)
Свободны: Х (1), АБУ (1), ЧЗЕ (1)
Найти похожие
6.
   517
   С 892

    Судоплатов, Сергей Владимирович.
    Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Министерство образования РФ, Новосибирский государственный технический университет. - Москва : Инфра-М ; Новосибирск : НГТУ, 2008. - 224 с. : рис. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 118.80 р., 118.80 р., 100.00 р., 100 р.
ГРНТИ
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
   Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МОДЕЛЕЙ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- НЕКЛАССИЧЕСКИЕ ЛОГИКИ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ


Доп.точки доступа:
Овчинникова, Елена Викторовна; Министерство образования РФНовосибирский государственный технический университет
Экземпляры всего: 18
Х (1), АБУ (16), ЧЗЕ (1)
Свободны: Х (1), АБУ (16), ЧЗЕ (1)
Найти похожие
7.
   517
   И 269

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-3728-0 : 193.10 р., 193.10 р.
27.03
УДК
510.6
510.51](076.1)
Рубрики: Математика--Математическая логика--Алгоритмы--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ

Экземпляры всего: 30
Х (1), ЧЗЕ (1), АБУ (28)
Свободны: Х (1), ЧЗЕ (1), АБУ (28)
Найти похожие
8.
   517
   К 608

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. В. Ломоносова. - 3-е изд., стер. - Москва : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - ISBN 5-484-00520-5 : 129 р.
27.03.19
УДК
510.6(075.8)
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ


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

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. Л. Ломоносова. - 2-е изд., стер. - Москва : УРСС, 2005. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-01003-9 : 159 р.
ГРНТИ
27.23
УДК
510.6(075.8)
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория


Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. Л. Ломоносова
Экземпляры всего: 2
АБУ (2)
Свободны: АБУ (2)
Найти похожие
10.
   519
   П 396

    Плотников, Анатолий Дмитриевич.
    Дискретная математика : учебное пособие / А. Д. Плотников. - Москва : Новое знание, 2005. - 288 с. - Библиогр.: с. 278-279. - ISBN 5-94735-073-4 : 110.90 р., 110.90 р.
УДК
519.1(075.8)
Рубрики: Математика
Кл.слова (ненормированные):
Дискретная математика -- Множеств теория -- Графов теория -- Математическая логика -- Алгоритмов теория -- Колебинаторика -- Учебное пособие -- Радиовещание (инструкции)

Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие
 1-10    11-20   21-30  
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 10.08.2024
Число запросов 31585
Число посетителей 526
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)