教養科目
教養科目 人文科学系
まちラボとわくらぼの使用について:使用しない
メディア表現コース必修 2単位 3年次 後期
安藤 友晴
110/410.96
1001
命題論理/述語論理/ヒルベルト流/シーケント計算
本授業の目標は、「論理学I」で学修した内容を形式化し、命題論理と述語論理を詳細に理解することである。
「論理学I」の学修内容に引き続き、論理学について学修する。
特になし。
・形式化された命題論理を理解していること ・形式化された述語論理を理解していること
試験: 100 / 100
レポート: / 100
小テスト(中間テストなど含む): / 100
小レポート(中間レポートなどを含む): / 100
作品: / 100
ポートフォリオ: / 100
その他:
プリントを配布する。
・戸次大介『数理論理学』ISBN: 978-4130629157 ・前原昭二『記号論理入門』ISBN: 978-4535601444 ・戸田山和久『論理学をつくる』ISBN: 978-4815803902
「論理学 I」の単位を取得していること。
・LMS上の教材で復習することが望まれる。 ・LMS上のフォーラムを利用されたい。
特になし。