Utmn
Electronic Library

     

Details

Скорубский, Владимир Иванович. Математическая логика: учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Электрон. дан. — Москва: Юрайт, 2023. — 211 с. — (Высшее образование). — URL: https://urait.ru/bcode/511996 (дата обращения: 12.01.2023). — Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. — <URL:https://urait.ru/bcode/511996>.

Record create date: 9/19/2016

Subject: Логика; Гуманитарные и общественные науки.; Дискретная математика и математическая логика; Математическая логика и теория алгоритмов; Дополнительные главы дискретной математики, математической логики; Математическая логика; Теория графов и математическая логика; дискретная математика, математическая логика и их приложения в информатике и компьютерных науках; Логика и алгоритмы; Логика и математика для дошкольников; Формирование логико-математических представлений; Современные проблемы математической логики и теории алгоритмов; Математическая логика, теория графов и алгоритмов; Основы математической логики и теории алгоритмов; Основы логики и теории графов; Математическая логика и формальные языки; Математическая логика и теория графов; Математическая логика и теория алгоритм; Математическая логика в обучении математики; Элементы математической логики и теории алгоритмов в школьном курсе математики; Алгебра и математическая логика; Прикладная теория алгоритмов и математической логики в вычислительной технике; Математическая логика и дискретная математика; Математическая логика и теория алгоритмов Высшей математики; Прикладная математика и математическая логика; Основы математической логики и теория множеств; Основы математической логики; Основы математической логики и информатики; Элементы математической логики и теории множеств; Математическая логика и теория; Основы цифровых устройств и математическая логика; Логика высказываний и булевы алгебры; Функции алгебры логики; Теория и методика логико-математического развития детей; Специальные разделы математической логики; Математическая логика и конечные автоматы; Математическая логика и теория алгоритмов в машиностроении; Введение в математическую логику; Применение математической логики в системах управления; Логика и дискретная математика

UDC: 510.6(075.8)

LBC: 22.12я73

Collections: Электронные книги издательства Юрайт

Allowed Actions: View

Annotation

В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.

Usage statistics

stat Access count: 3
Last 30 days: 0
Detailed usage statistics