BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:【数理論理学】数学修士から学ぶ専門数学【
 意味論とモデル編】#2
X-WR-CALNAME:【数理論理学】数学修士から学ぶ専門数学【
 意味論とモデル編】#2
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:755944@techplay.jp
SUMMARY:【数理論理学】数学修士から学ぶ専門数学【意味
 論とモデル編】#2
DTSTART;TZID=Asia/Tokyo:20191105T200000
DTEND;TZID=Asia/Tokyo:20191105T220000
DTSTAMP:20260522T143251Z
CREATED:20191022T115926Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/75594
 4?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開催日程\n11/5（
 火）　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/755944?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR