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

6月

9

遺伝的有限集合勉強会 9

Registration info

Attendee Type 1

Free

Attendees
3

Description

概要

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

予習不要


計画
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.

Feed

mkoga_

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

2017/05/31 23:25

6/9は別件があるため参加はかないません. 宜しくお願い致します.

t6s

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

05/23/2017 23:46

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

Ended

2017/06/09(Fri)

18:30
21:00

Registration Period
2017/05/23(Tue) 23:46 〜
2017/06/09(Fri) 21:00

Location

Misoca

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

Organizer

Attendees(3)

t6s

t6s

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

c0hama

c0hama

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

mkoga_

mkoga_

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

Attendees (3)