Математическая логика учебник и практикум В. И. Скорубский, В. И. Поляков, А. Г. Зыков.
Material type: TextLanguage: Russian Series: Высшее образованиеPublication details: Москва Юрайт 2023Description: 211 сISBN: 978-5-534-01114-2Subject(s): Логика | Общественные науки | Дискретная математика и математическая логика | Математическая логика и теория алгоритмов | Дополнительные главы дискретной математики, математической логики | Математическая логика | Теория графов и математическая логика | дискретная математика, математическая логика и их приложения в информатике и компьютерных науках | Логика и алгоритмы | Логика и математика для дошкольников | Формирование логико-математических представлений | Современные проблемы математической логики и теории алгоритмов | Математическая логика, теория графов и алгоритмов | Основы математической логики и теории алгоритмов | Основы логики и теории графов | Математическая логика и формальные языки | Математическая логика и теория графов | Математическая логика и теория алгоритм | Математическая логика в обучении математики | Элементы математической логики и теории алгоритмов в школьном курсе математики | Алгебра и математическая логика | Прикладная теория алгоритмов и математической логики в вычислительной технике | Математическая логика и дискретная математика | Математическая логика и теория алгоритмов Высшей математики | Прикладная математика и математическая логика | Основы математической логики и теория множеств | Основы математической логики | Основы математической логики и информатики | Элементы математической логики и теории множеств | Математическая логика и теория | Основы цифровых устройств и математическая логика | Логика высказываний и булевы алгебры | Функции алгебры логики | Теория и методика логико-математического развития детей | Специальные разделы математической логики | Математическая логика и конечные автоматы | Математическая логика и теория алгоритмов в машиностроении | Введение в математическую логику | Применение математической логики в системах управления | Логика и дискретная математикаOther classification: 22.12я73 Online resources: Click here to access online | Click here to access online Summary: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.URL: https://urait.ru/bcode/511996 (дата обращения: 31.01.2024).
В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей
There are no comments on this title.