Попов, А. М. Информатика и математика [Электронный ресурс] : учебное пособие для студентов вузов, обучающихся по специальности «Юриспруденция» (030501) / Попов А. М. - Москва : ЮНИТИ-ДАНА, 2017. - 302 с. - ISBN 978-5-238-01396-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгоритм -- защита информации -- информатика -- логика высказываний -- математика -- математическая логика -- математическая статистика -- теория вероятностей -- теория графов -- язык программирования Аннотация: Учебное пособие подготовлено в соответствии с государственным образовательным стандартом высшего профессионального образования по дисциплине «Информатика и математика». В соответствии с дидактическими блоками стандарта изложены основные разделы дискретной математики, теории вероятностей, математической статистики и основ информатики. Даны основные характеристики математических методов и моделей, используемых в праве, криминологии и судебной экспертизе. Для студентов и аспирантов юридических вузов и факультетов. Доп.точки доступа: Сотников, В. Н.; Нагаева, Е. И.; Попов, А. М. \ред.\ Свободных экз. нет |
Теоретико-числовые методы в криптографии [Электронный ресурс] : учебное пособие / сост.: Ф. Б. Тебуева, В. О. Антонов. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 107 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгоритм шенхаге-штрассена -- арифметическая операция -- дискретная математика -- защита информации -- криптографическая система -- криптография -- математическая логика -- математический анализ -- метод карацубы-офмана -- теоретико-числовой метод Аннотация: Практикум составлен в соответствии с требованиями ФГОС ВО, призван способствовать формированию и закреплению общепрофессиональных компетенций, и освоению базовых принципов построения и математического обоснования криптографических систем. Содержит теоретический материал, образцы решения задач, задания, литературу. Предназначен для студентов, обучающихся по специальности 10.05.01 Компьютерная безопасность. Доп.точки доступа: Тебуева, Ф. Б. \сост.\; Антонов, В. О. \сост.\ Свободных экз. нет |
Золотухин, В. Ф. Математика. Дискретная математика [Электронный ресурс] : учебник / Золотухин В. Ф. - Ростов-на-Дону : Институт водного транспорта имени Г.Я. Седова – филиал «Государственный морской университет имени адмирала Ф.Ф. Ушакова», 2016. - 129 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): комбинаторный анализ -- математическая логика -- теории алгоритмов -- теории графов -- теория множеств -- эффективность вычислений Аннотация: Изложен материал по основам математической логики и теории множеств, комбинаторному анализу, теории графов, языкам и грамматикам, конечным автоматам, элементам исчисления предикатов и теории формальных систем, теории алгоритмов и эффективности вычислений. Текст разделов 1, 2, 4, введение и заключение подготовлены В.Ф. Золотухином; разделы 3,5,6 подготовлены В.В. Ольшанским, С.В. Мартемьяновым; А.Е. Богдановым, В.И. Петровой. Одна из главных целей учебника – стремление к балансу между сугубо математическим и прикладным содержанием, что способствует общеобразовательному и профессиональному развитию читателя. Предназначен для подготовки студентов ко всем видам занятий по разделу «Дискретная математика» в курсе «Математика». Он может оказаться полезным и для преподавателей Доп.точки доступа: Ольшанский, В. В.; Мартемьянов, С. В.; Богданов, А. Е.; Петрова, В. И. Свободных экз. нет |
Бесценный, И. П. Математическая логика [Электронный ресурс] : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика». Доп.точки доступа: Бесценная, Е. В. Свободных экз. нет |
Перемитина, Т. О. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебра -- алгоритм -- булева функция -- математическая логика -- предикат Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов». Свободных экз. нет |
Грес, П. В. Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений [Электронный ресурс] : учебное пособие / Грес П. В. - Москва : Логос, 2015. - 288 с. - ISBN 978-5-98704-751-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дискретная математика -- математическая логика -- математический метод -- теория вероятностей -- теория множеств Аннотация: Содержит краткий курс математики. Рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Представлены важнейшие разделы математического анализа. Изложены математические методы, используемые в рамках теории вероятностей, математической статистики, математического моделирования и принятия решений. Приведены основные определения и методы, примеры решения типовых задач, задания для самостоятельной работы. В отличие от предыдущих изданий представлены разделы по линейной и векторной алгебре, аналитической геометрии, а также глубже рассмотрены вопросы т еории вероятностей и математической статистики. В учебном пособии нашел отражение опыт преподавания математики на гуманитарных специальностях вузов Новосибирска. Изложение материала адаптировано для обучения бакалавров. Для студентов высших учебных заведений, обучающихся по направлениям и специальностям «Философия», «Психология», «Социология», «Юриспруденция», «Политология», «Социальная работа» и др. Свободных экз. нет |
Зюзьков, В. М. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Зюзьков В. М. - Томск : Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2015. - 236 с. - ISBN 978-5-4332-0197-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аксиоматический метод -- алгоритм -- вычислимая функция -- математическая логика -- множество -- пропозициональная логика Аннотация: Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика и теория алгоритмов» направлений подготовки бакалавров «Информатика и вычислительная техника» и «Управление в технических системах». Свободных экз. нет |
Трофимова, Е. А. Математические методы анализа [Электронный ресурс] : учебное пособие / Трофимова Е. А. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 272 с. - ISBN 978-5-7996-1413-3 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дифференциал функции -- математическая логика -- математический анализ -- математический метод -- метод анализа -- предел последовательности -- предел функции -- производная функции -- теория множеств Аннотация: Разделы учебного пособия включают блок теоретического материала и задачи, предназначенные как для аудиторных занятий, так и для самостоятельной работы. Дается экономическая интерпретация математических понятий. Для студентов, изучающих дисциплины «Математический анализ», «Теория вероятностей и математическая статистика», «Методы оптимальных решений». Доп.точки доступа: Плотников, С. В.; Гилёв, Д. В.; Трофимова, Е. А. \ред.\ Свободных экз. нет |
Седов, В. А. Введение в нейронные сети [Электронный ресурс] : методические указания к лабораторным работам по дисциплине «Нейроинформатика» для студентов специальности 09.03.02 «Информационные системы и технологии» / Седов В. А. - Саратов : Ай Пи Эр Медиа, 2018. - 30 с. - ISBN 978-5-4486-0047-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): математическая логика -- нейронная сеть -- принятие решений -- распознавание -- система искусственного интеллекта -- структура сети -- управление Аннотация: Лабораторные работы содержат четко сформулированную цель работы, список вопросов для самоподготовки, описание плана выполнения лаборатор-ной работы и список требований к оформлению отчёта по лабораторной работе. Настоящие методические указания к лабораторным работам «Введение в нейронные сети» по дисциплине «Нейроинформатика» предназначены для студентов специальности 09.03.02 «Информационные системы и технологии». Доп.точки доступа: Седова, Н. А. Свободных экз. нет |
Унучек, С. А. Математическая логика [Электронный ресурс] : учебное пособие / Унучек С. А. - Саратов : Ай Пи Эр Медиа, 2018. - 239 с. - ISBN 978-5-4486-0086-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дискретная математика -- логика -- математика -- математическая логика Аннотация: В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения. Свободных экз. нет |
Седова, Н. А. Нечеткие отношения [Электронный ресурс] : учебное пособие / Седова Н. А. - Саратов : Ай Пи Эр Медиа, 2018. - 60 с. - ISBN 978-5-4486-0068-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): бинарное нечеткое отношение -- математическая логика -- нечеткие отношения -- нечеткое отношение Аннотация: Пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю – сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Предназначено для студентов третьего курса направления 09.03.01 «Информатика и вычислительная техника». Свободных экз. нет |
Крюкова, Т. П. Информатика. Теория, вычисления, программирование [Электронный ресурс] : учебное пособие для практических и лабораторных работ для студентов вузов / Крюкова Т. П. - Кемерово : Кемеровский технологический институт пищевой промышленности, 2014. - 226 с. - ISBN 978-5-89289-836-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): mathcad -- двоичное кодирование -- информатика -- математическая логика -- основы алгоритмизации -- программирование -- язык паскаль Аннотация: Описан комплекс практических и лабораторных работ по отдельным разделам курса информатики. Пособие охватывает следующие темы: математические основы информатики, вычислительный пакет MathCAD, основы алгоритмизации и программирования на языке Паскаль. Приведены краткие теоретические сведения, примеры, описания отдельных работ. Даны индивидуальные варианты заданий для выполнения работ. Предназначено для студентов всех направлений инженерно-технических вузов. Доп.точки доступа: Печерских, И. А.; Романова, В. В.; Семенов, А. Г.; Столетова, Е. А.; Яковлева, Л. А. Свободных экз. нет |
Шмырин, А. М. Лекции по дискретной математике и математической логике [Электронный ресурс] : учебное пособие / Шмырин А. М. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2014. - 160 с. - ISBN 978-5-88247-714-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебра высказываний -- дискретная математика -- математическая логика -- транспортная сеть -- элемент графа Аннотация: Учебное пособие соответствует государственному образовательному стандарту дисциплин «Дискретная математика», «Математическая логика и теория алгоритмов». Пособие содержит краткий курс дискретной математики и математической логики. В каждом разделе приведены подробно разобранные примеры. Данное пособие предназначено для студентов направлений подготовки 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление», а также студентов других технических специальностей, изучающих дискретную математику. Доп.точки доступа: Седых, И. А. Свободных экз. нет |
Зарипова, Э. Р. Лекции по дискретной математике. Математическая логика [Электронный ресурс] : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов. Доп.точки доступа: Кокотчикова, М. Г.; Севастьянов, Л. А. Свободных экз. нет |
Математическая логика и теория алгоритмов [Электронный ресурс] : методические указания к самостоятельной работе / сост. И. А. Седых. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2014. - 25 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): логика -- математика -- математическая логика -- математическое моделирование -- теория алгоритмов Аннотация: Методические указания составлены в соответствии с ФГОС-3 и предназначены для студентов направлений 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление» по дисциплинам «Дискретная математика», «Математическая логика и теория алгоритмов» и другим, связанным с математической логикой и теорией алгоритмов. Приведены краткие теоретические сведения по математической логике. Даны темы лабораторных работ. Методические указания содержат задания по традиционным разделам курса математической логики и теории алгоритмов. Доп.точки доступа: Седых, И. А. \сост.\ Свободных экз. нет |
Гурьянова, К. Н. Математический анализ [Электронный ресурс] : учебное пособие / Гурьянова К. Н. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2014. - 332 с. - ISBN 978-5-7996-1340-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): криволинейный интеграл -- математическая логика -- математический анализ -- непрерывность функции -- определенный интеграл -- производная функции -- ряд фурье -- теория множеств -- теория пределов Аннотация: В пособии рассматриваются основные разделы теории пределов, дифференциальное и интегральное исчисление функций одной и нескольких переменных и их применение. Содержится большое число иллюстративных упражнений и задач, а также решенных задач - эталонов для самостоятельной работы студентов. Для студентов и преподавателей физических и математических специальностей. Доп.точки доступа: Алексеева, У. А.; Бояршинов, В. В. Свободных экз. нет |
Крайзель, Г. Биография Курта Геделя [Электронный ресурс] / Крайзель Г. - Москва, Ижевск : Регулярная и хаотическая динамика, Ижевский институт компьютерных исследований, 2013. - 144 с. - ISBN 5-93972-213-X : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): биография курта гёделя -- математика -- математическая логика -- теорема о неполноте -- элементарная логика Аннотация: Имя выдающегося математика К. Геделя широко известно не только математикам прежде всего благодаря его знаменитой «теореме о неполноте». Биография Геделя, написанная известным логиком Крайзелем, содержит не только достаточно доступное изложение результатов Геделя в математической логике, но и раскрывает их философские истоки и смысл. Эта книга — единственная опубликованная на русском языке биография одного из самых знаменитых ученых двадцатого века. Книга будет интересна не только специалистам по математике, философии и методологии науки, но и самому широкому кругу читателей. Доп.точки доступа: Минц, Г. Е. \пер.\; Скворцов, Д. П. \пер.\ Свободных экз. нет |
Грес, П. В. Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений [Электронный ресурс] : учебное пособие / Грес П. В. - Москва : Логос, 2013. - 288 с. - ISBN 978-5-98704-751-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дискретная математика -- математическая логика -- математический метод -- теория вероятностей -- теория множеств Аннотация: Содержит краткий курс математики. Рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Представлены важнейшие разделы математического анализа. Изложены математические методы, используемые в рамках теории вероятностей, математической статистики, математического моделирования и принятия решений. Приведены основные определения и методы, примеры решения типовых задач, задания для самостоятельной работы. В отличие от предыдущих изданий представлены разделы по линейной и векторной алгебре, аналитической геометрии, а также глубже рассмотрены вопросы теории вероятностей и математической статистики. В учебном пособии нашел отражение опыт преподавания математики на гуманитарных специальностях вузов Новосибирска. Изложение материала адаптировано для обучения бакалавров. Для студентов высших учебных заведений, обучающихся по направлениям и специальностям «Философия», «Психология», «Социология», «Юриспруденция», «Политология», «Социальная работа» и др. Свободных экз. нет |
Ткаченко, С. В. Математическая логика [Электронный ресурс] : учебное пособие / Ткаченко С. В. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2013. - 99 с. - ISBN 978-5-88247-649-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дискретная математика -- логика -- математика -- математическая логика -- теория графов Аннотация: Пособие является одной из частей системы учебных пособий по дискретной математике. Рассматриваются основные разделы дисциплины «Теория графов и математическая логика», в частности математическая логика. Данное пособие может быть рекомендовано студентам направлений 231300.62 «Прикладная математика», 221400.62 «Управление качеством», 221700.62 «Стандартизация и метрология», а также преподавателям, которые преподают математическую логику студентам всех направлений. Доп.точки доступа: Сысоев, А. С. Свободных экз. нет |
Маньшин, М. Е. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Маньшин М. Е. - Волгоград : Волгоградский институт бизнеса, Вузовское образование, 2013 ; Волгоград : Волгоградский институт бизнеса, 2009. - 106 с. - ISBN 978-5-9061-7260-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): математическая логика -- теоретический материал -- теория алгоритма Аннотация: В данном учебном пособии изложен теоретический материал, необходимый для изучения дисциплины, структурированный в соответствии с рабочей программой. Свободных экз. нет |