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

3月

10

遺伝的有限集合勉強会 4

Registration info

Attendee Type 1

Free

Attendees
4

Description

概要

HFと有限の世界を勉強しましょう。 第4回は[1]の IV.1からIV.3のあたりを読みます. (II.18 弱い集合論 は後回し)

予習不要


計画
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 第二不完全性

教科書

参考書

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

t6s

t6s さんが書き込みました。

2017/03/06 22:36

開催日変更です

mkoga_

mkoga_ さんが書き込みました。

2017/03/02 18:50

才川さんと古賀は了解しました。

osiire

osiire さんが書き込みました。

2017/03/02 18:10

今日の勉強会は中止ー。東海道線不通!!申し訳ない。

t6s

t6s published 遺伝的有限集合勉強会 4.

02/10/2017 20:06

(Copy)遺伝的有限集合勉強会 4 has been published!

Ended

2017/03/10(Fri)

18:30
21:00

Registration Period
2017/02/10(Fri) 20:06 〜
2017/03/10(Fri) 21:00

Location

Misoca

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

Organizer

Attendees(4)

t6s

t6s

I joined (Copy)遺伝的有限集合勉強会 4!

mkoga_

mkoga_

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

jx7548469

jx7548469

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

lion

lion

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

Attendees (4)

Canceled (1)