В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория, и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и...
V uchebnike predlagaetsja shirokij obzor metodov postanovki i reshenija zadach v razlichnykh prilozhenijakh, ispolzujuschikh klassicheskuju logiku predikatov pervogo porjadka. Zadachi vypolnjajutsja kak dokazatelstvo teorem po shagam, chto pozvoljaet sformulirovat intuitivnoe predstavlenie i dokazat suschestvovanie reshenija. Ispolzovanie jazyka logiki pozvoljaet ponjat soderzhanie trebuemykh protsedur i perejti k algoritmizatsii. Shiroko traktuetsja interpretatsija logiki v razlichnykh oblastjakh. Predlagaemye uprazhnenija i primery illjustrirovany dokazatelstvami, po vozmozhnosti verbalnymi, chto pozvoljaet priobresti opyt v rabote s raznymi zadachami i napravlenijami. Polezno znakomstvo s drugimi interpretatsijami, slozhivshimisja istoricheski v ramkakh klassicheskoj logiki. Ne vsegda eto strogaja teorija, i chasche trebuetsja opredelenie svojstv novykh oblastej i poisk podkhodjaschikh metodov raboty s dannymi (faktami). Material budet polezen dlja obuchenija bakalavriata, imejuschego bazovye znanija v diskretnoj matematike, algoritmizatsii i...
