| Найдено документов - 89 | Найти похожие: "Индекс ББК" = '22.12я73' | Версия для печати |
Сортировать по:
1. Книга
Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. - 2-е изд. - Москва : Юрайт, 2025. - 675 с. - (Высшее образование). - ISBN 978-5-534-11009-8 : 2759.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=965030&idb=0
Авторы: Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И.
УДК: 004.43(075.8)
Ключевые слова: Программирование, Компьютерные и информационные науки, Программирование, Математическая логика и теория алгоритмов, Теория и технология программирования, Методы программирования, Математическая логика, Основы программирования, Прикладное программирование, Программирование для ЭВМ, Введение в программирование, Семантика языков программирования, Программируемые логические интегральные схемы (ПЛИС), Разработка устройств на базе программируемых логических интегральных схем, Программирование на ЭВМ, Основы математической логики, Программируемые логические схемы, Модельно-ориентированное исследование промышленных объектов и систем, Программируемые логические интегральные схемы, Практико-ориентированное вхождение в профессию, Введение в математическую логику, Формальная верификация моделей программного обеспечения
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Ссылка на полный текст документа: https://urait.ru/bcode/565921
2. Книга
Фихтенгольц Г. М.
Основы математического анализа. Часть 2 : учебник для вузов / Фихтенгольц Г. М. - 16-е изд., стер. - Санкт-Петербург : Лань, 2025. - 464 с. - Допущено Министерством образования и науки РФ в качестве учебника для студентов высших учебных заведений, обучающихся по направлениям подготовки и специальностям в области естественных наук и математики, техники и технологий, образования и педагогики. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-50836-5.
Основы математического анализа. Часть 2 : учебник для вузов / Фихтенгольц Г. М. - 16-е изд., стер. - Санкт-Петербург : Лань, 2025. - 464 с. - Допущено Министерством образования и науки РФ в качестве учебника для студентов высших учебных заведений, обучающихся по направлениям подготовки и специальностям в области естественных наук и математики, техники и технологий, образования и педагогики. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-50836-5.
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=973261&idb=0
Авторы: Фихтенгольц Г. М.
УДК: 517
Ключевые слова: числовые ряды, функциональные последовательности, несобственные интегралы, неявные функции, криволинейные интегралы, двойные интегралы, тройные интегралы, площадь поверхности, ряды Фурье
Аннотация: Учебник отличается систематическим и строгим изложением основ математического анализа. Материал излагается в логической последовательности и сопровождается примерами, облегчающими процесс усвоения теоретических положений курса. Автор уделяет особое внимание прикладному значению анализа как в самой математике, так и в смежных областях знания — в физике, механике и технике. Учебник предназначен для студентов первого и второго курсов математических отделений вузов.
Ссылка на полный текст документа: https://e.lanbook.com/book/473315
3. Книга
Фихтенгольц Г. М.
Основы математического анализа. Часть 1 : учебник для вузов / Фихтенгольц Г. М. - 17-е изд., стер. - Санкт-Петербург : Лань, 2025. - 448 с. - Допущено Министерством образования и науки РФ в качестве учебника для студентов высших учебных заведений, обучающихся по направлениям подготовки и специальностям в области естественных наук и математики, техники и технологий, образования и педагогики. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-50709-2.
Основы математического анализа. Часть 1 : учебник для вузов / Фихтенгольц Г. М. - 17-е изд., стер. - Санкт-Петербург : Лань, 2025. - 448 с. - Допущено Министерством образования и науки РФ в качестве учебника для студентов высших учебных заведений, обучающихся по направлениям подготовки и специальностям в области естественных наук и математики, техники и технологий, образования и педагогики. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-50709-2.
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=971209&idb=0
Авторы: Фихтенгольц Г. М.
УДК: 517
Ключевые слова: вещественные чила, функции одной переменной, теория пределов, непрерывные функции одной переменной, дифференцирование функций одной переменной, дифференциальное исчисление, производные, функции нескольких переменных, неопределенный интеграл, определенный интеграл, математический анализ
Аннотация: Учебник отличается систематическим и строгим изложением основ математического анализа. Материал излагается в логической последовательности и сопровождается примерами, облегчающими процесс усвоения теоретических положений курса. Автор уделяет особое внимание прикладному значению анализа как в самой математике, так и в смежных областях знания — в физике, механике и технике. Учебник предназначен для студентов первого и второго курсов математических отделений вузов.
Ссылка на полный текст документа: https://e.lanbook.com/book/458390
4. Книга
Туганбаев А. А.
Конструкции колец, модулей и алгебр : учебное пособие для вузов / Туганбаев А. А. - Санкт-Петербург : Лань, 2025. - 288 с. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-50290-5.
Конструкции колец, модулей и алгебр : учебное пособие для вузов / Туганбаев А. А. - Санкт-Петербург : Лань, 2025. - 288 с. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-50290-5.
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=930269&idb=0
Авторы: Туганбаев А. А.
УДК: 510.6
Ключевые слова: тензорные произведения модулей, классические локализации колец, групповые кольца, моноидные кольца моноидов, алгебры кватернионов
Аннотация: В данной книге изучаются различные конструкции колец, модулей и алгебр: тензорные произведения модулей, классические локализации колец, групповые кольца, моноидные кольца моноидов с сокращениями и регулярных моноидов, алгебры (обобщенные) кватернионов (a А b) над произвольными коммутативными кольцами A с обратимыми элементами a, b. Также исследуются свойства проективных, свободных, плоских, инъективных и регулярных модулей. Пособие предназначено для студентов вузов.
Ссылка на полный текст документа: https://e.lanbook.com/book/447230
5. Книга
Туганбаев А. А.
Введение в алгебраические системы и математическую логику : учебное пособие для вузов / Туганбаев А. А. - Санкт-Петербург : Лань, 2025. - 168 с. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-49973-1.
Введение в алгебраические системы и математическую логику : учебное пособие для вузов / Туганбаев А. А. - Санкт-Петербург : Лань, 2025. - 168 с. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-49973-1.
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=928182&idb=0
Авторы: Туганбаев А. А.
УДК: 510.6
Аннотация: В книге рассмотрены важнейшие разделы математики — введение в теорию множеств, математическую логику и алгебраические системы. Учебное пособие соответствует программам курсов высшей математики для студентов и преподавателей различных специальностей и может также выполнять функции задачника по высшей математике.
Ссылка на полный текст документа: https://e.lanbook.com/book/437237
6. Книга
Судоплатов Сергей Владимирович.
Математическая логика и теория алгоритмов : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд. - Москва : Юрайт, 2025. - 207 с. - (Высшее образование). - ISBN 978-5-534-12274-9. - Текст : электронный // ЭБС "Юрайт".
Математическая логика и теория алгоритмов : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд. - Москва : Юрайт, 2025. - 207 с. - (Высшее образование). - ISBN 978-5-534-12274-9. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=922669&idb=0
Авторы: Судоплатов С. В., Овчинникова Е. В.
УДК: 510.6(075.8)
Ключевые слова: Математика: общие работы, Математика и статистика, Дискретная математика, Математическая логика и теория алгоритмов, Теория алгоритмов, Математическая логика, Дискретный анализ, Дополнительные главы дискретной математики, Дополнительные главы математической логики и теории алгоритмов, Математика. Дискретная математика, Метрики в дискретной математике, Введение в дискретную математику, Информатика, математическая логика и теория алгоритмов, Дополнительные главы теории алгоритмов, Теория дискретных преобразователей, Основы дискретной математики, Дополнительные разделы дискретной математики, Алгоритмы дискретной математики, Теория дискретных функций, Теоретические основы дискретных вычислений, ИКТ в решении задач дискретной математики, Приложения дискретной математики, Специальные разделы дискретной математики, Прикладные задачи дискретной техники, Методика применения математического аппарата при решении нестандартных задач, Нестандартные логики, Приложения алгебры и предикатов, Неклассические методы обработки статистических данных, Современные методы в дискретной математике, Нестандартные задачи по математике, Фундаментальные основы дискретной математики, Дискретные и непрерывные статистические распределения, Математические основы дискретной техники, Дискретные структуры, Основы математической логики, Локализация энергии в дискретных волновых системах, Дискретно-непрерывные динамические сети, Специальные главы дискретной математики, Матлогика и теория алгоритмов, Функциональная логика и теория алгоритмов, Введение в математическую логику, Дискретные модели, Алгебра, геометрия и математическая логика, зрения Современные проблемы математической логики и теории алгоритмов, Алгоритмы в дискретной математике и оценки их сложности
Аннотация: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Ссылка на полный текст документа: https://urait.ru/bcode/559978
7. Книга
Скорубский Владимир Иванович.
Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Москва : Юрайт, 2025. - 211 с. - (Высшее образование). - ISBN 978-5-534-01114-2. - Текст : электронный // ЭБС "Юрайт".
Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Москва : Юрайт, 2025. - 211 с. - (Высшее образование). - ISBN 978-5-534-01114-2. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=921418&idb=0
Авторы: Скорубский В. И., Поляков В. И., Зыков А. Г.
УДК: 510.6(075.8)
Ключевые слова: Логика. Риторика, Общественные науки, Дискретная математика и математическая логика, Математическая логика и теория алгоритмов, Дополнительные главы дискретной математики, математической логики, Математическая логика, Теория графов и математическая логика, Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках, Логика и алгоритмы, Логика и математика для дошкольников, Формирование логико-математических представлений, Современные проблемы математической логики и теории алгоритмов, Математическая логика, теория графов и алгоритмов, Основы математической логики и теории алгоритмов, Основы логики и теории графов, Математическая логика и формальные языки, Математическая логика и теория графов, Математическая логика и теория алгоритм, Математическая логика в обучении математики, Элементы математической логики и теории алгоритмов в школьном курсе математики, Алгебра и математическая логика, Прикладная теория алгоритмов и математической логики в вычислительной технике, Математическая логика и дискретная математика, Математическая логика и теория алгоритмов Высшей математики, Прикладная математика и математическая логика, Основы математической логики и теория множеств, Основы математической логики, Основы математической логики и информатики, Элементы математической логики и теории множеств, Математическая логика и теория, Основы цифровых устройств и математическая логика, Логика высказываний и булевы алгебры, Функции алгебры логики, Теория и методика логико-математического развития детей, Специальные разделы математической логики, Математическая логика и конечные автоматы, Математическая логика и теория алгоритмов в машиностроении, Введение в математическую логику, Применение математической логики в системах управления, Логика и дискретная математика
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Ссылка на полный текст документа: https://urait.ru/bcode/561076
8. Книга
Секованов В. С.
Множества Жюлиа и множества Мандельброта : учебное пособие для вузов / Секованов В. С. - Санкт-Петербург : Лань, 2025. - 148 с. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-52671-0.
Множества Жюлиа и множества Мандельброта : учебное пособие для вузов / Секованов В. С. - Санкт-Петербург : Лань, 2025. - 148 с. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-52671-0.
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=976736&idb=0
Авторы: Секованов В. С.
УДК: 510.3
Ключевые слова: множества Мандельброта, множества Жюлиа, неподвижные точки, полином, гладкие множества
Аннотация: В учебном пособии мы завершаем исследования по голоморфной динамике, начатые в книгах «Элементы теории дискретных динамических систем», «Фрактальная геометрия (преподавание, задачи, алгоритмы, синергетика, эстетика, приложения)», «Голоморфная динамика (первое и второе издания)» с целью сосредоточить свое внимание на не менее важных вопросах, связанных с теорией хаоса в дискретных динамических системах. Новым в данной учебном пособии является разделение алгоритмов построения множеств Жюлиа и заполняющих множеств Жюлиа, установление неожиданных связей обрамлений множества Мандельброта с замечательными кривыми — лемнискатой, кардиоидой и др. Впервые исследуются обрамления множеств Мандельброта для семейства рациональных функций и др. Пособие нацелено как на исследование задач голоморфной динамики, так и на решение дидактических задач, связанных с обучением математике, информатике и развитии креативности студентов. Основным средством развития креативности обучаемых является выполнение многоэтапных математико-информационных заданий (ММИЗ), посвященных пошаговому изучению элементов голоморфной динамики, множеств Жюлиа и множеств Мандельброта. Мы предлагаем выполнение интересных ММИЗ: «Гладкие множества Жюлиа», «Неограниченные множества Жюлиа», «Обрамления множества Мандельброта семейств полиномов третьей степени и замечательные кривые». Учебное пособие будет полезно специалистами физико-математического цикла, инженерами, учителями математики и информатики с углубленным изучением данных дисциплин.
Ссылка на полный текст документа: https://e.lanbook.com/book/495005
9. Книга
Пруцков Алексей Викторович (Рязанский государственный радиотехнический университет имени В.Ф. Уткина).
Математическая логика и теория алгоритмов : Учебник / Рязанский государственный радиотехнический университет имени В.Ф. Уткина; Московский государственный технический университет им. Н.Э. Баумана Национальный исследовательский университет. - 1. - Москва : ООО "КУРС", 2025. - 152 с. - (Бакалавриат). - ВО - Бакалавриат. - ISBN 978-5-906818-74-4. - ISBN 978-5-16-113611-9 (электр. издание). - ISBN 978-5-16-012180-2 (ISBN соиздателя).
Математическая логика и теория алгоритмов : Учебник / Рязанский государственный радиотехнический университет имени В.Ф. Уткина; Московский государственный технический университет им. Н.Э. Баумана Национальный исследовательский университет. - 1. - Москва : ООО "КУРС", 2025. - 152 с. - (Бакалавриат). - ВО - Бакалавриат. - ISBN 978-5-906818-74-4. - ISBN 978-5-16-113611-9 (электр. издание). - ISBN 978-5-16-012180-2 (ISBN соиздателя).
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=968404&idb=0
Авторы: Пруцков А.В., Волкова Л.Л.
УДК: 51(075.8)
Основная рубрика: Физико-математические науки - Линейное программирование. Математическая логика
Аннотация: Учебник представляет собой готовое решение для методического обеспечения дисциплины «Математическая логика и теория алгоритмов». В учебник включены лекции практические задания и вопросы к экзамену подготовленные за десятилетнее преподавание этой дисциплины в высших и средних учебных заведениях. Учебник подготовлен для студентов учреждений высшего профессионального образования по направлениям подготовки «Прикладная информатика» и «Программная инженерия» и полностью соответствует Федеральным Государственным образовательным стандартам по данным направлениям.
Ссылка на полный текст документа: https://znanium.ru/catalog/document?id=465003
10. Книга
Прохоров Юрий Васильевич.
Теория вероятностей и математическая статистика : учебник и практикум для вузов / Ю. В. Прохоров, Л. С. Пономаренко. - 3-е изд. - Москва : Юрайт, 2025. - 219 с. - (Высшее образование). - ISBN 978-5-534-20239-7. - Текст : электронный // ЭБС "Юрайт".
Теория вероятностей и математическая статистика : учебник и практикум для вузов / Ю. В. Прохоров, Л. С. Пономаренко. - 3-е изд. - Москва : Юрайт, 2025. - 219 с. - (Высшее образование). - ISBN 978-5-534-20239-7. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=920204&idb=0
Авторы: Прохоров Ю. В., Пономаренко Л. С.
УДК: 519.2(075.8)
Ключевые слова: Теория вероятностей и математическая статистика, Математика и статистика, Теория вероятностей и математическая статистика, Математическая статистика, Теория вероятностей, Теория вероятностей и статистика, Вероятность и статистика, Введение в теорию вероятностей и математическую статистику, Основы теории вероятностей и математическая статистика, Введение в теорию вероятности и математическую статистику, Математика. Теория вероятностей и математическая статистика, Теория вероятностей и основы статистики, Теория вероятности и математическая статистика, Введение в теорию вероятностей, Теория вероятности и математической статистики, Основы математической статистики, Основы теории вероятности, Основы теории вероятности и математической статистики, Теория вероятности, Введение в математическую статистику, Основы теории вероятностей и математической статистики, Теория вероятностей и математическая, Математическая статистика и теория вероятности, Теория вероятностей. Математическая статистика, Теория вероятности и МС, Математика: Теория вероятности и математическая статистика
Аннотация: Учебник основан на материале годового курса лекций по теории вероятностей и математической статистике, который много лет читался студентам второго курса факультета вычислительной математики и кибернетики МГУ. Изложение учебного материала начинается со случая конечных вероятностных пространств, что дает возможность доказывать содержательные теоремы сравнительно простыми средствами. Далее излагаются общие основы теории вероятностей, рассматриваются предельные теоремы, сходимости последовательностей и рядов из случайных величин. Последние главы посвящены задачам математической статистики. Особое внимание уделяется оценкам вероятностей в виде приближенных формул или в виде неравенств. Учебник содержит много примеров, иллюстрирующих основные понятия теории вероятностей и математической статистики. Для студентов, обучающихся по специальностям «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии».
Ссылка на полный текст документа: https://urait.ru/bcode/557837
11. Книга
Любецкий Василий Александрович.
Теория множеств: абсолютно неразрешимые классические проблемы : учебник для вузов / В. А. Любецкий, В. Г. Кановей. - 2-е изд. - Москва : Юрайт, 2025. - 357 с. - (Высшее образование). - ISBN 978-5-534-10390-8 : 1759.00. - Текст : электронный // ЭБС "Юрайт".
Теория множеств: абсолютно неразрешимые классические проблемы : учебник для вузов / В. А. Любецкий, В. Г. Кановей. - 2-е изд. - Москва : Юрайт, 2025. - 357 с. - (Высшее образование). - ISBN 978-5-534-10390-8 : 1759.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=965390&idb=0
Авторы: Любецкий В. А., Кановей В. Г.
УДК: 510.22(075.8)
Ключевые слова: Математика: общие работы, Математика и статистика, Дискретная математика и математическая логика, Математическая логика, Теория множеств, Математическая логика и дискретная математика, Основы математической логики, Введение в математическую логику
Аннотация: Пособие посвящено изложению основ современной теории множеств: аксиоматики, конструктивности по Гёделю, форсинга по Коэну. На этой основе изложены главные результаты, связанные с классическими проблемами дискриптивной теории множеств. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов-математиков, аспирантов, преподавателей, научных работников.
Ссылка на полный текст документа: https://urait.ru/bcode/565224
12. Книга
Крупский Владимир Николаевич.
Теория алгоритмов. Введение в сложность вычислений : учебник для вузов / В. Н. Крупский. - 2-е изд. - Москва : Юрайт, 2025. - 91 с. - (Высшее образование). - ISBN 978-5-534-21288-4 : 419.00. - Текст : электронный // ЭБС "Юрайт".
Теория алгоритмов. Введение в сложность вычислений : учебник для вузов / В. Н. Крупский. - 2-е изд. - Москва : Юрайт, 2025. - 91 с. - (Высшее образование). - ISBN 978-5-534-21288-4 : 419.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=963430&idb=0
Авторы: Крупский В. Н.
УДК: 510.6(075.8)
Ключевые слова: Дискретная математика и математическая логика, Математика и статистика, Защита информации, Математическая логика и теория алгоритмов, Теория алгоритмов, Математическая логика, Дополнительные главы математической логики и теории алгоритмов, Разработка и анализ алгоритмов, Построение и анализ алгоритмов, Дополнительные главы теории алгоритмов, Теоретическая информатика, Информационная защита, Логика и теория алгоритмов, Анализ сложности алгоритмов, Математические основы анализа сложности алгоритмов, Теории алгоритмов и представления информации, Математическая теория алгоритмов, Основы математической логики, Теория информации, теория алгоритмов и вычислительной сложности, Алгоритмы и теория вычислений, Теория сложности алгоритмов и вычислений, Функциональная логика и теория алгоритмов, Алгоритмы и оценка сложности, Основы теории алгоритмов, Алгоритмы и сложность вычислений
Аннотация: Даны основные идеи и методы теории сложности вычислений. Представлены вычислительные возможности, схемы моделирования языков программирования машинами Тьюринга, а также сложностные классы задач. Для студентов высших учебных заведений, а также всех интересующихся теорией алгоритмов.
Ссылка на полный текст документа: https://urait.ru/bcode/563580
13. Книга
Журавлев Юрий Иванович.
Дискретный анализ. Формальные системы и алгоритмы : учебник для вузов / Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый. - 2-е изд. - Москва : Юрайт, 2025. - 311 с. - (Высшее образование). - ISBN 978-5-534-06279-3 : 1259.00. - Текст : электронный // ЭБС "Юрайт".
Дискретный анализ. Формальные системы и алгоритмы : учебник для вузов / Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый. - 2-е изд. - Москва : Юрайт, 2025. - 311 с. - (Высшее образование). - ISBN 978-5-534-06279-3 : 1259.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=962797&idb=0
Авторы: Журавлев Ю. И., Флеров Ю. А., Вялый М. Н.
УДК: 510.51(075.8)
Ключевые слова: Математический анализ, Математика и статистика, Дополнительные главы дискретной математики, математической логики, Высшая алгебра и аналитическая геометрия, Дискретные и математические модели, Дискретный анализ
Аннотация: В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
Ссылка на полный текст документа: https://urait.ru/bcode/569447
14. Книга
Программирование: математическая логика : учебное пособие для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. - 2-е изд. - Москва : Юрайт, 2024. - 675 с. - (Высшее образование). - URL: https://urait.ru/bcode/542164 (дата обращения: 15.08.2024). - ISBN 978-5-534-11009-8 : 2389.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=907590&idb=0
Авторы: Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И.
УДК: 004.43(075.8)
Ключевые слова: Программирование, Технические науки и информационные технологии, Программирование, Математическая логика и теория алгоритмов, Теория и технология программирования, Методы программирования, Математическая логика, Основы программирования, Прикладное программирование, Программирование для ЭВМ, Введение в программирование, Программирование на ЭВМ, Основы математической логики, Введение в математическую логику
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Ссылка на полный текст документа: https://urait.ru/bcode/542164
15. Книга
Судоплатов Сергей Владимирович.
Математическая логика и теория алгоритмов : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд. - Москва : Юрайт, 2024. - 207 с. - (Высшее образование). - URL: https://urait.ru/bcode/535807 (дата обращения: 15.08.2024). - ISBN 978-5-534-12274-9 : 959.00. - Текст : электронный // ЭБС "Юрайт".
Математическая логика и теория алгоритмов : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд. - Москва : Юрайт, 2024. - 207 с. - (Высшее образование). - URL: https://urait.ru/bcode/535807 (дата обращения: 15.08.2024). - ISBN 978-5-534-12274-9 : 959.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=907802&idb=0
Авторы: Судоплатов С. В., Овчинникова Е. В.
УДК: 510.6(075.8)
Ключевые слова: Математика: общие работы, Математика и статистика, Дискретная математика, Математическая логика и теория алгоритмов, Теория алгоритмов, Математическая логика, Дискретный анализ, Дополнительные главы дискретной математики, Дополнительные главы математической логики и теории алгоритмов, Математика. Дискретная математика, Метрики в дискретной математике, Введение в дискретную математику, Информатика, математическая логика и теория алгоритмов, Дополнительные главы теории алгоритмов, Теория дискретных преобразователей, Основы дискретной математики, Дополнительные разделы дискретной математики, Алгоритмы дискретной математики, Теория дискретных функций, Теоретические основы дискретных вычислений, ИКТ в решении задач дискретной математики, Приложения дискретной математики, Специальные разделы дискретной математики, Прикладные задачи дискретной техники, Методика применения математического аппарата при решении нестандартных задач, Нестандартные логики, Приложения алгебры и предикатов, Неклассические методы обработки статистических данных, Современные методы в дискретной математике, Нестандартные задачи по математике, Фундаментальные основы дискретной математики, Дискретные и непрерывные статистические распределения, Математические основы дискретной техники, Дискретные структуры, Основы математической логики, Локализация энергии в дискретных волновых системах, Дискретно-непрерывные динамические сети, Специальные главы дискретной математики, Матлогика и теория алгоритмов, Функциональная логика и теория алгоритмов, Введение в математическую логику, Дискретные модели, Алгебра, геометрия и математическая логика, зрения Современные проблемы математической логики и теории алгоритмов, Алгоритмы в дискретной математике и оценки их сложности
Аннотация: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Ссылка на полный текст документа: https://urait.ru/bcode/535807
16. Книга
Скорубский Владимир Иванович.
Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Москва : Юрайт, 2024. - 211 с. - (Высшее образование). - URL: https://urait.ru/bcode/536998 (дата обращения: 15.08.2024). - ISBN 978-5-534-01114-2 : 979.00. - Текст : электронный // ЭБС "Юрайт".
Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Москва : Юрайт, 2024. - 211 с. - (Высшее образование). - URL: https://urait.ru/bcode/536998 (дата обращения: 15.08.2024). - ISBN 978-5-534-01114-2 : 979.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=908179&idb=0
Авторы: Скорубский В. И., Поляков В. И., Зыков А. Г.
УДК: 510.6(075.8)
Ключевые слова: Логика, Общественные науки, Дискретная математика и математическая логика, Математическая логика и теория алгоритмов, Дополнительные главы дискретной математики, математической логики, Математическая логика, Теория графов и математическая логика, Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках, Логика и алгоритмы, Логика и математика для дошкольников, Формирование логико-математических представлений, Современные проблемы математической логики и теории алгоритмов, Математическая логика, теория графов и алгоритмов, Основы математической логики и теории алгоритмов, Основы логики и теории графов, Математическая логика и формальные языки, Математическая логика и теория графов, Математическая логика и теория алгоритм, Математическая логика в обучении математики, Элементы математической логики и теории алгоритмов в школьном курсе математики, Алгебра и математическая логика, Прикладная теория алгоритмов и математической логики в вычислительной технике, Математическая логика и дискретная математика, Математическая логика и теория алгоритмов Высшей математики, Прикладная математика и математическая логика, Основы математической логики и теория множеств, Основы математической логики, Основы математической логики и информатики, Элементы математической логики и теории множеств, Математическая логика и теория, Основы цифровых устройств и математическая логика, Логика высказываний и булевы алгебры, Функции алгебры логики, Теория и методика логико-математического развития детей, Специальные разделы математической логики, Математическая логика и конечные автоматы, Математическая логика и теория алгоритмов в машиностроении, Введение в математическую логику, Применение математической логики в системах управления, Логика и дискретная математика
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Ссылка на полный текст документа: https://urait.ru/bcode/536998
17. Книга
Рыбин С. В.
Математическая логика и теория алгоритмов : учебное пособие для вузов / Рыбин С. В. - Санкт-Петербург : Лань, 2024. - 276 с. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-49166-7.
Математическая логика и теория алгоритмов : учебное пособие для вузов / Рыбин С. В. - Санкт-Петербург : Лань, 2024. - 276 с. - Книга из коллекции Лань - Математика. - ISBN 978-5-507-49166-7.
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=897021&idb=0
Авторы: Рыбин С. В.
УДК: 510.6
Ключевые слова: графы, логика высказываний, булевы функции, нечеткая логика, теория алгоритмов, бинарные отношения, базисы Гребнера, теория множеств, алгоритм Евклида, арифметика многочленов
Аннотация: Материал пособия скомпонован так, чтобы, с одной стороны, дать темы для практических занятий, познакомить студентов с важными идеями на несложных примерах, дать им возможность в совершенстве освоить необходимую технику вычислений, обсуждаемые алгоритмы, а с другой — последовательно и доказательно изложить теоретический материал, который может быть осмыслен на разных уровнях формализма и не обязательно при первом прочтении книги. Учебное пособие строится на базе известных из курса средней школы математических идей. Идеи эти достаточно разноплановы, чтобы заинтересовать людей с различными интересами и разной математической подготовкой. Учебное пособие будет полезно студентам технических университетов, специализирующимся в направлении «Информатика».
Ссылка на полный текст документа: https://e.lanbook.com/book/405527
18. Книга
Прохоров Юрий Васильевич.
Лекции по теории вероятностей и математической статистике : учебник и практикум для вузов / Ю. В. Прохоров, Л. С. Пономаренко. - 3-е изд. - Москва : Юрайт, 2024. - 219 с. - (Высшее образование). - URL: https://urait.ru/bcode/535991 (дата обращения: 15.08.2024). - ISBN 978-5-534-10807-1 : 1009.00. - Текст : электронный // ЭБС "Юрайт".
Лекции по теории вероятностей и математической статистике : учебник и практикум для вузов / Ю. В. Прохоров, Л. С. Пономаренко. - 3-е изд. - Москва : Юрайт, 2024. - 219 с. - (Высшее образование). - URL: https://urait.ru/bcode/535991 (дата обращения: 15.08.2024). - ISBN 978-5-534-10807-1 : 1009.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=902220&idb=0
Авторы: Прохоров Ю. В., Пономаренко Л. С.
УДК: 519.2(075.8)
Ключевые слова: Теория вероятностей и математическая статистика, Математика и статистика, Теория вероятностей и математическая статистика, Математическая статистика, Теория вероятностей, Теория вероятностей и статистика, Вероятность и статистика, Введение в теорию вероятностей и математическую статистику, Основы теории вероятностей и математическая статистика, Введение в теорию вероятности и математическую статистику, Математика. Теория вероятностей и математическая статистика, Теория вероятностей и основы статистики, Теория вероятности и математическая статистика, Введение в теорию вероятностей, Теория вероятности и математической статистики, Основы математической статистики, Основы теории вероятности, Основы теории вероятности и математической статистики, Теория вероятности, Введение в математическую статистику, Основы теории вероятностей и математической статистики, Теория вероятностей и математическая, Математическая статистика и теория вероятности, Теория вероятностей. Математическая статистика, Теория вероятности и МС, Математика: Теория вероятности и математическая статистика
Аннотация: Учебник основан на материале годового курса лекций по теории вероятностей и математической статистике, который много лет читался студентам второго курса факультета вычислительной математики и кибернетики МГУ. Изложение учебного материала начинается со случая конечных вероятностных пространств, что дает возможность доказывать содержательные теоремы сравнительно простыми средствами. Далее излагаются общие основы теории вероятностей, рассматриваются предельные теоремы, сходимости последовательностей и рядов из случайных величин. Последние главы посвящены задачам математической статистики. Особое внимание уделяется оценкам вероятностей в виде приближенных формул или в виде неравенств. Учебник содержит много примеров, иллюстрирующих основные понятия теории вероятностей и математической статистики. Для студентов, обучающихся по специальностям «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии».
Ссылка на полный текст документа: https://urait.ru/bcode/535991
19. Книга
Любецкий Василий Александрович.
Теория множеств: абсолютно неразрешимые классические проблемы : учебное пособие для вузов / В. А. Любецкий, В. Г. Кановей. - 2-е изд. - Москва : Юрайт, 2024. - 357 с. - (Высшее образование). - URL: https://urait.ru/bcode/541430 (дата обращения: 15.08.2024). - ISBN 978-5-534-10390-8 : 1529.00. - Текст : электронный // ЭБС "Юрайт".
Теория множеств: абсолютно неразрешимые классические проблемы : учебное пособие для вузов / В. А. Любецкий, В. Г. Кановей. - 2-е изд. - Москва : Юрайт, 2024. - 357 с. - (Высшее образование). - URL: https://urait.ru/bcode/541430 (дата обращения: 15.08.2024). - ISBN 978-5-534-10390-8 : 1529.00. - Текст : электронный // ЭБС "Юрайт".
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=905370&idb=0
Авторы: Любецкий В. А., Кановей В. Г.
УДК: 510.22(075.8)
Ключевые слова: Математика: общие работы, Математика и статистика, Дискретная математика и математическая логика, Математическая логика, Теория множеств, Математическая логика и дискретная математика, Основы математической логики, Введение в математическую логику
Аннотация: Пособие посвящено изложению основ современной теории множеств: аксиоматики, конструктивности по Гёделю, форсинга по Коэну. На этой основе изложены главные результаты, связанные с классическими проблемами дискриптивной теории множеств. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов-математиков, аспирантов, преподавателей, научных работников.
Ссылка на полный текст документа: https://urait.ru/bcode/541430
20. Книга
Лысенков А. И.
Логистические системы. Анализ и синтез структурно-функционального облика : учебное пособие для вузов / Лысенков А. И. - 2-е изд., стер. - Санкт-Петербург : Лань, 2024. - 220 с. - Книга из коллекции Лань - Инженерно-технические науки. - ISBN 978-5-507-47477-6.
Логистические системы. Анализ и синтез структурно-функционального облика : учебное пособие для вузов / Лысенков А. И. - 2-е изд., стер. - Санкт-Петербург : Лань, 2024. - 220 с. - Книга из коллекции Лань - Инженерно-технические науки. - ISBN 978-5-507-47477-6.
Постоянная ссылка на документ: https://e-lib.unn.ru/MegaPro/UserEntry?Action=FindDocs&ids=887911&idb=0
Авторы: Лысенков А. И.
УДК: 164
Ключевые слова: логистика, логистические системы, управление потоками, теория логистики, запасы, системы обеспечения, транспортно-складской центр, логистический центр, транспортная логистика, производственная логистика, подсистема управления, управленческие решения, моделирование логистических процессов, случайные величины, анализ, качество логистических систем
Аннотация: Книга посвящена проблемам анализа и синтеза структурно-функционального облика логистических систем. Рассматриваются методы формализованного описания элементов и подсистем, их структурных взаимосвязей, разработка оптимальных способов управления потоками в логистических системах, вопросы оценки их качества. Предназначена для научных и инженерно-технических работников, занимающихся разработкой структурно-функционального облика сложных организационных систем, и для студентов соответствующих вузов.
Ссылка на полный текст документа: https://e.lanbook.com/book/379985