[userpic]

Re: Интерфейс КИЛС поддержания логики счисления предик 

bavi в посте Metapractice (оригинал в ЖЖ)

в дополнение к ФОРМАЛЬНОЙ И ИНДЕКСНОЙ кэрролловским записям я ищу третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС).
Чем отличается этот третий тип от первых двух?
Как это перевернуть знак Y' во внешней экспрессии?

1 комментарий