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

Базы данных


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

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

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : УРСС, 2004. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-00389-X : 140.00 р., 156.90 р.
27.23
УДК
510.6(075.8)
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория


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

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


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

    Глушков, Виктор Михайлович.
    Введение в кибернетику / В. М. Глушков ; Академия наук Украинской ССР. - Киев : [б. и.], 1964. - 322 с. - 3.00 р., 1.25 р.
ГРНТИ
28
УДК
007
Рубрики: Кибернетика
Кл.слова (ненормированные):
Распознавание образов -- Кибернетика -- Цифровые машины -- Автоматов теория -- Алгоритмов теория


Доп.точки доступа:
Академия наук Украинской ССР
Экземпляры всего: 4
Х (1), АБН (3)
Свободны: Х (1), АБН (3)
Найти похожие
4.
   681
   М 594

    Миков, Александр Иванович.
    Информатика. Введение в компьютерные науки : учебное пособие для университетов по направлению "Прикладная математика и информатика" / А. И. Миков ; Министерство общего и профессионального образования РФ, Пермский государственный университет. - Пермь : [б. и.], 1998. - 210 с. : ил. - Библиогр.: с. 207. - ISBN 5-7944-0097-8 : 30.00 р., 30.00 р.
ГРНТИ
50.01.33
УДК
004(075.8)
Рубрики: Вычислительная техника--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
АЛГОРИТМОВ ТЕОРИЯ -- РЕКУРСИВНЫЕ АЛГОРИТМЫ -- СЛОЖНОСТЬ АЛГОРИТМОВ -- ОПТИМИЗАЦИЯ АЛГОРИТМОВ -- СОРТИРОВКА МАССИВОВ -- СОРТИРОВКА ПОСЛЕДОВАТЕЛЬНЫХ ФАЙЛОВ -- ХЕШИРОВАНИЕ -- ФОРМАЛЬНЫЕ ЯЗЫКИ


Доп.точки доступа:
Министерство общего и профессионального образования РФ; Пермский государственный университет
Экземпляры всего: 5
Х (1), АБУ (4)
Свободны: Х (1), АБУ (4)
Найти похожие
5.
   517
   У 774

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.
27.03.19
УДК
510.6(075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания


Доп.точки доступа:
Верещагин, Николай Константинович
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие
6.
519
Г 671

    Горбатов, Вячеслав Афанасьевич.
    Фундаментальные основы дискретной математики.Информационная математика [Текст] : учеб.для втузов / Вячеслав Афанасьевич Горбатов. - М. : Наука,Физматлит, 2000. - 544с. - Библиогр.:с.533-535. - ISBN 5-02-015238-2 : 90 р.
УДК
519.1(075.8)
РУБ 519
Рубрики: Дискретная математика
Кл.слова (ненормированные):
Учебные издания -- Дискретная математика -- Множеств теория -- Математическая логика -- Графов теория -- Алгоритмов теория

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

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

Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие
8.
   681
   М545

   
    Методы и средства информационной технологии в науке и производстве = The methods and means of informational technology in science and industry : [сборник статей / Рос. акад. наук, С.-Петерб. ин-т информатики и автоматизации ; отв. ред. Р. М. Юсупов]. - СПб. : Наука, 1992. - 262 с. : ил. - ISBN 5-02-024572-0 : 6.50 р.
ГРНТИ
50.01.05
УДК
004(082)
Рубрики: Информационные технологии--Сборники
Кл.слова (ненормированные):
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- МОДЕЛИРОВАНИЕ -- АЛГОРИТМОВ ТЕОРИЯ
Аннотация: Дана теория алгоритмов, программирования, моделирования технических, социальных, природных систем и процессов


Доп.точки доступа:
Юсупов, Рафаэль Мидхатович \ред.\; Российская академия наукСанкт-Петербургский институт информатики и автоматизации
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
9.
   517
   К 608

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


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

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
   Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

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