наша лаборатория запостила вакансию постдока 2022 за 110к рублей, интересно найдется ли хоть один безумец который сейчас поедет в россию при таких условиях?
ситуация еще смешнее: до этого это было международное объявление, а сейчас вакансия только для российских постдоков
на самом деле интересная идея как шаг в сторону совмещения качественной логической модели с количественной
Empty Name
David_Corfield_Modal_Homotopy_Type_Theory_The_Prospect_of_a_New.pdf
commitment: я напишу по этой теме диплом
спасибо данияру за помощь по формальной семантике, хоть какая то польза от лингвистов
Empty Name
https://youtu.be/2dzv1Hmcxn4
думал щас отдохну, послушаю про интуиционистскую логику, а тут 20 минут введения в хаскелль (ебучие программисты)
Empty Name
думал щас отдохну, послушаю про интуиционистскую логику, а тут 20 минут введения в хаскелль (ебучие программисты)
ладно, я понял в чем фишка
у нас есть IEL (intuitionistic epistemic logic), которая придумана чтобы формализовать понятие знания с точки зрения интуиционистской логики
а для задачи формализации (на более строгом теоретико-типовом уровне) аппликативных вычислений из условного хаскелля решили использовать IEL и строить типовое лямбда исчисление, которое по Карри-Ховарду изоморфно IEL (само это лямбда исчисление я понял смутно)
у нас есть IEL (intuitionistic epistemic logic), которая придумана чтобы формализовать понятие знания с точки зрения интуиционистской логики
а для задачи формализации (на более строгом теоретико-типовом уровне) аппликативных вычислений из условного хаскелля решили использовать IEL и строить типовое лямбда исчисление, которое по Карри-Ховарду изоморфно IEL (само это лямбда исчисление я понял смутно)
Autism and performance on the suppression task.pdf
329.9 KB
делаю доклад по аутизму
In this study both adolescents with autism spectrum disorder (ASD) and typically developing controls were presented with conditional reasoning problems using familiar content. In this task both valid and fallacious conditional inferences that would otherwise be drawn can be suppressed if counterexample cases are brought to mind. Such suppression occurs when additional premises are presented, whose effect is to suggest such counterexample cases. In this study we predicted and observed that this suppression effect was substantially and significantly weaker for autistic participants. We take this as evidence that autistics are less contextualised in their reasoning, a finding that can be linked to research on autism on a variety of other cognitive tasks.