教養科目
教養科目 人文科学系
まちラボとわくらぼの使用について:使用しない
選択科目 2単位 3年次 前期
安藤 友晴
110/410.96
1001
命題論理/述語論理/証明
本授業の目標は、論理学の基礎を学ぶことで、推論の形式に慣れるとともに、日常生活で論理を正しく扱えるようにすることである。
論理学、特に記号論理学もしくは数理論理学と呼ばれる分野のうち、「命題論理」と「述語論理」の基礎について学ぶ。
特になし。
・命題論理の意味論と構文論について理解している ・命題論理の知識を、日常的な言語生活で用いられる演繹に応用できる ・述語論理の概要について理解している ・述語論理の知識を、日常的な言語生活で用いられる演繹に応用できる
試験: 100 / 100
レポート: / 100
小テスト(中間テストなど含む): / 100
小レポート(中間レポートなどを含む): / 100
作品: / 100
ポートフォリオ: / 100
その他:
プリントを配布する。
・野矢茂樹『入門!論理学』ISBN: 978-4121018625 ・野矢茂樹『新版 論理トレーニング』ISBN: 978-4782802113 ・野矢茂樹『論理学』ISBN: 978-4130120531
特になし。
・LMS上の教材で復習することが望まれる。 ・LMS上のフォーラムを利用されたい。
高等学校の「数学I」「数学A」で学んだ知識を使う。授業中に適宜説明する。