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

Category:

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

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



)(
1
Математика наука будущего