В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения.Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория, и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности.Для бакалавров широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).
V uchebnike predlagaetsya shirokiy obzor metodov postanovki i resheniya zadach v razlichnykh prilozheniyakh, ispolzuyushchikh klassicheskuyu logiku predikatov pervogo poryadka. Zadachi vypolnyayutsya kak dokazatelstvo teorem po shagam, chto pozvolyaet sformulirovat intuitivnoe predstavlenie i dokazat sushchestvovanie resheniya.Ispolzovanie yazyka logiki pozvolyaet ponyat soderzhanie trebuemykh protsedur i pereyti k algoritmizatsii. SHiroko traktuetsya interpretatsiya logiki v razlichnykh oblastyakh. Predlagaemye uprazhneniya i primery illyustrirovany dokazatelstvami, po vozmozhnosti verbalnymi, chto pozvolyaet priobresti opyt v rabote s raznymi zadachami i napravleniyami. Polezno znakomstvo s drugimi interpretatsiyami, slozhivshimisya istoricheski v ramkakh klassicheskoy logiki. Ne vsegda eto strogaya teoriya, i chashche trebuetsya opredelenie svoystv novykh oblastey i poisk podkhodyashchikh metodov raboty s dannymi (faktami). Material budet polezen dlya obucheniya bakalavriata, imeyushchego bazovye znaniya v diskretnoy matematike, algoritmizatsii i programmirovanii dlya ponimaniya neobkhodimosti ispolzovaniya logiki v lyubogo roda deyatelnosti.Dlya bakalavrov shirokogo kruga inzhenernykh spetsialnostey (proektirovanie vychislitelnykh sistem, programmirovanie i dr.) i gumanitarnykh napravleniy, gde predpolagaetsya sozdanie i ispolzovanie ekspertnykh sistem (ekonomika, meditsina, menedzhment i dr).
The textbook offers a review of the methods of formulation and solution of problems in various applications that use classical predicate logic of first order. Tasks like theorem proving steps, allowing you to formulate the intuitive idea and to prove the existence of solutions. Using the language of logic allows you to understand the content of the required procedures and go to the algorithms. Broadly interpreted, the interpretation of logic in various fields. Given in the text book exercises and examples illustrated with evidence, if possible verbally, allowing you to gain experience in working with different tasks and directions. In the Annex to the textbook is a personal review of the famous mathematicians who contributed to the formation of logic as a mathematical science.
