Константин Крылов (krylov) wrote,
Константин Крылов
krylov

This journal has been placed in memorial status. New entries cannot be posted to it.

Пятница, повторение вторника

Продолжаем разбираться с логикой предикатов и записью высказываний на её языке. Переменные связанные и свободные. Первопорядковая логика и логики более высоких порядков. Предметные функции и их использование.

В общем, завершаем тему языка логики предикатов.



)(
Subscribe

  • Post a new comment

    Error

    Comments allowed for friends only

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    Help
  • 0 comments