Научная Библиотека Пермского Государственного Университета

Главная

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

Базы данных

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

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

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

в найденном

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

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

Поисковый запрос: (<.>K=АЛГОРИТМОВ ТЕОРИЯ<.>)

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

1-20 21-30

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

   517
   К 608

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

ГРНТИ	27.23
УДК	510.6(075.8)

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

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

   621.398
   Г 555

    Глушков, Виктор Михайлович.
    Введение в кибернетику / В. М. Глушков ; Академия наук Украинской ССР. - Киев : [б. и.], 1964. - 322. - 3.00 р., 1.25 р.

ГРНТИ	28
УДК	007

Рубрики: Кибернетика
Кл.слова (ненормированные):
Распознавание образов -- Кибернетика -- Цифровые машины -- Автоматов теория -- Алгоритмов теория

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

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

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

519
Г 671

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

УДК

519.1(075.8)

РУБ 519
Рубрики: Дискретная математика
Кл.слова (ненормированные):
Учебные издания -- Дискретная математика -- Множеств теория -- Математическая логика -- Графов теория -- Алгоритмов теория

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

   519
   П 396

    Плотников, Анатолий Дмитриевич.
    Дискретная математика : учебное пособие / А. Д. Плотников. - Москва : Новое знание, 2005. - 288 с. - Библиогр.: с. 278-279. - ISBN 5-94735-073-4 : 110.90 р., 110.90 р.

УДК

519.1(075.8)

Рубрики: Математика
Кл.слова (ненормированные):
Дискретная математика -- Множеств теория -- Графов теория -- Математическая логика -- Алгоритмов теория -- Колебинаторика -- Учебное пособие -- Радиовещание (инструкции)

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

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

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

11.

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

12.

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

13.

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

14.

   681
   К 583

    Кожевникова, Галина Павловна.
    Теория алгоритмов / Г. П. Кожевникова ; Львов. гос. ун-т. - Львов : Вища школа, 1978. - 98 с. : ил. - Библиогр.: с. 96. - 0.15 р.

УДК

004.383.4(075.8)

Рубрики: Вычислительная техника. Автоматическая обработка данных--Учебные издания
Кл.слова (ненормированные):
Алгоритмов теория

Доп.точки доступа:
Костовский, А. Н. \ред.\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

15.

   681
   П 542

    Поляков, Евгений Александрович.
    Теория алгоритмов : учеб. пособие / Е. А. Поляков, М. Г. Розинас ; ИВГУ. - Иваново : Изд-во ИВГУ, 1976. - 88 с. - Библиогр.: с. 86-87. - 0.50 р.

УДК

004.383.4(075.8)

Рубрики: Вычислительная техника. Программирование--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
алгоритмов теория

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

16.

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

17.

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

18.

   51
   М 215

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - 2-е изд. - Москва : Наука : Физматлит, 1986. - 368 с. - Библиогр.: с. 348. - 1.70 р.

УДК

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- Теория алгоритмов -- Алгоритмов теория

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

19.

   512
   Г 657

    Гончаров, Сергей Севостьянович.
    Счетные булевы алгебры / Отв. ред. Ю.Л. Ершов ; АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск : Наука. Сиб. отд-ние, 1988. - 175 с. : ил ; 20. - Библиогр.: с. 171-174 (82 назв.). - 1450 экз. - ISBN 5-02-028628-1 : 2 р., 2.00 р.

ГРНТИ	27.17
УДК	512

Рубрики: Алгебра
Кл.слова (ненормированные):
Булевы алгебры -- Стоуна теорема -- Алгоритмов теория

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

20.

   1298406


    Мучник, А. А.
    Решение некоторых задач теории алгоритмов с использованием игровых методов : автореферат дис. ... канд. физ.-мат. наук : 01.01.06 / А. А. Мучник. - Москва, 2001. - 10 с.
Кл.слова (ненормированные):
АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЕ ИГРЫ

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

1-20 21-30

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

Статистика обращений

Статистика за 29.06.2024
Число запросов	25751
Число посетителей	558
Число заказов	0

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