日時未定

計算可能性についての初歩の勉強会(再募集)

bukkun0216

[1084views]


詳細

計算可能性について勉強会をしています。初歩の内容です。


テキストは参加者の方々との話し合いで

Boolosらの 『Computability and Logic (5ed)』となりました。


現在のところ、1章~8章までのComputability Theoryのパートを読み終わり、一区切りがついたこともあり、進行を一時中止しています。6月中旬か下旬頃に、9章のBasic Metalogicのパートから再開し、18章のゲーデルの第二不完全性定理の証明(概略版)を目指す予定です。


とても区切りがよいところなので、再び参加者を募集してみたいと思います。ご興味がある方は気軽にご連絡ください。ゆっくり進めています。1~8章までの復習会も可能です。よろしくお願いします。



場所
skypeでやる予定です
道順を調べる

このイベントに参加しますか?
まずはTwitterにログインしよう!
※ログインする際、TwiPlaが勝手にツイートやフォローする事はありません。
興味あり (1人)
不参加 (0人)


    コメント
    1. @bukkun0216 非常に興味があります!ぜひ参加させていただきたいです。
      ダンブル扉 2707日前 
    2. ありがとうございます!よろしくお願いします。いい感じの人数になったので、近いうちにお声かけしてやり方とかの相談をしたいと思います。
      bukkun0216 2706日前 
    3. @bukkun0216 よろしくお願いします!
      ダンブル扉 2706日前 
    4. @bukkun0216 数学科の4年です。興味あります。
      ねこうさぎ 2518日前 
    5. 今週来週ということでは、夜なら特に問題ある日はないです(しいていえば月曜と金曜がちょっと都合をいじる必要がありますが、無理ではないです)
      谷口一平 A.k.a.hani-an 2514日前 
    6. TANI_Ro^heiさん、コメントありがとうございます。私もいまのところ特に厳しい平日の夜はありません。しいて言えば、次が休日なので金曜日がありがたいです。
      bukkun0216 2514日前 
    7. 遅れてすみません。今週の水曜〜金曜、来週の月曜、水曜〜金曜であれば大丈夫です。僕もありがたいのは金夜ですね。
      ダンブル扉 2514日前 
    8. お返事遅れてすみません.今週だったら金曜日,来週だったら火金は大丈夫です.
      水崎 2513日前 
    9. @bukkun0216 皆さまご協力ありがとうございます!重ねてで大変恐縮ですが、21時からの開始でも大丈夫でしょうか? 誠に申し訳ありませんm(_ _)m
      ねこうさぎ 2512日前 
    ログインしてコメントする