Skip to content 
el cat en
База данных: ELS Urait
Page 1, Results: 10
Отмеченные записи: 0
1.
Подробнее
Крупский, Владимир Николаевич.
Теория алгоритмов. Введение в сложность вычислений [Электронный ресурс] : учебное пособие для вузов / В. Н. Крупский. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 117 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-04817-9
URL: https://urait.ru/bcode/539671 (дата обращения: 12.03.2024).
ББК 22.12я73
Кл.слова (ненормированные):
Информатика -- Технические науки и информационные технологии -- Защита информации -- Математическая логика и теория алгоритмов -- Теория алгоритмов -- Математическая логика -- Теоретические основы информатики -- Разработка и анализ алгоритмов -- Построение и анализ алгоритмов -- Теоретическая информатика -- Информационная защита -- Логика и теория алгоритмов -- Основы защиты информации -- Основы математической логики -- Теория информации, теория алгоритмов и вычислительной сложности -- Анализ и разработка алгоритмов -- Введение в математическую логику
Аннотация: В настоящем учебном пособии даны основные идеи и методы теории сложности вычислений. В нем представлены вычислительные возможности, схемы моделирования языков программирования машинами Тьюринга, а также сложностные классы задач.
Крупский, Владимир Николаевич.
Теория алгоритмов. Введение в сложность вычислений [Электронный ресурс] : учебное пособие для вузов / В. Н. Крупский. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 117 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-04817-9
URL: https://urait.ru/bcode/539671 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Информатика -- Технические науки и информационные технологии -- Защита информации -- Математическая логика и теория алгоритмов -- Теория алгоритмов -- Математическая логика -- Теоретические основы информатики -- Разработка и анализ алгоритмов -- Построение и анализ алгоритмов -- Теоретическая информатика -- Информационная защита -- Логика и теория алгоритмов -- Основы защиты информации -- Основы математической логики -- Теория информации, теория алгоритмов и вычислительной сложности -- Анализ и разработка алгоритмов -- Введение в математическую логику
Аннотация: В настоящем учебном пособии даны основные идеи и методы теории сложности вычислений. В нем представлены вычислительные возможности, схемы моделирования языков программирования машинами Тьюринга, а также сложностные классы задач.
2.
Подробнее
Любецкий, Василий Александрович.
Теория множеств: абсолютно неразрешимые классические проблемы [Электронный ресурс] : учебное пособие для вузов / В. А. Любецкий, В. Г. Кановей. - 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).
| УДК |
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Дискретная математика и математическая логика -- Математическая логика -- Теория множеств -- Математическая логика и дискретная математика -- Основы математической логики -- Введение в математическую логику
Аннотация: Пособие посвящено изложению основ современной теории множеств: аксиоматики, конструктивности по Гёделю, форсинга по Коэну. На этой основе изложены главные результаты, связанные с классическими проблемами дискриптивной теории множеств. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов-математиков, аспирантов, преподавателей, научных работников.
Доп.точки доступа:
Кановей, Владимир Григорьевич
3.
Подробнее
Вечтомов, Евгений Михайлович.
Математика: логика, теория множеств и комбинаторика [Электронный ресурс] : учебное пособие для спо / Е. М. Вечтомов, Д. В. Широков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 233 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-15824-3
URL: https://urait.ru/bcode/540459 (дата обращения: 12.03.2024).
ББК 22.1я723
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Математика -- Математика (элементы высшей математики, теория вероятностей, математическая статистика) -- Математическая логика -- Элементы математической логики -- Введение в математику -- Корректирующий курс по математике -- Основы математики -- Основы математической логики -- Введение в математическую логику -- Математика (базовая) -- Математические методы решения прикладных профессиональных задач -- Математические методы решения задач в профессиональной деятельности
Аннотация: В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвящено азбуке современной математики: началам логики, теории множеств и комбинаторики. Помимо теоретической части издание содержит Практикум, в котором предложено большое количество разнообразных заданий, рассчитанных как на аудиторную, так и на самостоятельную работу студентов. Пособие написано доступным языком, текст снабжен примерами для лучшего восприятия материала.
Доп.точки доступа:
Широков, Дмитрий Владимирович
Вечтомов, Евгений Михайлович.
Математика: логика, теория множеств и комбинаторика [Электронный ресурс] : учебное пособие для спо / Е. М. Вечтомов, Д. В. Широков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 233 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-15824-3
URL: https://urait.ru/bcode/540459 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Математика -- Математика (элементы высшей математики, теория вероятностей, математическая статистика) -- Математическая логика -- Элементы математической логики -- Введение в математику -- Корректирующий курс по математике -- Основы математики -- Основы математической логики -- Введение в математическую логику -- Математика (базовая) -- Математические методы решения прикладных профессиональных задач -- Математические методы решения задач в профессиональной деятельности
Аннотация: В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвящено азбуке современной математики: началам логики, теории множеств и комбинаторики. Помимо теоретической части издание содержит Практикум, в котором предложено большое количество разнообразных заданий, рассчитанных как на аудиторную, так и на самостоятельную работу студентов. Пособие написано доступным языком, текст снабжен примерами для лучшего восприятия материала.
Доп.точки доступа:
Широков, Дмитрий Владимирович
4.
Подробнее
Вечтомов, Евгений Михайлович.
Математика: логика, множества, комбинаторика [Электронный ресурс] : учебное пособие для вузов / Е. М. Вечтомов, Д. В. Широков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 233 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-15802-1
URL: https://urait.ru/bcode/539901 (дата обращения: 12.03.2024).
ББК 22.1я73
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Математика -- Комбинаторные алгоритмы -- Математика (элементы высшей математики, теория вероятностей, математическая статистика) -- Математическая логика -- Комбинаторика -- Логико-комбинаторные методы анализа социологических данных -- Построение и анализ комбинаторных алгоритмов -- Логические основы организации текста -- Введение в математику -- Комбинаторная оптимизация -- Теория множеств -- Линейная алгебра и комбинаторика -- Обучение младших школьников решению комбинаторных задач -- Основы комбинаторной оптимизации -- Аналитические методы в комбинаторике -- Алгебраическая теория разбиений -- Архитектоника и комбинаторика промышленных форм -- Корректирующий курс по математике -- Теория логического вывода -- Логические системы -- Комбинаторика в средней школе -- Основы теории множественного доступа -- Теория множеств в задачах управления -- Архитектурная комбинаторика -- Комбинаторные методы и алгоритмы -- Элементы комбинаторики в школьном курсе математики -- Основы математики -- Компьютерные технологии подсчета запасов -- Системы множественного доступа -- Основы математической логики -- Теория множеств и теория графов -- Элементы комбинаторного анализа -- Комбинаторные алгоритмы оптимизации -- Методы решения современных задач экстремальной комбинаторики -- Методы экстремальной комбинаторики -- Экстремальная комбинаторика -- Основы комбинаторики -- Методы комбинаторных вычислений -- Моделирование логических устройств -- Сложность комбинаторных задач и алгоритмов их решения -- Современные проблемы логики -- Введение в математическую логику -- Алгебра, геометрия и математическая логика -- Математика (базовая)
Аннотация: В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвящено азбуке современной математики: началам логики, теории множеств и комбинаторики. Помимо теоретической части издание содержит Практикум, в котором предложено большое количество разнообразных заданий, рассчитанных как на аудиторную, так и на самостоятельную работу студентов. Пособие написано доступным языком, текст снабжен примерами для лучшего восприятия материала.
Доп.точки доступа:
Широков, Дмитрий Владимирович
Вечтомов, Евгений Михайлович.
Математика: логика, множества, комбинаторика [Электронный ресурс] : учебное пособие для вузов / Е. М. Вечтомов, Д. В. Широков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 233 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-15802-1
URL: https://urait.ru/bcode/539901 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Математика -- Комбинаторные алгоритмы -- Математика (элементы высшей математики, теория вероятностей, математическая статистика) -- Математическая логика -- Комбинаторика -- Логико-комбинаторные методы анализа социологических данных -- Построение и анализ комбинаторных алгоритмов -- Логические основы организации текста -- Введение в математику -- Комбинаторная оптимизация -- Теория множеств -- Линейная алгебра и комбинаторика -- Обучение младших школьников решению комбинаторных задач -- Основы комбинаторной оптимизации -- Аналитические методы в комбинаторике -- Алгебраическая теория разбиений -- Архитектоника и комбинаторика промышленных форм -- Корректирующий курс по математике -- Теория логического вывода -- Логические системы -- Комбинаторика в средней школе -- Основы теории множественного доступа -- Теория множеств в задачах управления -- Архитектурная комбинаторика -- Комбинаторные методы и алгоритмы -- Элементы комбинаторики в школьном курсе математики -- Основы математики -- Компьютерные технологии подсчета запасов -- Системы множественного доступа -- Основы математической логики -- Теория множеств и теория графов -- Элементы комбинаторного анализа -- Комбинаторные алгоритмы оптимизации -- Методы решения современных задач экстремальной комбинаторики -- Методы экстремальной комбинаторики -- Экстремальная комбинаторика -- Основы комбинаторики -- Методы комбинаторных вычислений -- Моделирование логических устройств -- Сложность комбинаторных задач и алгоритмов их решения -- Современные проблемы логики -- Введение в математическую логику -- Алгебра, геометрия и математическая логика -- Математика (базовая)
Аннотация: В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвящено азбуке современной математики: началам логики, теории множеств и комбинаторики. Помимо теоретической части издание содержит Практикум, в котором предложено большое количество разнообразных заданий, рассчитанных как на аудиторную, так и на самостоятельную работу студентов. Пособие написано доступным языком, текст снабжен примерами для лучшего восприятия материала.
Доп.точки доступа:
Широков, Дмитрий Владимирович
5.
Подробнее
Швецкий, Михаил Владимирович.
Программирование: математическая логика [Электронный ресурс] : учебное пособие для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 675 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-11009-8
URL: https://urait.ru/bcode/542164 (дата обращения: 12.03.2024).
ББК 22.12я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Математическая логика и теория алгоритмов -- Теория и технология программирования -- Методы программирования -- Математическая логика -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Введение в программирование -- Программирование на ЭВМ -- Основы математической логики -- Введение в математическую логику
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Доп.точки доступа:
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина
Швецкий, Михаил Владимирович.
Программирование: математическая логика [Электронный ресурс] : учебное пособие для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 675 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-11009-8
URL: https://urait.ru/bcode/542164 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Математическая логика и теория алгоритмов -- Теория и технология программирования -- Методы программирования -- Математическая логика -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Введение в программирование -- Программирование на ЭВМ -- Основы математической логики -- Введение в математическую логику
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Доп.точки доступа:
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина
6.
Подробнее
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 207 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-12274-9
URL: https://urait.ru/bcode/535807 (дата обращения: 12.03.2024).
ББК 22.12я73
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Дискретная математика -- Математическая логика и теория алгоритмов -- Теория алгоритмов -- Математическая логика -- Дискретный анализ -- Дополнительные главы дискретной математики -- Дополнительные главы математической логики и теории алгоритмов -- Математика. Дискретная математика -- Метрики в дискретной математике -- Введение в дискретную математику -- Информатика, математическая логика и теория алгоритмов -- Дополнительные главы теории алгоритмов -- Теория дискретных преобразователей -- Основы дискретной математики -- Дополнительные разделы дискретной математики -- Алгоритмы дискретной математики -- Теория дискретных функций -- Теоретические основы дискретных вычислений -- ИКТ в решении задач дискретной математики -- Приложения дискретной математики -- Специальные разделы дискретной математики -- Прикладные задачи дискретной техники -- Методика применения математического аппарата при решении нестандартных задач -- Нестандартные логики -- Приложения алгебры и предикатов -- Неклассические методы обработки статистических данных -- Современные методы в дискретной математике -- Нестандартные задачи по математике -- Фундаментальные основы дискретной математики -- Дискретные и непрерывные статистические распределения -- Математические основы дискретной техники -- Дискретные структуры -- Основы математической логики -- Локализация энергии в дискретных волновых системах -- Дискретно-непрерывные динамические сети -- Специальные главы дискретной математики -- Матлогика и теория алгоритмов -- Функциональная логика и теория алгоритмов -- Введение в математическую логику -- Дискретные модели -- Алгебра, геометрия и математическая логика -- зрения Современные проблемы математической логики и теории алгоритмов -- Алгоритмы в дискретной математике и оценки их сложности
Аннотация: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Доп.точки доступа:
Овчинникова, Елена Викторовна
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 207 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-12274-9
URL: https://urait.ru/bcode/535807 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Дискретная математика -- Математическая логика и теория алгоритмов -- Теория алгоритмов -- Математическая логика -- Дискретный анализ -- Дополнительные главы дискретной математики -- Дополнительные главы математической логики и теории алгоритмов -- Математика. Дискретная математика -- Метрики в дискретной математике -- Введение в дискретную математику -- Информатика, математическая логика и теория алгоритмов -- Дополнительные главы теории алгоритмов -- Теория дискретных преобразователей -- Основы дискретной математики -- Дополнительные разделы дискретной математики -- Алгоритмы дискретной математики -- Теория дискретных функций -- Теоретические основы дискретных вычислений -- ИКТ в решении задач дискретной математики -- Приложения дискретной математики -- Специальные разделы дискретной математики -- Прикладные задачи дискретной техники -- Методика применения математического аппарата при решении нестандартных задач -- Нестандартные логики -- Приложения алгебры и предикатов -- Неклассические методы обработки статистических данных -- Современные методы в дискретной математике -- Нестандартные задачи по математике -- Фундаментальные основы дискретной математики -- Дискретные и непрерывные статистические распределения -- Математические основы дискретной техники -- Дискретные структуры -- Основы математической логики -- Локализация энергии в дискретных волновых системах -- Дискретно-непрерывные динамические сети -- Специальные главы дискретной математики -- Матлогика и теория алгоритмов -- Функциональная логика и теория алгоритмов -- Введение в математическую логику -- Дискретные модели -- Алгебра, геометрия и математическая логика -- зрения Современные проблемы математической логики и теории алгоритмов -- Алгоритмы в дискретной математике и оценки их сложности
Аннотация: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Доп.точки доступа:
Овчинникова, Елена Викторовна
7.
Подробнее
Васюков, Владимир Леонидович.
Формальная феноменология [Электронный ресурс] : учебное пособие для вузов / В. Л. Васюков. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 210 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-11497-3
URL: https://urait.ru/bcode/540036 (дата обращения: 12.03.2024).
ББК 87.4я73
Кл.слова (ненормированные):
Философия. Науковедение -- Общественные науки -- Математическая логика -- Введение в феноменологию -- Основы феноменологии -- Феноменология -- Основы математической логики -- Введение в математическую логику
Аннотация: В данном учебном пособии рассматривается построение феноменологически ориентированных исчислений, которые позволяют интерпретировать рациональные моменты философских учений, разработанных такими мыслителями, как Э. Гуссерль, А. Мейнонг, К. Твардовский, Р. Ингарден, Ж.-П. Сартр. В книге построен новый класс логистических систем, для семантики которых характерны предметные области с интенциональными объектами. Он образует новое направление исследований современной неклассической логики — формальная феноменология.
Васюков, Владимир Леонидович.
Формальная феноменология [Электронный ресурс] : учебное пособие для вузов / В. Л. Васюков. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 210 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-11497-3
URL: https://urait.ru/bcode/540036 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Философия. Науковедение -- Общественные науки -- Математическая логика -- Введение в феноменологию -- Основы феноменологии -- Феноменология -- Основы математической логики -- Введение в математическую логику
Аннотация: В данном учебном пособии рассматривается построение феноменологически ориентированных исчислений, которые позволяют интерпретировать рациональные моменты философских учений, разработанных такими мыслителями, как Э. Гуссерль, А. Мейнонг, К. Твардовский, Р. Ингарден, Ж.-П. Сартр. В книге построен новый класс логистических систем, для семантики которых характерны предметные области с интенциональными объектами. Он образует новое направление исследований современной неклассической логики — формальная феноменология.
8.
Подробнее
Скорубский, Владимир Иванович.
Математическая логика [Электронный ресурс] : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Электрон. дан.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).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Дискретная математика и математическая логика -- Математическая логика и теория алгоритмов -- Дополнительные главы дискретной математики, математической логики -- Математическая логика -- Теория графов и математическая логика -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Логика и алгоритмы -- Логика и математика для дошкольников -- Формирование логико-математических представлений -- Современные проблемы математической логики и теории алгоритмов -- Математическая логика, теория графов и алгоритмов -- Основы математической логики и теории алгоритмов -- Основы логики и теории графов -- Математическая логика и формальные языки -- Математическая логика и теория графов -- Математическая логика и теория алгоритм -- Математическая логика в обучении математики -- Элементы математической логики и теории алгоритмов в школьном курсе математики -- Алгебра и математическая логика -- Прикладная теория алгоритмов и математической логики в вычислительной технике -- Математическая логика и дискретная математика -- Математическая логика и теория алгоритмов Высшей математики -- Прикладная математика и математическая логика -- Основы математической логики и теория множеств -- Основы математической логики -- Основы математической логики и информатики -- Элементы математической логики и теории множеств -- Математическая логика и теория -- Основы цифровых устройств и математическая логика -- Логика высказываний и булевы алгебры -- Функции алгебры логики -- Теория и методика логико-математического развития детей -- Специальные разделы математической логики -- Математическая логика и конечные автоматы -- Математическая логика и теория алгоритмов в машиностроении -- Введение в математическую логику -- Применение математической логики в системах управления -- Логика и дискретная математика
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Доп.точки доступа:
Поляков, Владимир Иванович
Зыков, Анатолий Геннадьевич
9.
Подробнее
Васюков, Владимир Леонидович.
Категорная логика [Электронный ресурс] : учебное пособие для вузов / В. Л. Васюков. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 178 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-09585-2
URL: https://urait.ru/bcode/540037 (дата обращения: 12.03.2024).
ББК 87.4я73
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Математическая логика -- Основы логики -- Категорный -- Основы математической логики -- Введение в математическую логику
Аннотация: В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
Васюков, Владимир Леонидович.
Категорная логика [Электронный ресурс] : учебное пособие для вузов / В. Л. Васюков. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 178 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-09585-2
URL: https://urait.ru/bcode/540037 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Математическая логика -- Основы логики -- Категорный -- Основы математической логики -- Введение в математическую логику
Аннотация: В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
10.
Подробнее
Судоплатов, Сергей Владимирович.
Математика: математическая логика и теория алгоритмов [Электронный ресурс] : учебник и практикум для спо / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 255 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-10930-6
URL: https://urait.ru/bcode/542451 (дата обращения: 12.03.2024).
ББК 22.12я723
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Теория алгоритмов -- Математическая логика -- Дискретная математика с элементами математической логики -- Основы математической логики -- Введение в математическую логику
Аннотация: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Доп.точки доступа:
Овчинникова, Елена Викторовна
Судоплатов, Сергей Владимирович.
Математика: математическая логика и теория алгоритмов [Электронный ресурс] : учебник и практикум для спо / С. В. Судоплатов, Е. В. Овчинникова. - 5-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 255 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-10930-6
URL: https://urait.ru/bcode/542451 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Теория алгоритмов -- Математическая логика -- Дискретная математика с элементами математической логики -- Основы математической логики -- Введение в математическую логику
Аннотация: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Доп.точки доступа:
Овчинникова, Елена Викторовна
Page 1, Results: 10