519 М 801 Морозенко, Владимир Викторович. Дискретная математика : учебное пособие / В. В. Морозенко ; Федеральное агентство по образованию, Пермский государственный университет. - Пермь : Пермский университет, 2006. - 226 с. - Библиогр.: с. 223-224. - ISBN 5-7944-0608-9 : 55.71 р., 120.00 р., 55.71 р., 26.00 р. Содержание: Графы Булевы функции Комбинаторика Кодирование. Линейные коды Конечные автоматы Рекурсивные функции
Кл.слова (ненормированные): МАТЕМАТИКА ДИСКРЕТНАЯ -- ГРАФЫ -- БУЛЕВЫ ФУНКЦИИ -- КОМБИНАТОРИКА -- КОДИРОВАНИЕ -- КОНЕЧНЫЕ АВТОМАТЫ -- РЕКУРСИВНЫЕ ФУНКЦИИ Доп.точки доступа: Федеральное агентство по образованию; Пермский государственный университет Экземпляры всего: 153 Х (1), АБЗ (1), АБУ (151) Свободны: Х (1), АБЗ (1), АБУ (151) |
519 М 34 Математические вопросы кибернетики / Под ред.С.В.Яблонского;Сост.М.В.Захарьящев и др. - М. : Физматлит,Наука, 1994 - . Вып.5. - 1994. - 304с. - ISBN 5-02-014889-X : 15 р.
Рубрики: Кибернетика Кл.слова (ненормированные): Булевы функции -- Булева алгебра -- Математическая кибернетика Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 М 34 Математические вопросы кибернетики : сборник статей / ред. О. Б. Лупанов. - Москва : ФИЗМАТЛИТ, 2002 - . Вып. 11. - 2002. - 288 с. : ил. - ISBN 5-9221-0376-8 : 80.00 р., 80.00 р.
Кл.слова (ненормированные): Математическая логика -- Булевы функции -- Дискретная математика -- Управляющие системы Доп.точки доступа: Лупанов, О. Б. \ред.\ Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |
519 М 34 Математические вопросы кибернетики : сборник статей / ред. О. Б. Лупанов. - Москва : ФИЗМАТЛИТ, 2003 - . Вып. 12. - 2003. - 304 с. - ISBN 5-9221-0498-5 : 110.00 р., 110.00 р.
Кл.слова (ненормированные): Камерона-Эрдеша гипотеза -- Логика трехзначная -- Сигналы цифровые (кодирование) -- Криптография -- Виртуальных узлов теория -- Булевы функции Доп.точки доступа: Лупанов, О. Б. \ред.\ Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |
519 Л 69 Логачев, О. А. Булевы функции в теории кодирования и криптологии [Текст] / Ин-т пробл. информ. безопасности МГУ. - М. : МЦНМО, 2004. - 470 с. - (Информационная безопасность: криптография. Новые математические дисциплины). - Библиогр.: с. 430-461. - ISBN 5-94057-117-4 : 180.00 р.
Рубрики: Математическая кибернетика Кл.слова (ненормированные): Кодирование -- Криптология -- Булевы функции -- Рида-Маллера коды -- Нелинейность -- Корреляционная иммуность -- Полиномы Доп.точки доступа: Сальников, А. А.; Ященко, В. В. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
621.38 Б 93 Бутаков, Евгений Артемович. Диагностика программируемых логических матриц / Евгений Артемович Бутаков, М. Б. Волынский, В. Г. Новоселов. - М. : Радио и связь, 1991. - 158с. : ил. - Библиогр.:с.155-156. - ISBN 5-256-00457-3 : 3 р.
Кл.слова (ненормированные): Булевы функции -- Микроэлектронные схемы интегральные большие Доп.точки доступа: Волынский, М. Б.; Новоселов, В. Г. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 Н 731 Новиков, Федор Александрович. Дискретная математика для программистов : учебник / Ф. А. Новиков. - Санкт-Петербург [и др.] : Питер, 2001. - 304 с. - Библиогр.: с. 290-291. - Алф. указ.: с. 292-301. - ISBN 5-272-00183-4 : 77.80 р., 150 р.
Кл.слова (ненормированные): МАТЕМАТИКА ДИСКРЕТНАЯ -- БУЛЕВЫ ФУНКЦИИ -- КОМБИНАТОРИКА (МАТЕМАТИКА) -- ГРАФЫ (МАТЕМАТИКА) -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (МАТЕМАТИКА) -- АЛГЕБРАИЧЕСКИЕ СТРУКТУРЫ -- КОДИРОВАНИЕ (МАТЕМАТИКА) Экземпляры всего: 2 АБУ (2) Свободны: АБУ (2) |
519 Н 731 Новиков, Федор Александрович. Дискретная математика для программистов : учебник / Ф. А. Новиков. - Санкт-Петербург [и др.] : Питер, 2002. - 304 с. : ил. - Библиогр.: с. 290-291. - ISBN 5-272-00183-4 : 83.00 р., 83 р.
Кл.слова (ненормированные): АЛГЕБРАИЧЕСКИЕ СТРУКТУРЫ -- БУЛЕВЫ ФУНКЦИИ -- ГРАФЫ -- КОМБИНАТОРИКА -- СВЯЗНОСТЬ -- ДЕРЕВЬЯ (КЛАСС ГРАФОВ) -- РАСКРАСКА ГРАФОВ (МАТЕМАТИКА) Экземпляры всего: 71 АБЗ (22), АБУ (49) Свободны: АБЗ (22), АБУ (49) |
519 И 328 Избранные вопросы теории булевых функций / А. С. Балюк, А. И. Гайдуков ; ред.: С. Ф. Винокуров, Н. А. Перязев. - Москва : ФИЗМАТЛИТ, 2001. - 192 с. - Библиогр.:с.188-191. - ISBN 5-9221-0085-8 : 50.00 р., 50.00 р.
Кл.слова (ненормированные): Булевы функции Доп.точки доступа: Балюк, А. С.; Гайдуков, А. И.; Винокуров, С. Ф. \ред.\; Перязев, Н. А. \ред.\ Экземпляры всего: 5 Х (1), ЧЗЕ (1), АБН (3) Свободны: Х (1), ЧЗЕ (1), АБН (3) |
519 Д 482 Дискретная математика: графы, булевы функции : методические рекомендации / сост. В. В. Морозенко. - 2-е изд., доп. - Пермь : [б. и.], 2004. - 88 с. - Библиогр.: с. 87. - 5 р.
Кл.слова (ненормированные): Дискретная математика -- Графы -- Булевы функции Доп.точки доступа: Морозенко, Владимир Викторович \сост.\ Экземпляры всего: 1 АБУ (1) Свободны: АБУ (1) |
519 Д 482 Дискретная математика: булевы функции, графы : методические рекомендации / сост. В. В. Морозенко. - Пермь : [б. и.], 2002. - 76 с. - Библиогр.: с. 74. - 2 р.
Кл.слова (ненормированные): Дискретная математика -- булевы функции Доп.точки доступа: Морозенко, Владимир Викторович \сост.\ Экземпляры всего: 3 АБУ (3) Свободны: АБУ (3) |
519 Д 138 Давыдова, Е. М. Дискретная математика : учебное пособие / Е. М. Давыдова, Р. В. Мещеряков ; Томский государственный университет систем управления и радиоэлектроники. - Томск : Томский межвузовский центр дистанционного образования, 2004. - 182 с. - Библиогр.: с. 182. - 105.60 р., 105.60 р.
Кл.слова (ненормированные): Математическая логика -- Булевы функции -- Комбинаторика -- Кодирование -- Шифрование -- Криптография -- Графы Доп.точки доступа: Мещеряков, Р. В.; Томский государственный университет систем управления и радиоэлектроники Экземпляры всего: 10 Х (1), ЧЗЕ (1), АБУ (8) Свободны: Х (1), ЧЗЕ (1), АБУ (8) |
517 И 269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Экземпляры всего: 20 Х (1), ЧЗЕ (1), АБУ (18) Свободны: Х (1), ЧЗЕ (1), АБУ (18) |
517 И 269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-3728-0 : 193.10 р., 193.10 р.
Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ Экземпляры всего: 30 Х (1), ЧЗЕ (1), АБУ (28) Свободны: Х (1), ЧЗЕ (1), АБУ (28) |
517 А 456 Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ Доп.точки доступа: Кудрявцев, Валерий Борисович; Блохина, Галина Николаевна; Кнап, Жига; Кудрявцев, Валерий Валерьевич; Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 З-153 Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для студентов вузов, обучающихся по специальностям в области 090100 - "Информационная безопасность" / М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков. - Санкт-петербург ; Москва ; Краснодар : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : 109.20 р., 109.20 р.
Дискретная математика--Задачники Алгоритмы--Теория--Задачники Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА (ЗАДАЧИ) -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ДИСКРЕТНЫЕ ФУНКЦИИ (ЗАДАЧИ) -- БУЛЕВЫ ФУНКЦИИ -- ТЕОРИЯ АЛГОРИТМОВ (ЗАДАЧИ) -- АЛГОРИТМОВ ТЕОРИЯ Доп.точки доступа: Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович Экземпляры всего: 3 Х (1), АБУ (1), ЧЗЕ (1) Свободны: Х (1), АБУ (1), ЧЗЕ (1) |
681 В 496 Винокуров, Никита Алексеевич Практика и теория программирования : учебное пособие для студентов вузов, обучающихся по направлению подготовки "Прикладные математика и физика" : в 2 кн. / Н. А. Винокуров, А. В. Ворожцов. - Москва : Физматкнига, 2008 - . - (Информатика). - ISBN 978-5-89155-180-0. Кн. 1, Ч. I и II. - 2008. - 192 с. - Библиогр.: с. 188-189. - ISBN 978-5-89155-181-7 : 413.80 р., 413.80 р.
Кл.слова (ненормированные): ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ -- АЛГОРИТМЫ -- МАРКОВА АЛГОРИФМЫ -- ТЬЮРИНГА МАШИНА -- МЕТАЯЗЫКИ -- ГЕДЕЛЯ ТЕОРЕМА -- ПРОГРАММИРОВАНИЕ ПРОДУКЦИОННОЕ -- ПРОГРАММИРОВАНИЕ ФУНКЦИОНАЛЬНОЕ -- АРХИТЕКТУРА КОМПЬЮТЕРОВ -- КОМПЬЮТЕР (АРХИТЕКТУРА) -- БУЛЕВЫ ФУНКЦИИ -- PERL -- HASKELL Доп.точки доступа: Ворожцов, Артем Викторович Экземпляры всего: 2 Х (1), АБУ (1) Свободны: Х (1), АБУ (1) |
681 С 565 Совместная минимизации систем булевых функций : метод. разработки для студентов дневного и вечернего отд-ний. - Пермь : ПГУ, 1981. - 39 с. - Б. ц.
Кл.слова (ненормированные): Булевы функции Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 858 Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.
Кл.слова (ненормированные): БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) Доп.точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 11 Х (1), ЧЗЕ (1), АБУ (9) Свободны: Х (1), ЧЗЕ (1), АБУ (9) |
51 K 89 Algebra logike / V. B. Kudrjavcev. - Ljubljana : ZOTKS, 2010. - 200 с. : ил. - (Zbirka Univerza za 21. stoletje). - На англ. яз. - Библиогр.: с. 198-199. - ISBN 978-961-6243-58-2 : 150.00 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ Доп.точки доступа: Kudrjavcev, Valeriy Borisovitch; Blohina, Galina Nikolayevna; Ziga, Knap; Kudrjavcev, Valeriy Valerievitch Экземпляры всего: 1 ОИЛ (1) Свободны: ОИЛ (1) |