遺伝的有限集合勉強会 8

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

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

5月

23
遺伝的有限集合勉強会 8

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

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

イベントの説明

概要

HFと有限の世界を勉強しましょう。第8回は[1]のIV.5.18のあたりを読みます.

予習不要

計画

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との関係