科目ナンバー

SE-AI2-8A71

履修条件・関連科目等

なし

授業で使用する言語

日本語

授業で使用する言語（その他の言語）

授業の概要

多値論理、論理式、論理演算、論理演算の真理値、帰納的推論、論理的等価 (意味論)、論理的等価 (構文論)、論理的等価に基づく推論、論理的含意 (意味論)、論理的含意 (構文論)、論理的含意に基づく推論、論理的含意どうしの関係、証明、逆理、などを教授します。

科目目的

当科目は、知能にかかわる任意の事象を定量化または定性化し、問題をコンピューターが計算できる形に定式化または規則化したうえで、必要な情報処理過程をコンピューターのコードとして記述し、知的情報システムを矛盾なく設計、構築、運用するための要素技術を伝授すること、を目指します。

到達目標

多値論理、論理式、論理演算、論理演算の真理値、帰納的推論、論理的等価、論理的等価に基づく推論、論理的含意、論理的含意に基づく推論、論理的含意どうしの関係、証明、逆理について、知能にかかわる任意の事象を定量化または定性化できる。

授業計画と内容

各回、資料に基づき聴講したうえで、manaba 上の演習を進めます。

第1回: 多値論理
第2回: 論理式
第3回: 論理演算
第4回: 論理演算の真理値
第5回: 帰納的推論
第6回: 論理的等価 (意味論)
第7回: 論理的等価 (構文論)
第8回: 論理的等価に基づく推論
第9回: 論理的含意 (意味論)
第10回: 論理的含意 (構文論)
第11回: 論理的含意に基づく推論
第12回: 論理的含意どうしの関係
第13回: 証明
第14回: 逆理

授業時間外の学修の内容

指定したテキストやレジュメを事前に読み込むこと／授業終了後の課題提出

授業時間外の学修の内容（その他の内容等）

毎回、manaba 上で演習を行います。

授業時間外の学修に必要な時間数／週

・毎週１回の授業が半期（前期または後期）または通年で完結するもの。１週間あたり４時間の学修を基本とします。
・毎週２回の授業が半期（前期または後期）で完結するもの。１週間あたり８時間の学修を基本とします。

成績評価の方法・基準

成績評価の方法・基準（備考）

manaba 上「小テスト」の平均点の小数点以下を切り捨てた結果が満点の 60 ％以上のとき合格

課題や試験のフィードバック方法

授業時間内で講評・解説の時間を設ける／授業時間に限らず、manabaでフィードバックを行う

課題や試験のフィードバック方法（その他の内容等）

アクティブ・ラーニングの実施内容

その他

アクティブ・ラーニングの実施内容（その他の内容等）

聴講前に資料をダウンロードのうえ、関連論文等を (Google 検索ではなく) Google Scholar 検索し、随意に予備知識を得るよう推奨します。

授業におけるICTの活用方法

その他

授業におけるICTの活用方法（その他の内容等）

個別のフィードバックは E メールまたは manaba 上の「個別指導 (コレクション)」経由、「小テスト」へのフィードバックは「講評」経由、全体的なフィードバックは「ニュース」または「掲示板」経由にて行います。また、Webex や Slack を利用する可能性もあります。

実務経験のある教員による授業

はい

【実務経験有の場合】実務経験の内容

教員は、情報処理推進機構 IPA 未踏事業を契機に設立された会社の取締役技術顧問の経験を有します。

【実務経験有の場合】実務経験に関連する授業内容

IT 企業における研究開発の知見を取り混ぜつつ学問的本質を伝授します。

テキスト・参考文献等

manaba 上のコースコンテンツから、資料をダウンロードできます。

その他特記事項

履修区分「再試」のときは聴講の必要はありませんが、manaba 上で「小テスト」を実施する必要があります。

参考URL

連絡方法

https://c-research.chuo-u.ac.jp/mailform?uid=100003165

を利用してください。

本人確認のため、(1) メールアドレス欄に全学メール「@g.chuo-u.ac.jp」のアドレスを、(2) 件名欄に「IntInf: 」(半角コロン「:」の直後に半角空白を挿入) から始まる任意の適切な件名を、(3) 本文中には学籍番号を明記してください。