シラバス参照／授業情報参照
シラバス参照／授業情報参照
シラバス参照／授業情報参照
| 更新日時 | 2022/10/19 16:07:37 |
|---|---|
| 科目分類 | 専門教育科目 |
| 時間割コード | TB50222 |
| 授業科目名 | 記号論理学 |
| 授業科目名（英語） | Mathematical Logic |
| 科目コード | TB50220 |
| 科目ナンバー | |
| 主担当教員（所属） | 岩見 宗弘(総合理工学部知能情報デザイン学科) |
| 単位数 | 2.0 |
| 時間数 | 0.0 |
| 履修年次 | 1年,2年,3年,4年 |
| 開講学期 | 2022年度 後期 |
| 曜日・時限 | 他0 |
| 必修／選択／選択必修／自由 | 選択必修 |
| 履修資格 | 情報数学基礎，情報数学Ia(I)，情報科学（概論）とCプログミング(・Cプログラミング基礎演習)を履修していることが望ましい． |
| 各種教育プログラム名称 |
| 授業形態 | 講義 | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 授業の目的 |
情報工学の諸分野を学ぶために必要となる記号論理学の基礎について解説をおこないます． This course will provide an introduction to mathematical logic for information engineering. |
|||||||||||
| 授業の到達目標 |
コンピュータサイエンスに関連する，数学を中心とした理工学の基礎を修得し，それらを応用することができる． 命題論理と述語論理の基本を理解しているかを評価する． 具体的には，以下の達成目標を評価する． (1) 命題論理の意味論の基本を理解している． (2) 命題論理の構文論の基本を理解している． (3) 述語論理の意味論の基本を理解している． (4) 述語論理の構文論の基本を理解している． At the end of the course, students should be able to do the followings: (1) Recognize the semantics of propositional logic. (2) Recognize the syntax of propositional logic. (3) Recognize the semantics of predicate logic. (4) Recognize the syntax of predicate logic. |
|||||||||||
| 授業の内容および方法 |
1 オリエンテーション，数学的準備 2 命題論理入門(命題論理の式、式の真理値) 3 命題論理入門(真理値の計算、結合子の相互関係) 4 命題論理入門(新しい結合子) 5 命題論理の意味論(恒真性と充足可能性) 6 命題論理の意味論(式の同値類、式の標準形) 7 命題論理の意味論(標準化の手続き) 8 命題論理の体系(体系P入門) 9 命題論理の体系(体系P応用) 10 ワンのアルゴリズム(分解の木) 11 ワンのアルゴリズム(恒真性の判定) 12 述語論理(述語論理の記法) 13 述語論理(述語論理の式) 14 述語論理(述語論理の意味論)、演習 Class schedule 1 Introduction of this class, Mathematical preliminaries 2 Introduction of propositional logic (Formula, truth value) 3 Introduction of propositional logic (Calculus of truth value, relationship of propositional connectives) 4 Introduction of propositional logic (New propositional connectives) 5 Semantics of propositional logic (Tautology and satisfiability) 6 Semantics of propositional logic (Equivalence class of formula, normal forms of formula) 7 Semantics of propositional logic (Procedures of normal forms) 8 Formal system of propositional logic (Introduction of system P) 9 Formal system of propositional logic (Application of system P) 10 Wang's algorithm (decomposition tree) 11 Wang's algorithm (Decision of tautology) 12 Predicate logic (Syntax of predicate logic) 13 Predicate logic (Formula of predicate logic) 14 Predicate logic (Semantics of predicate logic), Exercise |
|||||||||||
| 授業の進め方 |
オンデマンドで遠隔授業を実施します．授業資料はMoodle上におきます．適宜課題提出を行い，理解度を確認します． 講義は演習を取り入れて進めます．提示された資料・テキストに基づき予習・復習を行うなど，毎回の講義に積極的に取り組む姿勢が必要です． |
|||||||||||
| 授業キーワード |
命題論理，述語論理 Propositional logic, Predicate logic 【SDGsとの関連 / SDGs】 質の高い教育をみんなに，産業と技術革新の基盤を作ろう |
|||||||||||
| テキスト（図書） | ||||||||||||
|
||||||||||||
| 参考文献（図書） | ||||||||||||
|
||||||||||||
|
||||||||||||
|
||||||||||||
|
||||||||||||
| 参考文献（その他）・授業資料等 |
Logic: An Introduction, by S. Noya, University of Tokyo Press (in Japanese). Introduction to computational logic, by H. Tanaka, Shokabo (in Japanese). 授業資料はMoodle上におきます．教科書は必ず購入してください． |
|||||||||||
| 成績評価の方法およびその基準 |
レポート（13回）の成績により達成目標の到達度を評価します． レポートの合計点が6割以上を合格とする． すべての達成目標を合格する必要があります． レポート未提出が4回以上ある場合は未修とする． Your final grade will be decided based on the following: Total score of reports should be more than 60%. 【各達成目標の評価方法と基準】 (1) レポートにより，命題論理の意味論の基本を理解してい るかを評価します. (2) レポートにより，命題論理の構文論の基本を理解してい るかを評価します. (3) レポートにより，述語論理の意味論の基本を理解してい るかを評価します. (4) レポートにより，述語論理の構文論の基本を理解してい るかを評価します. |
|||||||||||
| 履修上の注意 |
講義は演習を取り入れて進めます．提示された資料・テキストに基づき予習・復習を行うなど，毎回の講義に積極的に取り組む姿勢が必要です． |
|||||||||||
| オフィスアワー |
メールで岩見（munehiro@cis.shimane-u.ac.jp）へ質問してください． または，Moodleフォーラムを使ってください． |
|||||||||||
| ディプロマポリシーとの関係区分 | ||||||||||||
| 使用言語区分 | 日本語のみ | |||||||||||
| その他 | 履修希望者は，第1回目のオリエンテーションに必ず参加して下さい．なお，履修登録は早めに済ませて下さい． Students who will attend the lecture need to attend Introduction of this class. Students who will attend the lecture need to have the knowledge of Mathematical Foundation of Computer Science, Information Science and C Programming. この授業は島根大学 Moodle でオンデマンド授業として実施します． https://moodle.cerd.shimane-u.ac.jp/moodle_2022/course/view.php?id=2142 にアクセスし， Moodle にログイン後，登録キー（ symbolic-logic-2022 ）を入力して各自でコースに登録して下さい． 毎回のレポートは指定日までに必ず提出して下さい． 担当教員への連絡事項はMoodle 上でメッセージ送信して下さい．または，メールで連絡して下さい．コース名は論理学です． |
| 準備学修（予習・復習・宿題）に必要な学修の時間（１回の授業当たり） ／Time required for homework |
講義以外の自己学習時間として，一回の講義につき予習100分，復習100分が必要です． |
|---|---|
| 授業の実施方法 ／Types of classes |
遠隔授業（非同期型オンラインのみ）／Remote class（Asynchronous online only） |
| No. | 担当教員 | 担当教員所属 |
|---|---|---|
| 1 | 岩見 宗弘 | 総合理工学部知能情報デザイン学科 |
| 時間割所属 | 時間割コード | 授業科目名 |
|---|---|---|
| 総合理工学部 | T331502 | 記号論理学 |
| 総合理工学部 | T950262 | 記号論理学 |
| 総合理工学部 | TB50222 | 記号論理学 |