文理学部シラバスTOP > 文理学部 > 情報科学科 > 論理と計算
日本大学ロゴ

論理と計算

このページを印刷する

令和２年度以降入学者 論理と計算
令和元年度以前入学者 論理と計算
教員名 尾崎知伸
単位数    2 学年    3 開講区分 文理学部
科目群 情報科学科
学期 後期 履修区分 選択必修
授業の形態 対面授業
BlackboardコースID：20224417
授業概要 論理に基づく知識表現と問題解決の基礎事項について概観する．命題論理・述語論理の構文論・意味論・推論等について言及するとともに，論理プログラムとそれに基づく高次推論・問題解決を取り上げる．
授業のねらい・到達目標 命題論理・述語論理を用いた対象の表現と推論の仕組みを理解する．
また論理や推論を用いた問題解決の発展について，技術的な側面から検討することができる．

この科目は文理学部(学士(理学))のディプロマポリシーDP6及びカリキュラムポリシーCP9に対応している．
なお，新カリキュラム（令和２年度以降の入学者）では，この科目は文理学部（学士（理学））のDP及びCP3，4，5に対応している
・仮説に基づく課題や問題を提示し，客観的な情報を基に，論理的・批判的に考察できる（A-3-3）
・問題を分析し，複数の解決策を提示した上で，問題を解決することができる（A-4-3）
・責任と役割を担い，新しい問題に取り組む意識を持ち，そのために必要な情報科学の知識・情報を収集することができる（A-5-3）
授業の方法 授業の形式：講義・演習
電子資料を用いた講義形式を中心とするが，随時，演習も行う．
提出されたレポートについては，総評を行う．

なお，学部の方針に従い，学部が定める要件を満たす場合はZoom（ライブ中継）での参加を認める．
授業計画
1 【対面】ガイダンス（授業のテーマや到達目標及び授業の方法について説明する）
論理を用いた問題解決の概要（A-3-3，A-4-3，A-5-3）
【事前学習】シラバスを事前に確認し, 当該分野に関する簡単な調査を行う （2時間）
【事後学習】授業内容を振り返り，論理を用いた対象の表現・推論と問題解決の概要を理解する （2時間）
2 【対面】命題論理の導入（A-3-3，A-4-3，A-5-3）
【事前学習】命題論理に関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，命題論理の構文や意味，解釈について説明できるようにする （2時間）
3 【対面】充足可能性問題（A-3-3，A-4-3，A-5-3）
【事前学習】充足可能性問題に関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，充足可能性問題の基礎的なアルゴリズムを説明できるようにする （2時間）
4 【対面】命題論理に基づく問題解決（A-3-3，A-4-3，A-5-3）
【事前学習】命題論理に基づく問題解決に関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，対象問題の具体的な論理表現やその内容を説明できるようにする （2時間）
5 【対面】命題論理の振り返りと演習（A-3-3，A-4-3，A-5-3）
【事前学習】第2～4回の内容を中心に復習を行う （2時間）
【事後学習】第2～4回の内容を中心とした演習問題に取り組む （2時間）
6 【対面】述語論理の導入（A-3-3，A-4-3，A-5-3）
【事前学習】述語論理に関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，述語論理の構文や意味，解釈等について説明できるようにする （2時間）
7 【対面】論理プログラム（A-3-3，A-4-3，A-5-3）
【事前学習】論理プログラムに関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，論理プログラムの概要と基礎となるモデルの意図等について説明できるようにする （2時間）
8 【対面】解集合プログラミング（A-3-3，A-4-3，A-5-3）
【事前学習】解集合プログラミングに関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，解集合導出の基本的なアルゴリズムの内容を説明できるようにする （2時間）
9 【対面】論理プログラムによる問題解決（A-3-3，A-4-3，A-5-3）
【事前学習】論理プログラムによる問題解決に関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，解集合プログラミングによる対象の表現と問題解決の概要を説明できるようにする （2時間）
10 【対面】述語論理の振り返りと演習（A-3-3，A-4-3，A-5-3）
【事前学習】第6～9回の内容を中心に復習を行う （2時間）
【事後学習】第6～9回の内容を中心とした演習問題に取り組む （2時間）
11 【対面】証明論（A-3-3，A-4-3，A-5-3）
【事前学習】証明論に関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，モデル論と証明論の関係および基本的な証明手続きについて説明できるようにする （2時間）
12 【対面】Prologの導入（A-3-3，A-4-3，A-5-3）
【事前学習】Prologに関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，Prologの基本的な動作原理について説明できるようにする （2時間）
13 【対面】Prologによる問題解決（A-3-3，A-4-3，A-5-3）
【事前学習】Prologによる問題解決に関する配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】授業内容を振り返り，Prologによる対象の表現と問題解決の概要を説明できるようにする （2時間）
14 【対面】Prologの振り返りと演習（A-3-3，A-4-3，A-5-3）
【事前学習】第11～13回の内容を中心に復習を行う （2時間）
【事後学習】第11～13回の内容を中心とした演習問題に取り組む （2時間）
15 【対面】まとめと発展的話題（A-3-3，A-4-3，A-5-3）
【事前学習】第1～14回までの配布資料を通読し，内容を簡単にまとめる （2時間）
【事後学習】これまでの学修内容を振り返り，どの様な発展が考えられるか考察する （2時間）
その他
教科書 なし
参考書 必要に応じて，解説論文や英文テキスト等を紹介・利用する．
成績評価の方法及び基準 レポート:授業内容の振り返りを中心とし，内容の正しさと理解度合を中心に評価をする(80%)、授業参画度:講義中に行う実習・演習の成果 及び レポート相互評価における貢献度により評価する(20%)
・レポート未提出の場合はE判定とする
・Zoom参加の場合でも，対面参加と同じ基準で評価を行う．
オフィスアワー 質問等は随時を受け付ける．原則，事前にSlackやメール等でアポイントをとること

↑このページのトップ