| Course Name | Year | Term | Period | Faculty / Graduate School | All Instructors | Credits |
|---|---|---|---|---|---|---|
| 30089:Logic and Thinking (E) | 2022 | Fall | Mon2 | College Of Economics,College of Sport and Health Science (tentative name) | YAMAGUCHI SHO | 2 |
Campus
Class Venue
Language
Course Outline and Method
Student Attainment Objectives
・論理と計算の関係を理解し、数論的な課題を解決するプログラムを作成することができる。
Recommended Preparatory Course
Course Schedule
| Lecture/Instructor（When there are multiple instructors) | Theme |
|---|---|
| Keyword, References and Supplementary Information | |
| 1 | 講義への導入と概要 |
論証の妥当性の基準の探究としての論理学 |
|
| 2 | 論理学の基礎（１） |
「ならば」の用法について |
|
| 3 | 論理学の基礎（２） |
量化について |
|
| 4 | 命題論理の意味論（１） |
意味論的妥当性 |
|
| 5 | 命題論理の意味論（２） |
トートロジー |
|
| 6 | 命題論理の意味論（３） |
意味論的妥当性とトートロジーの関係 |
|
| 7 | 命題論理の意味論（４） |
代入の法則（１） |
|
| 8 | 命題論理の意味論（５） |
代入の法則（２） |
|
| 9 | 命題論理の構文論（１） |
自然推論の体系の導入 |
|
| 10 | 命題論理の構文論（２） |
公理系（１） |
|
| 11 | 命題論理の構文論（３） |
公理系（２） |
|
| 12 | メタ理論（１） |
健全性定理 |
|
| 13 | メタ理論（２） |
完全性定理（１） |
|
| 14 | メタ理論（３） |
完全性定理（２） |
|
| 15 | 総括講義 |
到達目標の確認 |
Class Format
【BCPレベル1～2の場合】
・第1回をWEB（ライブorオンデマンド）で、第2回～第15回を対面にて実施。
【BCPレベル3～4の場合】
・第1回～第15回をＷＥＢ（ライブorオンデマンド）にて実施。
Recommendations for Private Study
Grade Evaluation Method
| Kind | Percentage | Grading Criteria etc. |
|---|---|---|
| Final Examination (Written) | 100 | 定期試験を実施し、講義内容全体の理解を確認し、それを評価する。 |
| Report Examination (A report to be submitted by the unified deadline) |
||
| Exams and/or Reports other than those stated above, and Continuous Assessment (Evaluation of Everyday Performance in Class) |
Grade Evaluation Method （Note）
12月までに定期試験の中止が決定した場合は、レポート試験で評価する。
1月以降に定期試験の中止が決定した場合は、レポート課題（平常点）で評価する。
なお、「新型コロナに関わる定期試験配慮」等の申請が受理された学生には、定期試験の代わりにレポートを課す。
Advice to Students on Study and Research Methods
Textbooks
Textbooks （Frequency of Use, Note）
Reference Books
| Title | Author | Publisher | ISBN Code | Comment |
|---|---|---|---|---|
| 学んでみよう！記号論理 | 高崎 金久 | 日本評論社 | 978-4-535-78760-5 | |
| いかにして推理するかいかにして証明するか | 内井 惣七 | ミネルヴァ書房 | 3010-50703-8028 |
Reference Books （Frequency of Use, Note）
Web Pages for Reference
How to Communicate with the Instructor In and Out of Class(Including Instructor Contact Information)
Other Comments
URL:http://www.ritsumei.ac.jp//students/pathways-future/course/curriculum.html