deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Categories:

термы, кванторы, формулы, синтаксис, семантика

кратко и доступно
---
Захаров. Основы математической логики и логического программирования.
http://mk.cs.msu.ru/images/f/f4/LectLog2.pdf

Лекция 2.
Классическая логика предикатов первого порядка
Синтаксис. Термы и формулы.
Семантика. Интерпретация.
Выполнимость формул.
Свободные и связанные переменные
Область действия квантора

Семантика — это свод правил, наделяющих значением
(смыслом) синтаксические конструкции языка.
В языке логики предикатов значением термов являются
функции, а значением формул — отношения (предикаты).
Значения термов и формул определяются на основе
алгебраических систем .
Алгебраические системы, используемые в таком качестве,
называются интерпретациями .
---
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 3 comments