| Card | Table | RUSMARC | |
|
|
Скорубский, Владимир Иванович. Математическая логика: учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Электрон. дан. — Москва: Юрайт, 2022. — 211 с. — (Высшее образование). — URL: https://urait.ru/bcode/490017 (дата обращения: 21.09.2022). — Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. — <URL:https://urait.ru/bcode/490017>.Record create date: 9/19/2016 Subject: Логика; Гуманитарные и общественные науки.; Дискретная математика и математическая логика; Математическая логика и теория алгоритмов; Математическая логика; Теория графов и математическая логика; дискретная математика, математическая логика и их приложения в информатике и компьютерных науках; Математическая логика и теория графов; Математическая логика и дискретная математика; Основы математической логики UDC: 510.6(075.8) LBC: 22.12я73 Collections: Электронные книги издательства Юрайт Allowed Actions: View |
Annotation
В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Usage statistics
|
|
Access count: 8
Last 30 days: 1 Detailed usage statistics |