お知らせ 9月24日(木)10:00から2時間ほど、サーバーのメンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

Oct

22

数学修士から学ぶ専門数学【数理論理学編】#1

専門課程の数学企画の第二弾として数理論理学を取り扱います!!

Registration info

通常参加者枠

4000(Pay at the door)

FCFS
5/6

Description

内容概要

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

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

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

アジェンダ

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

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

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

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

開催日程

10/22(火) 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割以上来れる前提でのお申し込みと前日以降のキャンセルはメッセージでのご連絡を
いただくということだけ気をつけていただければ大丈夫だと思います)

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

lib-arts-adm

lib-arts-adm published 数学修士から学ぶ専門数学【数理論理学編】#1.

10/03/2019 15:14

数学修士から学ぶ専門数学【数理論理学編】#1 を公開しました!

Group

Liberal Arts for Beginners

Number of events 348

Members 868

Ended

2019/10/22(Tue)

20:00
22:00

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2019/10/03(Thu) 14:47 〜
2019/10/22(Tue) 22:00

Location

水道橋駅周辺

千代田区西神田2-7-14 YS西神田ビル2F

Attendees(5)

TomoyukiKobori

TomoyukiKobori

数学修士から学ぶ専門数学【数理論理学編】#1に参加を申し込みました!

Shotaro Gondo

Shotaro Gondo

数学修士から学ぶ専門数学【数理論理学編】#1に参加を申し込みました!

mokano1

mokano1

数学修士から学ぶ専門数学【数理論理学編】#1 に参加を申し込みました!

k-hyogo

k-hyogo

数学修士から学ぶ専門数学【数理論理学編】#1 に参加を申し込みました!

krxross

krxross

数学修士から学ぶ専門数学【数理論理学編】#1 に参加を申し込みました!

Attendees (5)

Canceled (1)

  • (退会ユーザー)