April 11th, 2017

с митинга

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

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



)(
с митинга

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