AG
сама по себе да, но в применении к чему нибудь уже повеселее
Size: a a a
2020 October 23
DF
Круто, спасибо большое
AG
я подхожу к логике со стороны так называемой "теории B", она же programming language research
Dollar Føølish
А где можно так же научиться по этому конкретному вопросу?
курс "software foundations" от пирса пройдите и будет вам
AG
системы типов, верификация, компиляция и всё такое
DF
Ну вот мне интересно про структуру реальности
DF
В отношениях с логикой
DF
Ну и конечно про схлопывание алгебраических структур
DF
У вас то ещё и по работе есть интересы там
AG
ну я целенаправленно искал работу по этой теме
AG
пруф-инжиниринг :)
VD
Теперь мы знаем к кому ходить за пруфами, если в интернетах будут требовать.
DF
Кек
AG
хм, в детском саду спрашивают согласны ли мы чтобы ребенок ходил на уроки католичества
AG
с одной стороны в целом думаю полезный экспириенс, с другой - ему 3 года только исполнилось :)
DF
Уроки можно
DF
Но не пропаганду
это русский пруфстер на Coq
AG
Dollar Føølish
Но не пропаганду
ну вот и интересно в каком там ключе преподавать будут