Skip to content
QR code of document
510.6(075.8)
Скорубский, Владимир Иванович.
Математическая логика [Электронный ресурс] : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 211 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей
. - ISBN 978-5-534-01114-2
URL: https://urait.ru/bcode/536998 (дата обращения: 12.03.2024).
| УДК | 510.6(075.8) |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Дискретная математика и математическая логика -- Математическая логика и теория алгоритмов -- Дополнительные главы дискретной математики, математической логики -- Математическая логика -- Теория графов и математическая логика -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Логика и алгоритмы -- Логика и математика для дошкольников -- Формирование логико-математических представлений -- Современные проблемы математической логики и теории алгоритмов -- Математическая логика, теория графов и алгоритмов -- Основы математической логики и теории алгоритмов -- Основы логики и теории графов -- Математическая логика и формальные языки -- Математическая логика и теория графов -- Математическая логика и теория алгоритм -- Математическая логика в обучении математики -- Элементы математической логики и теории алгоритмов в школьном курсе математики -- Алгебра и математическая логика -- Прикладная теория алгоритмов и математической логики в вычислительной технике -- Математическая логика и дискретная математика -- Математическая логика и теория алгоритмов Высшей математики -- Прикладная математика и математическая логика -- Основы математической логики и теория множеств -- Основы математической логики -- Основы математической логики и информатики -- Элементы математической логики и теории множеств -- Математическая логика и теория -- Основы цифровых устройств и математическая логика -- Логика высказываний и булевы алгебры -- Функции алгебры логики -- Теория и методика логико-математического развития детей -- Специальные разделы математической логики -- Математическая логика и конечные автоматы -- Математическая логика и теория алгоритмов в машиностроении -- Введение в математическую логику -- Применение математической логики в системах управления -- Логика и дискретная математика
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Доп.точки доступа:
Поляков, Владимир Иванович
Зыков, Анатолий Геннадьевич
Similar publications by classification