Jun
27
遺伝的有限集合勉強会 10
Registration info |
Attendee Type 1 Free
Attendees
|
---|
Description
概要
HFと有限の世界を勉強しましょう。 第10回は[1]のIV.5.20と、IV.5.8の証明を読みます.
予習不要
計画
I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.5.8 - IV.5.20 第一不完全性 IV.3 pp.313-317 構文のencoding IV.5.32 第二不完全性 III章 III pp.273- 有限主義 II章 II.18.12 PAとの関係
教科書
参考書
Media View all Media
If you add event media, up to 3 items will be shown here.