お知らせ 現在、検索機能において不具合が出ているため、一時的に機能を閉鎖しております。改修次第、検索機能をリリースのうえ、お知らせいたしますので、ご不便をおかけしますが何卒ご了承ください。

このエントリーをはてなブックマークに追加

5月

23

遺伝的有限集合勉強会 8

ハッシュタグ :#巨大基数勉強会
募集内容

Attendee Type 1

無料

参加者数
3

イベントの説明

概要

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

教科書

参考書

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

t6s

t6s さんが 遺伝的有限集合勉強会 8 を公開しました。

2017/05/12 18:17

遺伝的有限集合勉強会 8 has been published!

終了

2017/05/23(火)

18:30
21:00

募集期間
2017/05/12(金) 18:16 〜
2017/05/23(火) 21:00

会場

Misoca

愛知県名古屋市中村区名駅2丁目35番22号 メビウス名古屋ビル2階

管理者

参加者(3人)

t6s

t6s

I joined 遺伝的有限集合勉強会 8!

mkoga_

mkoga_

遺伝的有限集合勉強会 8 に参加を申し込みました!

c0hama

c0hama

遺伝的有限集合勉強会 8に参加を申し込みました!

参加者一覧(3人)