日本語 English
開講年度/ Academic YearAcademic Year |
20242024 |
科目設置学部/ CollegeCollege |
全学共通科目・全学共通カリキュラム(総合系)/University-wide Liberal Arts Courses (Comprehensive Courses)University-wide Liberal Arts Courses (Comprehensive Courses) |
科目コード等/ Course CodeCourse Code |
FA008/FA008FA008 |
テーマ・サブタイトル等/ 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 |
新座/NiizaNiiza |
学期/ SemesterSemester |
春学期/Spring SemesterSpring Semester |
曜日時限・教室/ DayPeriod・RoomDayPeriod・Room |
金3・N312/Fri.3・N312 Fri.3・N312 |
単位/ CreditCredit |
22 |
科目ナンバリング/ Course NumberCourse Number |
CMP2100 |
使用言語/ LanguageLanguage |
日本語/JapaneseJapanese |
履修登録方法/ Class Registration MethodClass Registration Method |
抽選他/Exceptional Lottery RegistrationExceptional Lottery Registration |
配当年次/ Grade (Year) RequiredGrade (Year) Required |
配当年次は開講学部の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 |
|
テキスト用コード/ Text CodeText Code |
FA008 |
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.
※Please refer to Japanese Page for details including evaluations, textbooks and others.
この授業の目標は、現代の論理学についての基本的な理解を得ることである。
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 |
小テストを3回行う。(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