База данных: Каталог ЭБС IPR SMART
Страница 2, Результатов: 28
Отмеченные записи: 0
11.
Подробнее
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
12.
Подробнее
Рогова, Н. В.
Дискретная математика : учебное пособие / Рогова Н. В. - Самара : Поволжский государственный университет телекоммуникаций и информатики, 2017. - 143 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булева алгебра -- дискретная математика -- задача фибоначчи -- комбинаторика -- логическая функция -- полином жегалкина -- полиномиальная формула -- теория графов -- теория множеств -- треугольник паскаля
Аннотация: Учебное пособие затрагивает такие разделы дискретной математики как: теория множеств, отношения и переключательные функции, булева алгебра, комбинаторика, теория графов. Темы образуют единый методически взаимосвязанный курс. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии» по дисциплине «Дискретная математика», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать дискретную математику самостоятельно. Каждый раздел содержит большое количество разобранных задач и примеров.
Рогова, Н. В.
Дискретная математика : учебное пособие / Рогова Н. В. - Самара : Поволжский государственный университет телекоммуникаций и информатики, 2017. - 143 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева алгебра -- дискретная математика -- задача фибоначчи -- комбинаторика -- логическая функция -- полином жегалкина -- полиномиальная формула -- теория графов -- теория множеств -- треугольник паскаля
Аннотация: Учебное пособие затрагивает такие разделы дискретной математики как: теория множеств, отношения и переключательные функции, булева алгебра, комбинаторика, теория графов. Темы образуют единый методически взаимосвязанный курс. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии» по дисциплине «Дискретная математика», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать дискретную математику самостоятельно. Каждый раздел содержит большое количество разобранных задач и примеров.
13.
Подробнее
Судоплатов, С. В.
Дискретная математика : учебник / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2016. - 280 с. - ISBN 978-5-7782-2820-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра логики -- булева алгебра -- дискретная математика -- комбинаторика -- компьютерная алгебра -- логическая задача -- система счисления -- теория графов -- теория множеств -- числовая система
Аннотация: В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Для студентов технических вузов, изучающих дискретную математику. Может служить справочным пособием по дискретной математике.
Доп.точки доступа:
Овчинникова, Е. В.
Судоплатов, С. В.
Дискретная математика : учебник / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2016. - 280 с. - ISBN 978-5-7782-2820-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра логики -- булева алгебра -- дискретная математика -- комбинаторика -- компьютерная алгебра -- логическая задача -- система счисления -- теория графов -- теория множеств -- числовая система
Аннотация: В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Для студентов технических вузов, изучающих дискретную математику. Может служить справочным пособием по дискретной математике.
Доп.точки доступа:
Овчинникова, Е. В.
14.
Подробнее
Математика. Дискретная математика : учебник / Золотухин В. Ф. - Ростов-на-Дону : Институт водного транспорта имени Г.Я. Седова – филиал «Государственный морской университет имени адмирала Ф.Ф. Ушакова», 2016. - 129 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
комбинаторный анализ -- математическая логика -- теории алгоритмов -- теории графов -- теория множеств -- эффективность вычислений
Аннотация: Изложен материал по основам математической логики и теории множеств, комбинаторному анализу, теории графов, языкам и грамматикам, конечным автоматам, элементам исчисления предикатов и теории формальных систем, теории алгоритмов и эффективности вычислений. Текст разделов 1, 2, 4, введение и заключение подготовлены В.Ф. Золотухином; разделы 3,5,6 подготовлены В.В. Ольшанским, С.В. Мартемьяновым; А.Е. Богдановым, В.И. Петровой. Одна из главных целей учебника – стремление к балансу между сугубо математическим и прикладным содержанием, что способствует общеобразовательному и профессиональному развитию читателя. Предназначен для подготовки студентов ко всем видам занятий по разделу «Дискретная математика» в курсе «Математика». Он может оказаться полезным и для преподавателей
Доп.точки доступа:
Золотухин, В. Ф.
Ольшанский, В. В.
Мартемьянов, С. В.
Богданов, А. Е.
Петрова, В. И.
Математика. Дискретная математика : учебник / Золотухин В. Ф. - Ростов-на-Дону : Институт водного транспорта имени Г.Я. Седова – филиал «Государственный морской университет имени адмирала Ф.Ф. Ушакова», 2016. - 129 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
комбинаторный анализ -- математическая логика -- теории алгоритмов -- теории графов -- теория множеств -- эффективность вычислений
Аннотация: Изложен материал по основам математической логики и теории множеств, комбинаторному анализу, теории графов, языкам и грамматикам, конечным автоматам, элементам исчисления предикатов и теории формальных систем, теории алгоритмов и эффективности вычислений. Текст разделов 1, 2, 4, введение и заключение подготовлены В.Ф. Золотухином; разделы 3,5,6 подготовлены В.В. Ольшанским, С.В. Мартемьяновым; А.Е. Богдановым, В.И. Петровой. Одна из главных целей учебника – стремление к балансу между сугубо математическим и прикладным содержанием, что способствует общеобразовательному и профессиональному развитию читателя. Предназначен для подготовки студентов ко всем видам занятий по разделу «Дискретная математика» в курсе «Математика». Он может оказаться полезным и для преподавателей
Доп.точки доступа:
Золотухин, В. Ф.
Ольшанский, В. В.
Мартемьянов, С. В.
Богданов, А. Е.
Петрова, В. И.
15.
Подробнее
Атапин, В. Г.
Специальные главы математики: множества, графы, комбинаторика : учебное пособие / Атапин В. Г. - Новосибирск : Новосибирский государственный технический университет, 2016. - 83 с. - ISBN 978-5-7782-2882-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
граф -- дискретная математика -- комбинаторика -- математика -- ненаправленный граф -- ориентированный граф -- подграф -- связные графы -- сетевое планирование -- теория множеств
Аннотация: Рассматриваются взаимно связанные друг с другом разделы дискретной математики: теория множеств, теория графов, комбинаторика. Изложение сопровождается большим количеством примеров. В конце каждой главы приводятся упражнения для самостоятельного решения. Пособие предназначено для студентов факультета летательных аппаратов всех форм обучения и может быть полезным для студентов других факультетов при изучении курса дискретной математики.
Атапин, В. Г.
Специальные главы математики: множества, графы, комбинаторика : учебное пособие / Атапин В. Г. - Новосибирск : Новосибирский государственный технический университет, 2016. - 83 с. - ISBN 978-5-7782-2882-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
граф -- дискретная математика -- комбинаторика -- математика -- ненаправленный граф -- ориентированный граф -- подграф -- связные графы -- сетевое планирование -- теория множеств
Аннотация: Рассматриваются взаимно связанные друг с другом разделы дискретной математики: теория множеств, теория графов, комбинаторика. Изложение сопровождается большим количеством примеров. В конце каждой главы приводятся упражнения для самостоятельного решения. Пособие предназначено для студентов факультета летательных аппаратов всех форм обучения и может быть полезным для студентов других факультетов при изучении курса дискретной математики.
16.
Подробнее
Грес, П. В.
Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений : учебное пособие / Грес П. В. - Москва : Логос, 2015. - 288 с. - ISBN 978-5-98704-751-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.11
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- математический метод -- теория вероятностей -- теория множеств
Аннотация: Содержит краткий курс математики. Рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Представлены важнейшие разделы математического анализа. Изложены математические методы, используемые в рамках теории вероятностей, математической статистики, математического моделирования и принятия решений. Приведены основные определения и методы, примеры решения типовых задач, задания для самостоятельной работы. В отличие от предыдущих изданий представлены разделы по линейной и векторной алгебре, аналитической геометрии, а также глубже рассмотрены вопросы т еории вероятностей и математической статистики. В учебном пособии нашел отражение опыт преподавания математики на гуманитарных специальностях вузов Новосибирска. Изложение материала адаптировано для обучения бакалавров. Для студентов высших учебных заведений, обучающихся по направлениям и специальностям «Философия», «Психология», «Социология», «Юриспруденция», «Политология», «Социальная работа» и др.
Грес, П. В.
Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений : учебное пособие / Грес П. В. - Москва : Логос, 2015. - 288 с. - ISBN 978-5-98704-751-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- математический метод -- теория вероятностей -- теория множеств
Аннотация: Содержит краткий курс математики. Рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Представлены важнейшие разделы математического анализа. Изложены математические методы, используемые в рамках теории вероятностей, математической статистики, математического моделирования и принятия решений. Приведены основные определения и методы, примеры решения типовых задач, задания для самостоятельной работы. В отличие от предыдущих изданий представлены разделы по линейной и векторной алгебре, аналитической геометрии, а также глубже рассмотрены вопросы т еории вероятностей и математической статистики. В учебном пособии нашел отражение опыт преподавания математики на гуманитарных специальностях вузов Новосибирска. Изложение материала адаптировано для обучения бакалавров. Для студентов высших учебных заведений, обучающихся по направлениям и специальностям «Философия», «Психология», «Социология», «Юриспруденция», «Политология», «Социальная работа» и др.
17.
Подробнее
Трофимова, Е. А.
Математические методы анализа : учебное пособие / Трофимова Е. А. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 272 с. - ISBN 978-5-7996-1413-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.161я73
Кл.слова (ненормированные):
дифференциал функции -- математическая логика -- математический анализ -- математический метод -- метод анализа -- предел последовательности -- предел функции -- производная функции -- теория множеств
Аннотация: Разделы учебного пособия включают блок теоретического материала и задачи, предназначенные как для аудиторных занятий, так и для самостоятельной работы. Дается экономическая интерпретация математических понятий. Для студентов, изучающих дисциплины «Математический анализ», «Теория вероятностей и математическая статистика», «Методы оптимальных решений».
Доп.точки доступа:
Плотников, С. В.
Гилёв, Д. В.
Трофимова, Е. А. \ред.\
Трофимова, Е. А.
Математические методы анализа : учебное пособие / Трофимова Е. А. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 272 с. - ISBN 978-5-7996-1413-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дифференциал функции -- математическая логика -- математический анализ -- математический метод -- метод анализа -- предел последовательности -- предел функции -- производная функции -- теория множеств
Аннотация: Разделы учебного пособия включают блок теоретического материала и задачи, предназначенные как для аудиторных занятий, так и для самостоятельной работы. Дается экономическая интерпретация математических понятий. Для студентов, изучающих дисциплины «Математический анализ», «Теория вероятностей и математическая статистика», «Методы оптимальных решений».
Доп.точки доступа:
Плотников, С. В.
Гилёв, Д. В.
Трофимова, Е. А. \ред.\
18.
Подробнее
Белецкая, С. Ю.
Модели и алгоритмы дискретной математики в автоматизированных системах : учебно-методическое пособие / Белецкая С. Ю. - Воронеж : Воронежский государственный технический университет, ЭБС АСВ, 2022. - 123 с. - ISBN 978-5-7731-1009-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
автоматизированная система -- алгоритм -- дискретная математика -- комбинаторика -- модель -- теория графов -- теория множеств -- эвм
Аннотация: В учебно-методическом пособии рассматриваются основные понятия теории множеств, методы и алгоритмы комбинаторики и теории графов, использующиеся при автоматизированном проектировании. Представлены различные алгоритмические схемы, которые могут быть доведены до программной реализации на ЭВМ. Рассматривается использование аппарата теории графов для решения прикладных задач различных классов. Приведены задания для лабораторного практикума. Издание предназначено для студентов направления 09.03.02 «Информационные системы и технологии» (профили «Информационные системы и технологии», «Информационные системы и технологии цифровизации», «Системы автоматизации проектирования и разработки информационных систем») очной формы обучения.
Доп.точки доступа:
Литвиненко, Ю. В.
Тишуков, Б. Н.
Белецкая, С. Ю.
Модели и алгоритмы дискретной математики в автоматизированных системах : учебно-методическое пособие / Белецкая С. Ю. - Воронеж : Воронежский государственный технический университет, ЭБС АСВ, 2022. - 123 с. - ISBN 978-5-7731-1009-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматизированная система -- алгоритм -- дискретная математика -- комбинаторика -- модель -- теория графов -- теория множеств -- эвм
Аннотация: В учебно-методическом пособии рассматриваются основные понятия теории множеств, методы и алгоритмы комбинаторики и теории графов, использующиеся при автоматизированном проектировании. Представлены различные алгоритмические схемы, которые могут быть доведены до программной реализации на ЭВМ. Рассматривается использование аппарата теории графов для решения прикладных задач различных классов. Приведены задания для лабораторного практикума. Издание предназначено для студентов направления 09.03.02 «Информационные системы и технологии» (профили «Информационные системы и технологии», «Информационные системы и технологии цифровизации», «Системы автоматизации проектирования и разработки информационных систем») очной формы обучения.
Доп.точки доступа:
Литвиненко, Ю. В.
Тишуков, Б. Н.
19.
Подробнее
Шнарева, Г. В.
Дискретная математика. Методическое пособие по направлению подготовки 38.03.05 «Бизнес-информатика» для бакалавров всех форм обучения. В 2 частях. Ч.1 : методическое пособие / Шнарева Г. В. - Симферополь : Университет экономики и управления, 2021. - 84 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.176
Кл.слова (ненормированные):
алгебраические структуры -- дискретная математика -- задачи -- теория множеств
Аннотация: Методическое пособие разработано с целью оказания методической помощи обучающимся при выполнении практических заданий по дисциплине «Дискретная математика». Приведены теоретические сведения, образцы решения заданий, тестовые и индивидуальные задания по разделам «Теория множеств» и «Алгебраические структуры» дисциплины «Дискретная математика». Методическое пособие предназначено для обучающихся первого курса очной и заочной форм обучения направления подготовки 38.03.05 Бизнес-информатика (квалификация – бакалавр).
Шнарева, Г. В.
Дискретная математика. Методическое пособие по направлению подготовки 38.03.05 «Бизнес-информатика» для бакалавров всех форм обучения. В 2 частях. Ч.1 : методическое пособие / Шнарева Г. В. - Симферополь : Университет экономики и управления, 2021. - 84 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебраические структуры -- дискретная математика -- задачи -- теория множеств
Аннотация: Методическое пособие разработано с целью оказания методической помощи обучающимся при выполнении практических заданий по дисциплине «Дискретная математика». Приведены теоретические сведения, образцы решения заданий, тестовые и индивидуальные задания по разделам «Теория множеств» и «Алгебраические структуры» дисциплины «Дискретная математика». Методическое пособие предназначено для обучающихся первого курса очной и заочной форм обучения направления подготовки 38.03.05 Бизнес-информатика (квалификация – бакалавр).
20.
Подробнее
Седова, Н. А.
Дискретная математика : учебник для СПО / Седова Н. А. - Саратов : Профобразование, 2024. - 329 с. - ISBN 978-5-4488-1909-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.176
Кл.слова (ненормированные):
алгебра вычетов -- булева функция -- дискретная математика -- комбинаторный объект -- теория графов -- теория множеств -- формула логики
Аннотация: Учебник содержит теоретический материал и многочисленные примеры для изучения дисциплины «Дискретная математика» по семи основным темам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Включает разбор решения 221 задачи и примеров, иллюстрирующих теоретический материал, 315 вопросов для повторения изученного материала и 244 тестовых вопроса для самопроверки полученных знаний. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин. Рекомендуется также для преподавателей и всех интересующихся дискретными объектами.
Доп.точки доступа:
Седов, В. А.
Седова, Н. А.
Дискретная математика : учебник для СПО / Седова Н. А. - Саратов : Профобразование, 2024. - 329 с. - ISBN 978-5-4488-1909-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра вычетов -- булева функция -- дискретная математика -- комбинаторный объект -- теория графов -- теория множеств -- формула логики
Аннотация: Учебник содержит теоретический материал и многочисленные примеры для изучения дисциплины «Дискретная математика» по семи основным темам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Включает разбор решения 221 задачи и примеров, иллюстрирующих теоретический материал, 315 вопросов для повторения изученного материала и 244 тестовых вопроса для самопроверки полученных знаний. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин. Рекомендуется также для преподавателей и всех интересующихся дискретными объектами.
Доп.точки доступа:
Седов, В. А.
Страница 2, Результатов: 28