| 科目名 |
現代数学科教育 |
| クラス |
− |
| 授業の概要 |
本授業では記号論理、Hewlett Packardを用いたプログラミングを中心に展開し、小・中、高等学校における教材分析、及び、現実事象の解析を行う。 |
| 授業の到達目標 |
有効な推論方式の意味が理解できる。／論理の教育から教材分析ができる。／プログラムを設計することができる。／現実事象を解析することができる。 |
| 授業計画 |
| 回 |
内容 |
| 1 | 命題とその結合 |
| 2 | 合成命題とその値 |
| 3 | 命題に関する等式 |
| 4 | 恒真命題・恒偽命題・命題関数の基本法則 |
| 5 | 推論方式と証明（１） |
| 6 | 推論方式と証明（２） |
| 7 | 全称命題と特称命題 |
| 8 | 論理の教育からみた教材分析（１） |
| 9 | 論理の教育からみた教材分析（２） |
| 10 | Programming（１） |
| 11 | Programming（２） |
| 12 | Programming（３） |
| 13 | 現実事象の解析（１） |
| 14 | 現実事象の解析（２） |
| 15 | まとめ |
|
| テキスト・参考書 |
テキスト：特に指定せず、レジュメ等を配布する。
参考図書：前原昭二『記号論理入門』（日本評論社、1994、ISBN 4-535-60104-6） |
| 自学自習についての情報 |
配布する資料については必ず目を通した上で受講すること。 |
| 授業の形式 |
講義及び演習 |
| 評価の方法（評価の配点比率と評価の要点） |
出席すべき日数の4/5以上出席した者に対して、定期試験（70％）、授業中の課題・テスト等の平常点（30％）の総合評価を行う。 |
| その他 |
特になし。 |