遺伝的有限集合勉強会 3

お知らせ【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。

2月

9
遺伝的有限集合勉強会 3

ハッシュタグ：#巨大基数勉強会

募集内容	Attendee Type 1 無料参加者数 3人
申込者	申込者一覧を見る
開催日時	2017/02/09(木) 18:30 ～ 21:00 Googleカレンダー icsファイル
募集期間	2017/01/28(土) 16:02 〜 2017/02/09(木) 21:00まで
会場	Misoca 愛知県名古屋市中村区名駅2丁目35番22号メビウス名古屋ビル2階マップで見る会場のサイトを見る

イベントの説明

概要

HFと有限の世界を勉強しましょう。第3回は[1]の pp.119- HF<ω ⊂ HF などを読みます。

予習不要

計画

I章
p.107 HFの定義
p.119 データ構造の例

II章
II.17 Δ0
II.17.21 Σ1, Π1
II.18 CST

III章
III pp.273- 有限主義

IV章
IV pp.289- (ω| HF)上(Δ0|Δ1)
IV.3.1 HFでの決定可能性, 計算可能性
IV.3 pp.313- 構文のencoding

... (この辺未定; [2]も参照しつつやる)

IV.5.32 第二不完全性