Skip to content 
el cat en
База данных: ELS Urait
Page 1, Results: 13
Отмеченные записи: 0
1.
Подробнее
Никишечкин, Анатолий Петрович.
Дискретная математика и дискретные системы управления [Электронный ресурс] : учебное пособие для вузов / А. П. Никишечкин. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 298 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-08596-9
URL: https://urait.ru/bcode/541289 (дата обращения: 12.03.2024).
ББК 22.176я73
Кл.слова (ненормированные):
Автоматика и управление -- Технические науки и информационные технологии -- Дискретная математика -- Дискретная математика и математическая логика -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы теории дискретных сигналов и систем -- Основы дискретной математики -- Математическая логика и дискретная математика -- Дискретные системы управления
Аннотация: В учебном пособии рассматриваются методы построения, исследования и минимизации логических функций, основные средства их технической реализации, а также принципы синтеза логических схем. Изложены основы теории автоматов, в рамках которой рассматриваются абстрактный, структурный и секвенциальный автоматы. Описаны временные и рекуррентные булевы функции, являющиеся расширениями логических функций. Отдельные главы посвящены характеристике сетей Петри и их модификации. Издание содержит богатый иллюстративный материал и множество примеров, способствующих лучшему пониманию теории.
Никишечкин, Анатолий Петрович.
Дискретная математика и дискретные системы управления [Электронный ресурс] : учебное пособие для вузов / А. П. Никишечкин. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 298 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-08596-9
URL: https://urait.ru/bcode/541289 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Автоматика и управление -- Технические науки и информационные технологии -- Дискретная математика -- Дискретная математика и математическая логика -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы теории дискретных сигналов и систем -- Основы дискретной математики -- Математическая логика и дискретная математика -- Дискретные системы управления
Аннотация: В учебном пособии рассматриваются методы построения, исследования и минимизации логических функций, основные средства их технической реализации, а также принципы синтеза логических схем. Изложены основы теории автоматов, в рамках которой рассматриваются абстрактный, структурный и секвенциальный автоматы. Описаны временные и рекуррентные булевы функции, являющиеся расширениями логических функций. Отдельные главы посвящены характеристике сетей Петри и их модификации. Издание содержит богатый иллюстративный материал и множество примеров, способствующих лучшему пониманию теории.
2.
Подробнее
Пак, Вадим Геннадьевич.
Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач [Электронный ресурс] : учебное пособие для вузов / В. Г. Пак. - Электрон. дан.col. - Москва : Юрайт, 2024. - 235 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-09512-8
URL: https://urait.ru/bcode/538757 (дата обращения: 12.03.2024).
ББК 22.176я73
Кл.слова (ненормированные):
Математический анализ -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Комбинаторный анализ -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Математика. Дискретная математика -- Введение в дискретную математику -- Теория множеств -- Основы дискретной математики -- Математическая логика и дискретная математика
Аннотация: В учебном пособии представлены задачи по разделам дискретной математики — комбинаторному анализу и теории множеств. Приведенные в пособии задачи имеют разный уровень сложности: некоторые решаются применением одной формулы, другие требуют нестандартного подхода, сообразительности, знания сложных, нетривиальных методов комбинаторного анализа. Издание состоит из трех разделов. Первый раздел посвящен направлению построения методов комбинаторного анализа, связанному с теорией производящих функций и основанной на ней техникой символических вычислений. В нем вводятся понятия производящей и экспоненциальной производящей функции, операции над ними, рассмотрен метод рекуррентных соотношений. Второй и третий разделы состоят из задач разного уровня соответственно по теории множеств и комбинаторике, приведено множество формул и методик решения. Многие задачи снабжены ответами, поэтому сборник может быть рекомендован для самостоятельной работы при подготовке к экзаменам и контрольным работам. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Учебное пособие предназначено студентам высших учебных заведений, аспирантам и преподавателям, а также всем интересующимся.
Пак, Вадим Геннадьевич.
Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач [Электронный ресурс] : учебное пособие для вузов / В. Г. Пак. - Электрон. дан.col. - Москва : Юрайт, 2024. - 235 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-09512-8
URL: https://urait.ru/bcode/538757 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Математический анализ -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Комбинаторный анализ -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Математика. Дискретная математика -- Введение в дискретную математику -- Теория множеств -- Основы дискретной математики -- Математическая логика и дискретная математика
Аннотация: В учебном пособии представлены задачи по разделам дискретной математики — комбинаторному анализу и теории множеств. Приведенные в пособии задачи имеют разный уровень сложности: некоторые решаются применением одной формулы, другие требуют нестандартного подхода, сообразительности, знания сложных, нетривиальных методов комбинаторного анализа. Издание состоит из трех разделов. Первый раздел посвящен направлению построения методов комбинаторного анализа, связанному с теорией производящих функций и основанной на ней техникой символических вычислений. В нем вводятся понятия производящей и экспоненциальной производящей функции, операции над ними, рассмотрен метод рекуррентных соотношений. Второй и третий разделы состоят из задач разного уровня соответственно по теории множеств и комбинаторике, приведено множество формул и методик решения. Многие задачи снабжены ответами, поэтому сборник может быть рекомендован для самостоятельной работы при подготовке к экзаменам и контрольным работам. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Учебное пособие предназначено студентам высших учебных заведений, аспирантам и преподавателям, а также всем интересующимся.
3.
Подробнее
Таранников, Юрий Валерьевич.
Дискретная математика. Задачник [Электронный ресурс] : учебное пособие для вузов / Ю. В. Таранников. - Электрон. дан.col. - Москва : Юрайт, 2024. - 385 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-01180-7
URL: https://urait.ru/bcode/536541 (дата обращения: 12.03.2024).
ББК 22.176я73
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Дискретные и математические модели -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы дискретной математики -- Математическая логика и дискретная математика
Аннотация: В книге рассматриваются задачи, встречающиеся в инженерной практике, для формализации которых необходимы математические модели дискретной математики — теоретико-множественные, комбинаторно-логические, автоматные, графовые, функциональные, алгебраические и др. Существенное внимание уделено принципам построения алгоритмов решения задач дискретной математики на базе известных моделей вычислений и оценкам их сложности. По каждому разделу даны задачи и теоретические упражнения. В большинстве тем автор (преподаватель мехмата МГУ) использует собственный подход к подаче материала, преследующий цель максимально эффективного обучения читателей практическим навыкам по рассматриваемым вопросам.
Таранников, Юрий Валерьевич.
Дискретная математика. Задачник [Электронный ресурс] : учебное пособие для вузов / Ю. В. Таранников. - Электрон. дан.col. - Москва : Юрайт, 2024. - 385 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-01180-7
URL: https://urait.ru/bcode/536541 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Дискретные и математические модели -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы дискретной математики -- Математическая логика и дискретная математика
Аннотация: В книге рассматриваются задачи, встречающиеся в инженерной практике, для формализации которых необходимы математические модели дискретной математики — теоретико-множественные, комбинаторно-логические, автоматные, графовые, функциональные, алгебраические и др. Существенное внимание уделено принципам построения алгоритмов решения задач дискретной математики на базе известных моделей вычислений и оценкам их сложности. По каждому разделу даны задачи и теоретические упражнения. В большинстве тем автор (преподаватель мехмата МГУ) использует собственный подход к подаче материала, преследующий цель максимально эффективного обучения читателей практическим навыкам по рассматриваемым вопросам.
4.
Подробнее
Палий, Ирина Абрамовна.
Дискретная математика и математическая логика [Электронный ресурс] : учебное пособие для вузов / И. А. Палий. - 3-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 370 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-12446-0
URL: https://urait.ru/bcode/539583 (дата обращения: 12.03.2024).
ББК 22.176я73
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Дискретный анализ -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы дискретной математики -- Математическая логика и дискретная математика
Аннотация: В настоящем учебном пособии излагаются основы теории множеств, теории графов, алгебры логики, исчисления высказываний, исчисления предикатов. Теоретический материал представлен доступно и лаконично, также в книге содержится большое количество практических примеров и задач, что облегчает усвоение понятий и методов дискретной математики и математической логики. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов, обучающихся по естественнонаучным направлениям, преподавателей и всех интересующихся.
Палий, Ирина Абрамовна.
Дискретная математика и математическая логика [Электронный ресурс] : учебное пособие для вузов / И. А. Палий. - 3-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 370 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-12446-0
URL: https://urait.ru/bcode/539583 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Дискретный анализ -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы дискретной математики -- Математическая логика и дискретная математика
Аннотация: В настоящем учебном пособии излагаются основы теории множеств, теории графов, алгебры логики, исчисления высказываний, исчисления предикатов. Теоретический материал представлен доступно и лаконично, также в книге содержится большое количество практических примеров и задач, что облегчает усвоение понятий и методов дискретной математики и математической логики. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов, обучающихся по естественнонаучным направлениям, преподавателей и всех интересующихся.
5.
Подробнее
Любецкий, Василий Александрович.
Теория множеств: абсолютно неразрешимые классические проблемы [Электронный ресурс] : учебное пособие для вузов / В. А. Любецкий, В. Г. Кановей. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 357 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-10390-8
URL: https://urait.ru/bcode/541430 (дата обращения: 12.03.2024).
ББК 22.12я73
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Дискретная математика и математическая логика -- Математическая логика -- Теория множеств -- Математическая логика и дискретная математика -- Основы математической логики -- Введение в математическую логику
Аннотация: Пособие посвящено изложению основ современной теории множеств: аксиоматики, конструктивности по Гёделю, форсинга по Коэну. На этой основе изложены главные результаты, связанные с классическими проблемами дискриптивной теории множеств. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов-математиков, аспирантов, преподавателей, научных работников.
Доп.точки доступа:
Кановей, Владимир Григорьевич
Любецкий, Василий Александрович.
Теория множеств: абсолютно неразрешимые классические проблемы [Электронный ресурс] : учебное пособие для вузов / В. А. Любецкий, В. Г. Кановей. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 357 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-10390-8
URL: https://urait.ru/bcode/541430 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Дискретная математика и математическая логика -- Математическая логика -- Теория множеств -- Математическая логика и дискретная математика -- Основы математической логики -- Введение в математическую логику
Аннотация: Пособие посвящено изложению основ современной теории множеств: аксиоматики, конструктивности по Гёделю, форсинга по Коэну. На этой основе изложены главные результаты, связанные с классическими проблемами дискриптивной теории множеств. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов-математиков, аспирантов, преподавателей, научных работников.
Доп.точки доступа:
Кановей, Владимир Григорьевич
6.
Подробнее
Кудрявцев, Валерий Борисович.
Дискретная математика. Теория однородных структур [Электронный ресурс] : учебник для вузов / В. Б. Кудрявцев, А. С. Подколзин, А. А. Болотов. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 295 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-02901-7
URL: https://urait.ru/bcode/537943 (дата обращения: 12.03.2024).
ББК 22.18я73
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Дополнительные главы дискретной математики, математической логики -- Прикладные вопросы дискретной математики -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Дискретные и математические модели -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы дискретной математики -- Математическая логика и дискретная математика
Аннотация: Вошедший в книгу материал содержит основные факты по теории однородных структур. Излагаются результаты, связанные с восстановлением свойств однородных структур по графам переходов состояний, анализом явления роста конфигураций состояний однородных структур, имитацией изменения геометрических форм с помощью эволюции конфигураций. Изучается явление моделирования процессов в одной однородной структуре с помощью процессов в другой однородной структуре. Отдельная часть посвящена однородным структурам со входами и выходами. Исследуются возможности однородных структур и однородных структур со входами и выходами для решения некоторых характерных задач вычислительной математики.
Доп.точки доступа:
Подколзин, Александр Сергеевич
Болотов, Анатолий Александрович
Кудрявцев, Валерий Борисович.
Дискретная математика. Теория однородных структур [Электронный ресурс] : учебник для вузов / В. Б. Кудрявцев, А. С. Подколзин, А. А. Болотов. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 295 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-02901-7
URL: https://urait.ru/bcode/537943 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Дополнительные главы дискретной математики, математической логики -- Прикладные вопросы дискретной математики -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Дискретные и математические модели -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы дискретной математики -- Математическая логика и дискретная математика
Аннотация: Вошедший в книгу материал содержит основные факты по теории однородных структур. Излагаются результаты, связанные с восстановлением свойств однородных структур по графам переходов состояний, анализом явления роста конфигураций состояний однородных структур, имитацией изменения геометрических форм с помощью эволюции конфигураций. Изучается явление моделирования процессов в одной однородной структуре с помощью процессов в другой однородной структуре. Отдельная часть посвящена однородным структурам со входами и выходами. Исследуются возможности однородных структур и однородных структур со входами и выходами для решения некоторых характерных задач вычислительной математики.
Доп.точки доступа:
Подколзин, Александр Сергеевич
Болотов, Анатолий Александрович
7.
Подробнее
Иванов, Борис Николаевич.
Дискретная математика и теория графов [Электронный ресурс] : учебное пособие для вузов / Б. Н. Иванов. - Электрон. дан.col. - Москва : Юрайт, 2024. - 177 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-14470-3
URL: https://urait.ru/bcode/544302 (дата обращения: 12.03.2024).
ББК 32.973.3я73
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика и математическая логика -- Программирование и основы алгоритмизации -- Финансовая математика -- Основы алгоритмизации и программирования -- Теория графов -- Алгоритмизация и программирование -- Основы программирования и алгоритмизации -- Программирование и алгоритмизация -- Основы финансовой математики -- Экономические информационные системы -- Информатика (программирование и алгоритмы) -- Основы алгоритмизации и программирование -- Математическая логика и дискретная математика -- Основы теории графов -- Дискретная математика и теория графов -- Алгоритмическая теория графов
Аннотация: Рассматриваются значимые для практики задачи и алгоритмы на графах. Техника решения задач на графах, как правило, носит алгоритмический рекурсивный характер. В примерах решения алгоритмических задач выполняются способом заполнения данных. Для рекурсии такой подход позволяет понять суть алгоритма и увидеть его с точки зрения программной реализации. Остроумные приемы и находки авторов алгоритмов здесь играют важную роль. Сильной стороной курса является наличие обоснования и доказательства справедливости алгоритмов. Такие доказательства носят конструктивный характер и, как правило, составляют базовую часть алгоритма. К изучению предлагаются групповые свойства целых чисел как необходимый инструмент в практическом программировании. Даются достаточно полный их обзор и ряд приложений. В частности, шифрование с открытым ключом.
Иванов, Борис Николаевич.
Дискретная математика и теория графов [Электронный ресурс] : учебное пособие для вузов / Б. Н. Иванов. - Электрон. дан.col. - Москва : Юрайт, 2024. - 177 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-14470-3
URL: https://urait.ru/bcode/544302 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика и математическая логика -- Программирование и основы алгоритмизации -- Финансовая математика -- Основы алгоритмизации и программирования -- Теория графов -- Алгоритмизация и программирование -- Основы программирования и алгоритмизации -- Программирование и алгоритмизация -- Основы финансовой математики -- Экономические информационные системы -- Информатика (программирование и алгоритмы) -- Основы алгоритмизации и программирование -- Математическая логика и дискретная математика -- Основы теории графов -- Дискретная математика и теория графов -- Алгоритмическая теория графов
Аннотация: Рассматриваются значимые для практики задачи и алгоритмы на графах. Техника решения задач на графах, как правило, носит алгоритмический рекурсивный характер. В примерах решения алгоритмических задач выполняются способом заполнения данных. Для рекурсии такой подход позволяет понять суть алгоритма и увидеть его с точки зрения программной реализации. Остроумные приемы и находки авторов алгоритмов здесь играют важную роль. Сильной стороной курса является наличие обоснования и доказательства справедливости алгоритмов. Такие доказательства носят конструктивный характер и, как правило, составляют базовую часть алгоритма. К изучению предлагаются групповые свойства целых чисел как необходимый инструмент в практическом программировании. Даются достаточно полный их обзор и ряд приложений. В частности, шифрование с открытым ключом.
8.
Подробнее
Судоплатов, Сергей Владимирович.
Дискретная математика [Электронный ресурс] : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 279 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-00871-5
URL: https://urait.ru/bcode/535805 (дата обращения: 12.03.2024).
ББК 22.176я73
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы дискретной математики -- Дискретная математика, математическая логика и алгоритмизация -- Дискретная математика, математическая логика и теория алгоритмов -- Дискретная математика и исследование операций -- Дискретная математика и сложность алгоритмов -- Математическая логика и дискретная математика
Аннотация: В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Учебник поможет студенту овладеть информацией о математике как об особом способе познания мира, общности ее понятий и представлений, а также о дискретной математике как о важнейшем разделе математики, используемом в современном математическом моделировании. Для углубленного изучения материала в конце книги приводится список литературы. Для удобства поиска используемых терминов дан указатель терминов, а также указатель обозначений. Кроме того, в качестве приложения приведен типовой расчет по дискретной математике для самостоятельного выполнения студентами семестрового задания на основе материала, излагаемого в книге.
Доп.точки доступа:
Овчинникова, Елена Викторовна
Судоплатов, Сергей Владимирович.
Дискретная математика [Электронный ресурс] : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 279 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-00871-5
URL: https://urait.ru/bcode/535805 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Математика. Дискретная математика -- Введение в дискретную математику -- Основы дискретной математики -- Дискретная математика, математическая логика и алгоритмизация -- Дискретная математика, математическая логика и теория алгоритмов -- Дискретная математика и исследование операций -- Дискретная математика и сложность алгоритмов -- Математическая логика и дискретная математика
Аннотация: В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Учебник поможет студенту овладеть информацией о математике как об особом способе познания мира, общности ее понятий и представлений, а также о дискретной математике как о важнейшем разделе математики, используемом в современном математическом моделировании. Для углубленного изучения материала в конце книги приводится список литературы. Для удобства поиска используемых терминов дан указатель терминов, а также указатель обозначений. Кроме того, в качестве приложения приведен типовой расчет по дискретной математике для самостоятельного выполнения студентами семестрового задания на основе материала, излагаемого в книге.
Доп.точки доступа:
Овчинникова, Елена Викторовна
9.
Подробнее
Скорубский, Владимир Иванович.
Математическая логика [Электронный ресурс] : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 211 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-01114-2
URL: https://urait.ru/bcode/536998 (дата обращения: 12.03.2024).
ББК 22.12я73
Кл.слова (ненормированные):
Логика -- Общественные науки -- Дискретная математика и математическая логика -- Математическая логика и теория алгоритмов -- Дополнительные главы дискретной математики, математической логики -- Математическая логика -- Теория графов и математическая логика -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Логика и алгоритмы -- Логика и математика для дошкольников -- Формирование логико-математических представлений -- Современные проблемы математической логики и теории алгоритмов -- Математическая логика, теория графов и алгоритмов -- Основы математической логики и теории алгоритмов -- Основы логики и теории графов -- Математическая логика и формальные языки -- Математическая логика и теория графов -- Математическая логика и теория алгоритм -- Математическая логика в обучении математики -- Элементы математической логики и теории алгоритмов в школьном курсе математики -- Алгебра и математическая логика -- Прикладная теория алгоритмов и математической логики в вычислительной технике -- Математическая логика и дискретная математика -- Математическая логика и теория алгоритмов Высшей математики -- Прикладная математика и математическая логика -- Основы математической логики и теория множеств -- Основы математической логики -- Основы математической логики и информатики -- Элементы математической логики и теории множеств -- Математическая логика и теория -- Основы цифровых устройств и математическая логика -- Логика высказываний и булевы алгебры -- Функции алгебры логики -- Теория и методика логико-математического развития детей -- Специальные разделы математической логики -- Математическая логика и конечные автоматы -- Математическая логика и теория алгоритмов в машиностроении -- Введение в математическую логику -- Применение математической логики в системах управления -- Логика и дискретная математика
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Доп.точки доступа:
Поляков, Владимир Иванович
Зыков, Анатолий Геннадьевич
Скорубский, Владимир Иванович.
Математическая логика [Электронный ресурс] : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 211 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-01114-2
URL: https://urait.ru/bcode/536998 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Дискретная математика и математическая логика -- Математическая логика и теория алгоритмов -- Дополнительные главы дискретной математики, математической логики -- Математическая логика -- Теория графов и математическая логика -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Логика и алгоритмы -- Логика и математика для дошкольников -- Формирование логико-математических представлений -- Современные проблемы математической логики и теории алгоритмов -- Математическая логика, теория графов и алгоритмов -- Основы математической логики и теории алгоритмов -- Основы логики и теории графов -- Математическая логика и формальные языки -- Математическая логика и теория графов -- Математическая логика и теория алгоритм -- Математическая логика в обучении математики -- Элементы математической логики и теории алгоритмов в школьном курсе математики -- Алгебра и математическая логика -- Прикладная теория алгоритмов и математической логики в вычислительной технике -- Математическая логика и дискретная математика -- Математическая логика и теория алгоритмов Высшей математики -- Прикладная математика и математическая логика -- Основы математической логики и теория множеств -- Основы математической логики -- Основы математической логики и информатики -- Элементы математической логики и теории множеств -- Математическая логика и теория -- Основы цифровых устройств и математическая логика -- Логика высказываний и булевы алгебры -- Функции алгебры логики -- Теория и методика логико-математического развития детей -- Специальные разделы математической логики -- Математическая логика и конечные автоматы -- Математическая логика и теория алгоритмов в машиностроении -- Введение в математическую логику -- Применение математической логики в системах управления -- Логика и дискретная математика
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Доп.точки доступа:
Поляков, Владимир Иванович
Зыков, Анатолий Геннадьевич
10.
Подробнее
Гисин, Владимир Борисович.
Дискретная математика [Электронный ресурс] : учебник и практикум для вузов / В. Б. Гисин. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 468 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-16763-4
URL: https://urait.ru/bcode/535959 (дата обращения: 12.03.2024).
ББК 22.176я73
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Дополнительные главы дискретной математики, математической логики -- Прикладные вопросы дискретной математики -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Дискретные и математические модели -- Математика. Дискретная математика -- Введение в дискретную математику -- Дискретная математика с элементами математической логики -- Основы дискретной математики -- Дискретная математика, математическая логика и алгоритмизация -- Дискретная математика в радиотехнике -- Дискретная математика в технологиях передачи информации -- Дискретная математика в САПР -- Дискретная математика, математическая логика и теория алгоритмов -- Дискретная математика и исследование операций -- Дискретная математика и сложность алгоритмов -- Дискретная математика в системах автоматизированного проектирования -- Математическая логика и дискретная математика -- Дискретная математика для программистов -- Дискретная математика и теория алгоритмов -- Дискретная математика и численные методы -- Дискретная математика и теория автоматов -- Дискретная математика, математическая логика и основы формальной грамматики -- Дискретная математика и вычислительные системы -- Дискретная математика и теория графов -- Алгоритмические языки и формальные грамматики -- Теория графов для программистов -- Дискретная математика (комбинаторика) -- Дискретная математика (теория алгоритмов и сложность вычислений) -- Дискретная математика в программировании -- Дискретная математика. Алгебра и теория чисел -- Дискретная математика в инженерных приложениях -- Дискретная математика в задачах цифровой связи -- Дискретная математика в криптографии -- Программисты с углубленной подготовкой по математике -- Теория нелинейных и дискретных систем управления -- Дискретная математика. Теория автоматов -- Дискретная математика и алгебраические структуры -- Теория дискретных и нелинейных систем управления -- Логика и дискретная математика
Аннотация: В курсе изложены традиционные разделы дискретной математики: множества и отношения, математическая логика, комбинаторика, графы, алгоритмы, кодирование. Особое внимание уделено применению методов дискретной математики в экономических моделях и моделях современной информатики: модели принятия решений и теоремы о невозможности, функции выбора, биномиальная модель ценообразования активов, криптография с открытым ключом, реляционные базы данных. Курс содержит изложение теоретического материала, задачи и упражнения. Для бакалавров и магистров, обучающихся по направлениям экономики и управления, прикладной математики и информатики.
Гисин, Владимир Борисович.
Дискретная математика [Электронный ресурс] : учебник и практикум для вузов / В. Б. Гисин. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 468 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-16763-4
URL: https://urait.ru/bcode/535959 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Дискретная математика -- Математика и статистика -- Дискретная математика -- Дискретная математика и математическая логика -- Дополнительные главы дискретной математики, математической логики -- Прикладные вопросы дискретной математики -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Дискретные и математические модели -- Математика. Дискретная математика -- Введение в дискретную математику -- Дискретная математика с элементами математической логики -- Основы дискретной математики -- Дискретная математика, математическая логика и алгоритмизация -- Дискретная математика в радиотехнике -- Дискретная математика в технологиях передачи информации -- Дискретная математика в САПР -- Дискретная математика, математическая логика и теория алгоритмов -- Дискретная математика и исследование операций -- Дискретная математика и сложность алгоритмов -- Дискретная математика в системах автоматизированного проектирования -- Математическая логика и дискретная математика -- Дискретная математика для программистов -- Дискретная математика и теория алгоритмов -- Дискретная математика и численные методы -- Дискретная математика и теория автоматов -- Дискретная математика, математическая логика и основы формальной грамматики -- Дискретная математика и вычислительные системы -- Дискретная математика и теория графов -- Алгоритмические языки и формальные грамматики -- Теория графов для программистов -- Дискретная математика (комбинаторика) -- Дискретная математика (теория алгоритмов и сложность вычислений) -- Дискретная математика в программировании -- Дискретная математика. Алгебра и теория чисел -- Дискретная математика в инженерных приложениях -- Дискретная математика в задачах цифровой связи -- Дискретная математика в криптографии -- Программисты с углубленной подготовкой по математике -- Теория нелинейных и дискретных систем управления -- Дискретная математика. Теория автоматов -- Дискретная математика и алгебраические структуры -- Теория дискретных и нелинейных систем управления -- Логика и дискретная математика
Аннотация: В курсе изложены традиционные разделы дискретной математики: множества и отношения, математическая логика, комбинаторика, графы, алгоритмы, кодирование. Особое внимание уделено применению методов дискретной математики в экономических моделях и моделях современной информатики: модели принятия решений и теоремы о невозможности, функции выбора, биномиальная модель ценообразования активов, криптография с открытым ключом, реляционные базы данных. Курс содержит изложение теоретического материала, задачи и упражнения. Для бакалавров и магистров, обучающихся по направлениям экономики и управления, прикладной математики и информатики.
Page 1, Results: 13