Полное описание
>
Глухов, М. М. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие / М. М. Глухов [и др.]. - СПб. [ и др.] : Лань, 2008 (Архангельск). - 111 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110 (19 назв.). - 2000 экз. -
ISBN 978-5-8114-0853-5. - Текст : непосредственный.
Книга из коллекции Лань - Математика. Рекомендовано Учебно-методическим объединением по образованию в области информационной безопасности в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям в области 090100 - "Информационная безопасность" .
ГРНТИ УДК 27.03 510(076.1) 27.17.21 512.56(076.1) ББК 22.12я73
Рубрики: Математическая логика -- Учебники и пособия
Алгебра логики -- Учебники и пособия
Алгоритмы -- Учебники и пособия
Кл.слова (ненормированные): АКСИОМАТИЧЕСКОЕ ПОСТРОЕНИЕ -- АЛГЕБРА -- АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ПРЕДИКАТОВ -- АЛГЕБРА ТЕОРИИ АЛГОРИТМОВ МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГОРИТМ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГОРИТМЫ -- БУЛЕВА -- БУЛЕВЫ АЛГЕБРЫ -- БУЛЕВЫ ФУНКЦИИ -- БУЛЕВЫЕ ФУНКЦИИ -- ВЫСКАЗЫВАНИЕ -- ВЫСШАЯ МАТЕМАТИКА -- ДИСКРЕТНАЯ МАТЕМАТИКА -- ДИСКРЕТНЫЕ ФУНКЦИИ -- ЗАДАЧИ -- ИСЧИСЛЕНИЕ -- МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА ДИСКРЕТНЫЕ ФУНКЦИИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА ТЕОРИЯ АЛГОРИТМОВ УЧЕБНЫЕ ПОСОБИЯ АЛГЕБРА ВЫСКАЗЫВАНИЙ БУЛЕВЫ АЛГЕБРЫ ДИСКРЕТНЫЕ ФУНКЦИИ БУЛЕВЫ ФУНКЦИИ ФУНКЦИОНАЛЬНЫЕ СХЕМЫ АЛГОРИТМЫ ЗАДАЧИ -- ОТНОШЕНИЕ -- ПОСОБИЕ -- ПРЕДИКАТЫ -- СЛОЖНОСТЬ -- ТЕОРИЯ АЛГОРИТМОВ -- УЧЕБНИК -- УЧЕБНИК И ПОСОБИЕ * -- УЧЕБНОЕ ПОСОБИЕ -- УЧЕБНЫЕ ПОСОБИЯ -- ФУНКЦИОНАЛЬНЫЕ СХЕМЫ
Аннотация: Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции», изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов. Учебное пособие будет полезно также студентам вузов, в которых изучается дискретная математика и математическая логика.
Доп. точки доступа: Глухов, М.М.
Козлитин, О.А.
Шапошников, В.А.
Шишков, А.Б.
Ссылка на документ в ЭБС Лань
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-08/46600)
>
Шифр в сводном ЭК: f0c3802890a548c3277202559df5673e
Глухов М.М. Алгебра : выставочные материалы / М. М. Глухов, В. П. Елизаров, А. А. Нечаев, 2015. - 606 с. - Текст : непосредственный. Менеджмент качества : выставочные материалы / Г. В. Астратова, Л. В. Латыпова, В. А. Шапошников [и др.], 2015. - 157, [1] с. - Текст : непосредственный. Труды Московского семинара по философии математики / МГУ им. М. В. Ломоносова. Филос. фак. Кн. 6 : Математика и реальность / под ред. В. А. Бажанова [и др.], 2014. - 502 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Глухов М.М. Алгебра и аналитическая геометрия : Учеб. пособие / М.М. Глухов, 2005. - 392 с. - Текст : непосредственный. Шапошников В.А. Рынок интеллектуальных услуг: теория и практика развития / В. А. Шапошников, 2012. - 146 с. - Текст : непосредственный. Глухов М. М. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие / М. М. Глухов [и др.], 2008. - 111 с. - Текст : непосредственный. Шапошников В.А. Маркетинговые исследования рынка интеллектуальных услуг: теоретико-методологические основы : автореф. дис. .. д-ра экон. наук: 08.00.05 / В. А. Шапошников, 2012. - 40 с. - Текст : непосредственный. Евсеева Н.С. Система криообеспечения для больших сверхпроводящих ускорителей / Н. С. Евсеева, Г. В. Солодухов, В. А. Шапошников, 1990. - 17 с. - Текст : непосредственный. Глухов, М. М. Алгебра : Учебник. В 2 т. Т. 1, 2003. - 336 с. - Текст : непосредственный. Глухов, М. М. Алгебра : Учебник: В 2-х т. Т. 2 / М. М. Глухов, 2003. - 414 с. - Текст : непосредственный. Шапошников В.А. Разработка основных положений стратегии вывода из эксплуатации первого энергоблока ленинградской АЭС : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.14.03 / В. А. Шапошников, 2001. - 31 с. - Текст : непосредственный. Глухов М.М. Элементы теории обыкновенных представлений и характеров конечных групп с приложениями в криптографии : учеб. пособие / М. М. Глухов, И. А. Круглов, 2015. - 174 с. - Текст : непосредственный. Глухов М.М. Построение линейных кодов в полях алгебраических функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / М.М. Глухов, 2005. - 22 с. - Текст : непосредственный. Шапошников В.А. Формирование рынка услуг маркетинговых исследований : автореф. дис. .. канд. экон. наук: 08.00.05 / В. А. Шапошников, 2002. - 23 с. - Текст : непосредственный. Шапошников В.А. Теория и методология маркетинговых исследований рынка интеллектуальных услуг : монография / В. А. Шапошников, 2014. - 300 с. - Текст : непосредственный. Показать все результаты Пасынков В.В. Материалы электронной техники / В. В. Пасынков, В. С. Сорокин, 2001. - 367 с. - Текст : непосредственный. Дикарев В.И. Справочник изобретателя / В. И. Дикарев, 1999. - 351 с. - Текст : непосредственный. Русак О.Н. Безопасность жизнедеятельности / О. Н. Русак, К. Р. Малаян, Н. Г. Занько, 2006. - 447 с. - Текст : непосредственный. Зубков А.М. Сборник задач по теории вероятностей : учебное пособие / А. М. Зубков, Б. А. Севастьянов, В. П. Чистяков, 2009. - 319 с. - Текст : непосредственный. Обеспечение надежности сложных технических систем : учебное пособие / А. Н. Дорохов, В. А. Керножицкий, А. Н. Миронов, О. Л. Шестопалова, 2011. - 348 с. - Текст : непосредственный. Первозванский А.А. Курс теории автоматического управления : выставочные материалы / А. А. Первозванский, 2015. - 615 с. - Текст : непосредственный. Гордиенко В.А. Экология : выставочные материалы / В. А. Гордиенко, К. В. Показеев, М. В. Старкова, 2014. - 633 с. - Текст : непосредственный. Сборник задач по теоретической механике : учебное пособие / К. С. Колесников, Г. Д. Блюмин, В. И. Дронг [и др.], 2007. - 446 с. - Текст : непосредственный. Зубарев Ю.М. Теория и практика повышения эффективности шлифования материалов : учебное пособие / Ю. М. Зубарев, А. В. Приемышев, 2010. - 303 с. - Текст : непосредственный. Мещерский И.В. Задачи по теоретической механике : учебное пособие / И. В. Мещерский, 2008. - 448 с. - Текст : непосредственный. Сборник задач по геометрии : учебное пособие / В. Т. Базылев, К. И. Дуничев, В. П. Иваницкая [и др.], 2008. - 238 с. - Текст : непосредственный. Ефимов И.Е. Основы микроэлектроники : учебное пособие / И. Е. Ефимов, И. Я. Козырь, 2008. - 384 с. - Текст : непосредственный. Ботов М.И. Лабораторные работы по технологическому оборудованию предприятий общественного питания (механическое и тепловое оборудование) : выставочные материалы / М. И. Ботов, В. Д. Елхина, 2015. - 158 с. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Диевский В.А. Теоретическая механика. Сборник заданий : учебное пособие / В. А. Диевский, И. А. Малышева, 2007. - 191 с. - Текст : непосредственный. Курс высшей математики. Теория вероятностей. Лекции и практикум : учебное пособие / И. М. Петрушко, В. И. Афанасьев, А. А. Бободжанов, В. Г. Крупин ; Ред. И. М. Петрушенко, 2007. - 346 с. - Текст : непосредственный. Пресс И.А. Основы общей химии для самостоятельного изучения : выставочные материалы / И. А. Пресс, 2012. - 495 с. - Текст : непосредственный. Наливайко Л.В. Математика для экономистов. Сборник заданий : учебное пособие / Л. В. Наливайко, Н. В. Ивашина, Ю. Д. Шмидт, 2011. - 431 с. - Текст : непосредственный. Сапунов С.В. Материаловедение : выставочные материалы / С. В. Сапунов, 2015. - 201 с. - Текст : непосредственный. Рыжков И.Б. Основы научных исследований и изобретательства : выставочные материалы / И. Б. Рыжков, 2012. - 222 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Показать все результаты Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Кусраев А.Г. Нерешенные нестандартные задачи / А. Г. Кусраев, С. С. Кутателадзе, 2000. - 19 с. - Текст : непосредственный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин, 2005. - 303 с. - Текст : непосредственный. Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.], 2017. - 80 с. - Текст : непосредственный. Глухов М. М. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие / М. М. Глухов [и др.], 2008. - 111 с. - Текст : непосредственный. Кузьмин О.В. Комбинаторные методы решения логических задач : Учеб. пособие / О. В. Кузьмин, 2006. - 189 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2002. - 255 с. - Текст : непосредственный. Галушкина Ю.И. Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие для студентов специальностей 210100(220201), 072000 (200503), 210200 / Ю. И. Галушкина, 2009. - 112 с. - Текст : непосредственный. Кузьмин О.В. Логические задачи : Учеб. пособие / О.В.Кузьмин, 1999. - 204 с. - Текст : непосредственный. Кравченко А.В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов, 2014. - 75 с. - Текст : непосредственный. Ашаев И.В. Дискретная математика и математическая логика в задачах государственных экзаменов по математике в ОмГУ : учеб. пособие / И. В. Ашаев, Ю. М. Ашаева, 2016. - 121 с. - Текст : непосредственный. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2008. - 303 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Просмотр издания