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

Главная

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

Базы данных

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

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

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

Поисковый запрос: (<.>U=510.51](075.8)<.>)

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

   517
   Г 977

    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов : Учеб. пособие / Омский гос. ун-т. - Омск : Наследие: Диалог-Сибирь, 2003. - 108 с. - Библиогр.: с. 105-107. - ISBN 5-8239-0126-7 : 50.00 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Логика высказываний -- Логика предикатов -- Алгоритмы

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

   517
   З-981

    Зюзьков, В. М.
    Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков, А. А. Шелупанов ; Томский государственный университет систем управления радиоэлектроники (ТУСУР). - Томск : Томский межвузовский центр дистанционного образования, 2001. - 154 с. - 105.60 р., 105.60 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Логика высказываний -- Булевы алгебры -- Логика предикатов

Доп.точки доступа:
Шелупанов, А. А.; Томский государственный университет систем управления радиоэлектроники (ТУСУР)
Экземпляры всего: 10
Х (1), ЧЗЕ (1), АБУ (8)
Свободны: Х (1), ЧЗЕ (1), АБУ (8)
Найти похожие

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

   517
   И 269

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

ГРНТИ	27.03.19	27.03.17
УДК	510.6	510.51](075.8)

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

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

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

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

   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)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЙ АППАРАТ
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.

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

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

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

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

Статистика за 03.07.2024
Число запросов	48275
Число посетителей	443
Число заказов	0

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