【数理論理学】数学修士から学ぶ専門数学【意味論とモデル編】#2

内容概要

どの分野のトピックを学ぶにせよ、ベースになるのが数学の理解になります。
大体の理系分野は大学1~2年の教養課程のレベルの数学がわかっていれば、基礎としては
問題ないですが、あえてもう少し深く学ぶことで洞察を得ようというのがこの企画の目的です。

そのため、数学専門の講師にそれぞれの専門について解説してもらうようなセミナーのシリーズ
としていければと思います。
第二弾企画として、数理論理学について専門的な見地から取り扱います！
初回は命題論理と述語論理や一階述語論理式について取り扱います。

大学3年生程度の数学の知識があれば問題ないように進行していきますので、ご興味おありの方は
ぜひご検討ください！

アジェンダ

① 形式論と論理式
・命題論理と述語論理
・一階述語論理式

② 意味論とモデル
・一階述語論理のモデル
・色々な例

③完全性定理
・定理の紹介
・コンパクト性定理

※この内容は原則説明はする予定ですが、状況次第で若干変更になる場合があります。

開催日程

11/5（火）　20:00〜22:00

受付　：19:50〜20:00
講義　：20:00〜22:00

※ 途中5~10分程度、休憩をはさみます。

会場

水道橋駅、神保町駅、九段下駅周辺
千代田区西神田2-7-14 YS西神田ビル2F

対象者

・数理論理学に興味のある方
・専門課程の数学に興味のある方

当日のお持物

演習のためのノートやメモ帳
筆記用具

費用

・4,000円（2時間）

※ 領収書発行の際は事務手数料として（法人料金も兼ねてます）追加1,000円いただきます。

定員

6名（人数に合わせて調整します、別媒体でも募集していますので申し込み人数は当日参加者数を反映しません）

講師プロフィール

筑波大学院数理物質科学専攻科博士前期課程を修了。
数学基礎論(モデル理論)が専門。
現在は企業で最適化や機械学習のリサーチや実装などを行っている。

ご参加にあたってのお願い

無断欠席や前日以降のキャンセルに関しては当日人数読めなくなり非常に迷惑なので
基本的に行わないようにお願いします。（直前参加は定員的に問題なければ歓迎です！）
体調不良、職務都合、ご家庭の事情などどうしてものケースは別途ご連絡いただくか、
イベントへのお問い合わせよりご連絡いただけますと嬉しいです。
上記がひどいアカウントに関してはブラックリスト処理を行い以後の参加をお断りさせて
いただきますので、その点だけ予めご了承ください
（7割以上来れる前提でのお申し込みと前日以降のキャンセルはメッセージでのご連絡を
いただくということだけ気をつけていただければ大丈夫だと思います）

モチベーションの高い参加者の方を重視する運営としていきたいと考えています。
ご協力のほど、よろしくお願いいたします。