Read only on Litres

The book cannot be downloaded as a file, but can be read in our app or online on the website.

Основной контент книги Математическая логика. Учебник и практикум для СПО
Text PDF

Volume 212 pages

2019 year

0+

Математическая логика. Учебник и практикум для СПО

Read only on Litres

The book cannot be downloaded as a file, but can be read in our app or online on the website.

$13.03

About the book

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

Log in, to rate the book and leave a review
Book Анатолия Геннадьевича Зыкова, Владимира Ивановича Полякова et al. «Математическая логика. Учебник и практикум для СПО» — read online on the website. Leave comments and reviews, vote for your favorites.
Age restriction:
0+
Release date on Litres:
02 June 2019
Writing date:
2019
Volume:
212 p.
ISBN:
9785534116311
Total size:
6.4 МБ
Total number of pages:
212
Copyright holder:
ЮРАЙТ
Audio
Средний рейтинг 4,1 на основе 1065 оценок
Audio
Средний рейтинг 4,7 на основе 339 оценок
Draft, audio format available
Средний рейтинг 4,8 на основе 303 оценок
Audio
Средний рейтинг 4,1 на основе 63 оценок
Audio
Средний рейтинг 4,8 на основе 5281 оценок
Audio
Средний рейтинг 4,6 на основе 1097 оценок
Text, audio format available
Средний рейтинг 4,2 на основе 123 оценок
Text, audio format available
Средний рейтинг 4,7 на основе 1891 оценок
Audio
Средний рейтинг 4,4 на основе 143 оценок
Text, audio format available
Средний рейтинг 4,9 на основе 245 оценок