到達目標
記号論理による表現と推論の概念を説明でき、論理プログラミングやＳＡＴソルバ・ＢＤＤを利用できるようになること。
ルーブリック
| 理想的な到達レベルの目安 | 標準的な到達レベルの目安 | 未到達レベルの目安 |
| 評価項目1 | 記号論理による表現と推論の概念を説明でき、さまざまな場面で論理プログラミングやＳＡＴソルバ・ＢＤＤなどの記号論理関連技術を応用できること | 記号論理による表現と推論の概念を理解し、論理プログラミングやＳＡＴソルバ・ＢＤＤなどを使うことができること。 | 記号論理を見聞きしたことがあり、論理プログラミングやＳＡＴソルバ・ＢＤＤを使ったことがある。 |
| 評価項目2 | | | |
| 評価項目3 | | | |
学科の到達目標項目との関係
教育方法等
概要:
記号論理とそれを応用したソフトウェアについて学ぶことを目的とする。具体的には記号論理の表現と推論について学び、述語論理を基礎とした論理プログラミングについて学ぶ。また、命題論理に基づくSATソルバやＢＤＤなども学ぶ。
授業の進め方・方法:
座学形式の講義を行い、講義で学んだ内容の確認と定着のために、簡単な演習課題を行う。
注意点:
授業計画
|
|
週 |
授業内容 |
週ごとの到達目標 |
| 後期 |
| 3rdQ |
| 1週 |
オリエンテーション・命題論理(1)
|
命題論理の構文、意味、標準形について学ぶ。
|
| 2週 |
命題論理(2) |
恒真式と恒偽式・意味木について学ぶ。
|
| 3週 |
命題論理(3) |
推論と論理的帰結について学ぶ。
|
| 4週 |
命題論理(4) |
形式的証明について学ぶ。
|
| 5週 |
述語論理(1) |
述語論理式・限量記号について学ぶ。
|
| 6週 |
述語論理(2) |
述語論理の意味論について学ぶ。
|
| 7週 |
述語論理(3) |
節形式とスコーレム標準形について学ぶ。
|
| 8週 |
導出原理(1) |
エルブランの定理について学ぶ。
|
| 4thQ |
| 9週 |
導出原理(2) |
導出原理について学ぶ。
|
| 10週 |
導出原理(3) |
導出の制御戦略について学ぶ。
|
| 11週 |
論理プログラミング(1) |
ホーン節と導出戦略について学ぶ。
|
| 12週 |
論理プログラミング(2) |
Prologと論理プログラミングについて学ぶ。
|
| 13週 |
SATソルバ |
SATソルバについて学ぶ。
|
| 14週 |
BDD(二分決定グラフ) |
BDDとZDDについて学ぶ。
|
| 15週 |
試験 |
講義で学んだことについて理解度を問う。
|
| 16週 |
答案返却など |
答案返却および解説を行う。
|
モデルコアカリキュラムの学習内容と到達目標
| 分類 | 分野 | 学習内容 | 学習内容の到達目標 | 到達レベル | 授業週 |
評価割合
| 試験 | 演習 | | | | | 合計 |
| 総合評価割合 | 80 | 20 | 0 | 0 | 0 | 0 | 100 |
| 基礎的能力 | 30 | 5 | 0 | 0 | 0 | 0 | 35 |
| 専門的能力 | 40 | 10 | 0 | 0 | 0 | 0 | 50 |
| 分野横断的能力 | 10 | 5 | 0 | 0 | 0 | 0 | 15 |