このエントリーをはてなブックマークに追加
論理学友の会例会#14

Ended 2021/07/25（Sun） 14:00〜

論理学友の会例会#14

論理学友の会 論理学友の会

オンライン

Group Information

論理学友の会

Members 119 people
Number of events 21

Media List

スライド

スライドはありません。

動画

動画はありません。

ブログなど

(未設定)(未設定)

ラムダ計算でコーディング

1. 計算モデルについて 1.1 計算モデル 1.2 解釈可能性、エミュレート可能性 1.3 Church-Turingの提唱 2. ラムダ計算 2.1 構文とその直感的意味 2.2.1 略記 ...

Read more >>

投稿者:論理学友の会

投稿日:July 23, 2021, 3:22 p.m.

yak_ex yak_ex

Coqのふんいき

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.