日本語 English
| 開講年度/ Academic YearAcademic Year |
20242024 |
| 科目設置学部/ CollegeCollege |
全学共通科目・全学共通カリキュラム（総合系）/University-wide Liberal Arts Courses (Comprehensive Courses)University-wide Liberal Arts Courses (Comprehensive Courses) |
| 科目コード等/ Course CodeCourse Code |
FA112/FA112FA112 |
| テーマ・サブタイトル等/ Theme・SubtitleTheme・Subtitle |
論理学入門 |
| 授業形態/ Class FormatClass Format |
対面（全回対面）/Face to face (all classes are face-to-face)Face to face (all classes are face-to-face) |
| 授業形態（補足事項）/ Class Format (Supplementary Items)Class Format (Supplementary Items) |
|
| 授業形式/ Class StyleCampus |
講義/LectureLecture |
| 校地/ CampusCampus |
池袋/IkebukuroIkebukuro |
| 学期/ SemesterSemester |
秋学期/Fall semesterFall semester |
| 曜日時限・教室/ DayPeriod・RoomDayPeriod・Room |
月3/Mon.3 Mon.3 ログインして教室を表示する（Log in to view the classrooms.） |
| 単位/ CreditsCredits |
22 |
| 科目ナンバリング/ Course NumberCourse Number |
CMP2100 |
| 使用言語/ LanguageLanguage |
日本語/JapaneseJapanese |
| 履修登録方法/ Class Registration MethodClass Registration Method |
抽選他/Exceptional Lottery RegistrationExceptional Lottery Registration |
| 配当年次/ Assigned YearAssigned Year |
配当年次は開講学部のR Guideに掲載している科目表で確認してください。配当年次は開講学部のR Guideに掲載している科目表で確認してください。 |
| 先修規定/ Prerequisite RegulationsPrerequisite Regulations |
|
| 他学部履修可否/ Acceptance of Other CollegesAcceptance of Other Colleges |
|
| 履修中止可否/ Course CancellationCourse Cancellation |
〇（履修中止可/ Eligible for cancellation） |
| オンライン授業60単位制限対象科目/ Online Classes Subject to 60-Credit Upper LimitOnline Classes Subject to 60-Credit Upper Limit |
|
| 学位授与方針との関連/ Relationship with Degree PolicyRelationship with Degree Policy |
各授業科目は、学部・研究科の定める学位授与方針（DP）や教育課程編成の方針（CP）に基づき、カリキュラム上に配置されています。詳細はカリキュラム・マップで確認することができます。 |
| 備考/ NotesNotes |
The goal of this course is for students to gain a basic understanding of modern logic.
In our class, we will learn the basics of logic. You need to solve exercises. Grades are evaluated according to quizzes given during class.
| 1 | 命題論理の論理式 |
| 2 | かっこの省略 |
| 3 | 論理式の真偽(1) |
| 4 | 論理式の真偽(2) |
| 5 | 論理法則と同値変形 |
| 6 | 文の内部構造 |
| 7 | 量化子と議論領域 |
| 8 | 述語論理の論理式 |
| 9 | 否定と量化 |
| 10 | 複合式の量化 |
| 11 | 様々な文の記号化 |
| 12 | 原子式の真偽 |
| 13 | 量化式の真偽 |
| 14 | 複雑な式の真偽 |
板書 /Writing on the Board
スライド（パワーポイント等）の使用 /Slides (PowerPoint, etc.)
上記以外の視聴覚教材の使用 /Audiovisual Materials Other than Those Listed Above
個人発表 /Individual Presentations
グループ発表 /Group Presentations
ディスカッション・ディベート /Discussion/Debate
実技・実習・実験 /Practicum/Experiments/Practical Training
学内の教室外施設の利用 /Use of On-Campus Facilities Outside the Classroom
校外実習・フィールドワーク /Field Work
上記いずれも用いない予定 /None of the above
授業中に解いた練習問題を解きなおして、復習をしておくこと。
| 種類 (Kind) | 割合 (%) | 基準 (Criteria) |
|---|---|---|
| 平常点 (In-class Points) | 100 |
小テストを３回行う(100%) |
| 備考 (Notes) | ||
なし/None
| No | 著者名 (Author/Editor) | 書籍名 (Title) | 出版社 (Publisher) | 出版年 (Date) | ISBN/ISSN |
|---|---|---|---|---|---|
| 1 | 戸次大介 | 『数理論理学』 | 東京大学出版会 | 2012 | 9784130629157 |
| 2 | 鹿島亮 | 『数理論理学』 | 朝倉書店 | 2009 | 9784254117653 |
| 3 | 林晋 | 『数理論理学』 | コロナ社 | 1989 | 9784339025361 |
| 4 | 福山克 | 『数理論理学』 | 培風館 | 1980 | 456300426 |
| 5 | 松本和夫 | 『数理論理学』 | 共立出版 | 2001 | 9784320016828 |
| 6 | 田中一之 | 『数学基礎論講義』 | 日本評論社 | 1997 | 9784535782419 |
| 7 | 新井敏康 | 『数学基礎論』 | 岩波書店 | 2011 | 9784000055369 |
2016年度以降入学者：多彩な学び
2015年度以前入学者：主題別A
この授業の目標は、現代の論理学についての基本的な理解を得ることである。
The goal of this course is for students to gain a basic understanding of modern logic.
授業では論理学の基本事項を学んでいきます。理解を深めるため、例題を説明したあとで練習問題を解いてもらいます。成績は授業中に行う小テストによって評価します。
In our class, we will learn the basics of logic. You need to solve exercises. Grades are evaluated according to quizzes given during class.
| 1 | 命題論理の論理式 |
| 2 | かっこの省略 |
| 3 | 論理式の真偽(1) |
| 4 | 論理式の真偽(2) |
| 5 | 論理法則と同値変形 |
| 6 | 文の内部構造 |
| 7 | 量化子と議論領域 |
| 8 | 述語論理の論理式 |
| 9 | 否定と量化 |
| 10 | 複合式の量化 |
| 11 | 様々な文の記号化 |
| 12 | 原子式の真偽 |
| 13 | 量化式の真偽 |
| 14 | 複雑な式の真偽 |
板書 /Writing on the Board
スライド（パワーポイント等）の使用 /Slides (PowerPoint, etc.)
上記以外の視聴覚教材の使用 /Audiovisual Materials Other than Those Listed Above
個人発表 /Individual Presentations
グループ発表 /Group Presentations
ディスカッション・ディベート /Discussion/Debate
実技・実習・実験 /Practicum/Experiments/Practical Training
学内の教室外施設の利用 /Use of On-Campus Facilities Outside the Classroom
校外実習・フィールドワーク /Field Work
上記いずれも用いない予定 /None of the above
授業中に解いた練習問題を解きなおして、復習をしておくこと。
| 種類 (Kind) | 割合 (%) | 基準 (Criteria) |
|---|---|---|
| 平常点 (In-class Points) | 100 |
小テストを３回行う(100%) |
| 備考 (Notes) | ||
なし/None
| No | 著者名 (Author/Editor) | 書籍名 (Title) | 出版社 (Publisher) | 出版年 (Date) | ISBN/ISSN |
|---|---|---|---|---|---|
| 1 | 戸次大介 | 『数理論理学』 | 東京大学出版会 | 2012 | 9784130629157 |
| 2 | 鹿島亮 | 『数理論理学』 | 朝倉書店 | 2009 | 9784254117653 |
| 3 | 林晋 | 『数理論理学』 | コロナ社 | 1989 | 9784339025361 |
| 4 | 福山克 | 『数理論理学』 | 培風館 | 1980 | 456300426 |
| 5 | 松本和夫 | 『数理論理学』 | 共立出版 | 2001 | 9784320016828 |
| 6 | 田中一之 | 『数学基礎論講義』 | 日本評論社 | 1997 | 9784535782419 |
| 7 | 新井敏康 | 『数学基礎論』 | 岩波書店 | 2011 | 9784000055369 |
2016年度以降入学者：多彩な学び
2015年度以前入学者：主題別A