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