授業科目の概要
科目名称		数理科学特別講義Ⅱ
講義題目		一階述語論理とホーア論理（講師：龍田 真，国立情報学研究所）
科目ナンバリング・コード		MAT-MAT6802J
担当教員		溝口　佳寛
更新日付		2024/11/12 01:28
授業科目区分		専攻教育科目（数理学コース・学際科目） / Specialized Courses
学部カテゴリ		数理学府
使用言語		日本語（J）
対象学部等		数理学府 / Graduate School of Mathematics
対象学年		修士課程 / Master's course
必修選択		選択 / Elective
単位数		1
開講年度		2024
開講学期		後期集中
曜日時限		後期集中 その他 その他
教室
開講地区		伊都地区
授業科目に関する特筆事項		国立情報学研究所 龍田 真 教授による集中講義で実施します. 実施期間は, 2024年11月11日(月)から, 2024年11月15日(金)の1週間で実施されます. 最初の講義開始は, 2024年11月11日(月) 13:00 です. 教室は, W1-C512講義室です. 講義時間の詳細は「授業科目の実施方法について」の備考欄に掲載しています. ※ 講義開催場所や時間等に関する問合せ先: 　 数理学府教務担当事務 mathkyoumu@jimu.kyushu-u.ac.jp

授業科目の目的・目標・履修条件について
授業科目の目的（日本語）		数理論理学の基礎として一階述語論理とホーア論理を学ぶこと
授業科目の目的（英語）		To study basic knowledge of mathematical logic， in particular， first-order logic and Hoare logic.
キーワード		一階述語論理, ホーア論理
※ 学位プログラムの学修目標 授業科目の到達目標（評価の観点） 主 一階述語論理で証明図が書け、健全性定理、完全性定理について説明できること。ホーア論理、ペアノ算術が説明できること。    従
※学修目標と授業科目の結びつきの強さ
カリキュラム・マップ
ルーブリック
授業科目の実施方法について
授業の方法		講義 演習
教授・学習法		一方向性の知識伝達型の教授・学習法
遠隔授業		対面授業の形で実施する
Moodleコース情報
使用する教材		教科書・参考書・印刷資料 板書
教材の配布方法		独自webサイト
テキスト		講義ノートは, 以下にあります. https://research.nii.ac.jp/~tatsuta/ の「九州大学大学院数理学府 数理科学特別講義II (2024)」を参照して下さい.
参考書等		[1] J.R. Shoenfield, Mathematical Logic, Routledge (2001). [2] D. van Dalen, Logic and structure, Springer-Verlag (2004). [3] R.M. Smullyan, First-Order Logic, Dover Publications (1995). [4] K.R. Apt, Ten Years of Hoare's Logic: A Survey Part I, ACM Transactions on Programming Languages and Systems 3I(401) (1981) 431-–483. [5] 龍田 真, 計算機科学の数学 その4, 数理科学 No.717, 2023年3月号, (2023). 66--73. [6] 龍田 真, 計算機科学の数学 その5, 数理科学 No.719, 2023年5月号, (2023). 76--83. [7] 龍田 真, 計算機科学の数学 その6, 数理科学 No.720, 2023年6月号, (2023). 74--81. [8] 龍田 真, 計算機科学の数学 その7, 数理科学 No.722, 2023年8月号, (2023). 73--80. [8] 龍田 真, 計算機科学の数学 その8, 数理科学 No.723, 2023年9月号, (2023). 67--74. [9] 龍田 真, 計算機科学の数学 その9, 数理科学 No.725, 2023年11月号, (2023). 66--73. [10] 龍田 真, 計算機科学の数学 その10, 数理科学 No.726, 2023年12月号, (2023). 71--78. [11] 龍田 真, 計算機科学の数学 その15, 数理科学 No.734, 2024年8月号, (2024). 74--81. [12] 龍田 真, 計算機科学の数学 その16, 数理科学 No.735, 2024年9月号, (2024). 74--81. [13] 龍田 真, 計算機科学の数学 その17, 数理科学 No.737, 2024年11月号, (2024). 73--80.
授業計画		授業計画は予定であり、学びの進捗に合わせて変更することがあります。 1単位あたりの学修時間（45時間）の内訳（目安） （講義・演習の場合）授業内学修15時間、事前・事後学修30時間 （実験、実習および実技の場合）授業内学修30～45時間、事前・事後学修0～15時間
授業のテーマ 授業の内容（90分授業＝2時間） 事前/事後学修の内容 1 論理式の定義  講義  資料収集  2 論理式の意味論  講義  レポート作成準備  3 推論規則  講義  レポート作成準備  4 証明図  講義  レポート作成準備  5 健全性定理  講義  レポート作成準備  6 完全性定理  講義  レポート作成準備  7 ペアノ算術  講義  レポート作成準備  8 ゲーデルの不完全性定理  講義  レポート作成準備  9 ホーア論理の定義  講義  レポート作成準備  10 ホーア論理の証明体系  講義  レポート作成準備  11 プログラムの証明  講義  レポート作成
備考		※ 詳細は, 参加者・受講者と相談で決めますが, 現在の講義予定は, 以下の通りです. 2024/11/11(月) 13:00-15:00 [第1,2回]講義 W1-C512中講義室 2024/11/12(火) 10:00-12:00 [第3,4回]講義 W1-C512中講義室 　　　　　　　　13:00-15:00 [第5,6回]講義 W1-C512中講義室 2024/11/13(水) 10:00-12:00 [第7,8回]講義 W1-C512中講義室 　　　　　　　　　13:00-16:00 [第9,10,11回]講義 W1-C512中講義室 2024/11/14(木) 10:00-12:00 [第12,13回]講義 W1-C512中講義室 2024/11/15(金) 10:00-12:00 [第14,15回]講義 W1-C512中講義室 　　　　　　　　　13:00-14:00 [第16回]講義 W1-C512中講義室
授業科目の成績評価の方法について
レポート		最終レポートで80%評価する
授業への貢献度		練習問題など授業中の参加度で20%評価する
授業科目に関する学習相談について
担当教員による学習相談		龍田 真 (tatsuta@nii.ac.jp)に相談できる
合理的配慮について		障害(難病・慢性疾患含む)があり、通常の方法による授業を受けることが困難な場合には、教育目的の本質的な変更など過重な負担を伴わない限り、合理的配慮を受けることができます。合理的配慮とは、教授・学習法の変更、成績評価の方法の変更、授業情報の保障(資料の字幕化、個別の資料配布、録音・撮影の許可)、受講環境の調整などを指します。実際の方法については担当教員と建設的対話を行った上で決定されます。 ＜相談窓口＞ キャンパスライフ・健康支援センター　インクルージョン支援推進室（伊都地区センター１号館１階） （電話：092-802-5859　E-mail：inclusion@chc.kyushu-u.ac.jp）
修学上の合理的配慮の流れに関する部局HP