Математическая логика
-
Скопировать в буфер библиографическое описание
Скорубский, В. И. Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2020. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/451099 (дата обращения: 22.11.2024).
- Добавить в избранное
Учебник и практикум для вузов
2020
Страниц
211
Обложка
Твердая
Гриф
Гриф УМО ВО
ISBN
978-5-534-01114-2
Библиографическое описание
Скорубский, В. И. Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2020. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/451099 (дата обращения: 22.11.2024).
Серия
Тематика/подтематика
Дисциплины
Дискретная математика и математическая логика ,
Математическая логика и теория алгоритмов ,
Дополнительные главы дискретной математики, математической логики ,
Математическая логика ,
Теория графов и математическая логика ,
Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках ,
Логика и алгоритмы ,
Логика и математика для дошкольников ,
Формирование логико-математических представлений ,
Современные проблемы математической логики и теории алгоритмов ,
Математическая логика, теория графов и алгоритмов ,
Основы математической логики и теории алгоритмов ,
Основы логики и теории графов ,
Математическая логика и формальные языки ,
Математическая логика и теория графов ,
Математическая логика и теория алгоритм ,
Математическая логика в обучении математики ,
Элементы математической логики и теории алгоритмов в школьном курсе математики ,
Алгебра и математическая логика ,
Прикладная теория алгоритмов и математической логики в вычислительной технике ,
Математическая логика и дискретная математика ,
Математическая логика и теория алгоритмов Высшей математики ,
Прикладная математика и математическая логика ,
Основы математической логики и теория множеств ,
Основы математической логики ,
Основы математической логики и информатики ,
Элементы математической логики и теории множеств ,
Математическая логика и теория ,
Основы цифровых устройств и математическая логика ,
Логика высказываний и булевы алгебры ,
Функции алгебры логики ,
Теория и методика логико-математического развития детей ,
Специальные разделы математической логики ,
Математическая логика и конечные автоматы ,
Математическая логика и теория алгоритмов в машиностроении ,
Введение в математическую логику ,
Применение математической логики в системах управления ,
Логика и дискретная математика
В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы