BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:【数理論理学】数学修士から学ぶ専門数学【
 完全性定理とコンパクト性定理編】#3
X-WR-CALNAME:【数理論理学】数学修士から学ぶ専門数学【
 完全性定理とコンパクト性定理編】#3
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:758212@techplay.jp
SUMMARY:【数理論理学】数学修士から学ぶ専門数学【完全
 性定理とコンパクト性定理編】#3
DTSTART;TZID=Asia/Tokyo:20191203T200000
DTEND;TZID=Asia/Tokyo:20191203T220000
DTSTAMP:20260522T044328Z
CREATED:20191106T100736Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/75821
 2?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n内容概要\n
 どの分野のトピックを学ぶにせよ、ベースになるのが
 数学の理解になります。\n大体の理系分野は大学1~2年
 の教養課程のレベルの数学がわかっていれば、基礎と
 しては\n問題ないですが、あえてもう少し深く学ぶこ
 とで洞察を得ようというのがこの企画の目的です。\n\n
 そのため、数学専門の講師にそれぞれの専門について
 解説してもらうようなセミナーのシリーズ\nとしてい
 ければと思います。\n第二弾企画として、数理論理学
 について専門的な見地から取り扱います！\n第三回目
 は完全性定理とコンパクト性定理などについて取り扱
 います。\n\n大学3年生程度の数学の知識があれば問題
 ないように進行していきますので、ご興味おありの方
 は\nぜひご検討ください！\n\nアジェンダ\n① 形式論と
 論理式\n・命題論理と述語論理\n・一階述語論理式\n\n
 ② 意味論とモデル\n・一階述語論理のモデル\n・色々
 な例\n\n③完全性定理\n・定理の紹介\n・コンパクト性
 定理\n\n※この内容は原則説明はする予定ですが、状況
 次第で若干変更になる場合があります。\n\n開催日程\n1
 2/3（火）　20:00〜22:00\n\n受付　：19:50〜20:00\n講義　：20
 :00〜22:00\n\n※ 途中5~10分程度、休憩をはさみます。\n\n
 会場\n水道橋駅、神保町駅、九段下駅周辺\n千代田区西
 神田2-7-14 YS西神田ビル2F\n\n対象者\n・数理論理学に興
 味のある方\n・専門課程の数学に興味のある方\n\n当日
 のお持物\n演習のためのノートやメモ帳\n筆記用具\n\n
 費用\n・4\,000円（2時間）\n\n※ 領収書発行の際は事務
 手数料として（法人料金も兼ねてます）追加1\,000円い
 ただきます。\n\n定員\n6名（人数に合わせて調整します
 、別媒体でも募集していますので申し込み人数は当日
 参加者数を反映しません）\n\n講師プロフィール\n筑波
 大学院数理物質科学専攻科博士前期課程を修了。\n数
 学基礎論(モデル理論)が専門。\n現在は企業で最適化や
 機械学習のリサーチや実装などを行っている。\n\nご参
 加にあたってのお願い\n無断欠席や前日以降のキャン
 セルに関しては当日人数読めなくなり非常に迷惑なの
 で\n基本的に行わないようにお願いします。（直前参
 加は定員的に問題なければ歓迎です！）\n体調不良、
 職務都合、ご家庭の事情などどうしてものケースは別
 途ご連絡いただくか、\nイベントへのお問い合わせよ
 りご連絡いただけますと嬉しいです。\n上記がひどい
 アカウントに関してはブラックリスト処理を行い以後
 の参加をお断りさせて\nいただきますので、その点だ
 け予めご了承ください\n（7割以上来れる前提でのお申
 し込みと前日以降のキャンセルはメッセージでのご連
 絡を\nいただくということだけ気をつけていただけれ
 ば大丈夫だと思います）\n\nモチベーションの高い参加
 者の方を重視する運営としていきたいと考えています
 。\nご協力のほど、よろしくお願いいたします。\n\n
LOCATION:
URL:https://techplay.jp/event/758212?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR