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

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

Category:

Вторник, новая лекция

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



)(
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 

  • 1 comment