スライドはありません。
動画はありません。
(未設定)
1. 計算モデルについて 1.1 計算モデル 1.2 解釈可能性、エミュレート可能性 1.3 Church-Turingの提唱 2. ラムダ計算 2.1 構文とその直感的意味 2.2.1 略記 ...
Read more >>投稿者:論理学友の会
投稿日:July 23, 2021, 3:22 p.m.
Materials for imprecise introduction of coq, which will be presented in regular meeting by DomusL...
Read more >>投稿者:yak_ex
投稿日:July 31, 2021, 9:35 a.m.