Course title
401269001
Sets and Logic
Course description
Sets and logic are the foundations of mathematics and thus of engineering and other fields.
In the first half of this class, students learn the basic concepts of set and logic. The latter half deals with logic.
Purpose of class
The purpose of this class is to understand the basic concepts of sets and logic.
Goals and objectives
1. To be able to understand basics of set, and solve problems.
2. To be able to understand basics of logic, and solve problems.
3. To be able to understand logic, and solve problems.
Language
Japanese
Class schedule

Class schedule HW assignments (Including preparation and review of the class.) Amount of Time Required
1. Set and map Read through the handouts before class. Review after class. 190minutes
2. Proposition Read through the handouts before class. Review after class. 190minutes
3. Functional completeness Read through the handouts before class. Review after class. 190minutes
4. Logic circuit Read through the handouts before class. Review after class. 190minutes
5. Predicate and quantifier Read through the handouts before class. Review after class. 190minutes
6. Mathematical argument Read through the handouts before class. Review after class. 190minutes
7. Supplement and exercises Review the content up to this point. 190minutes
8. Midterm examination and its explanation Preparation of midterm examination. 190minutes
9. Mathematical logic 1 Read through the handouts before class. Review after class. 190minutes
10. Mathematical logic 2 Read through the handouts before class. Review after class. 190minutes
11. Mathematical logic 3 Read through the handouts before class. Review after class. 190minutes
12. Mathematical logic 4 Read through the handouts before class. Review after class. 190minutes
13. Mathematical logic 5 Review the content up to this point. 190minutes
14. Final examination and its explanation Preparation of final examination. 190minutes
Total. - - 2660minutes
Relationship between 'Goals and Objectives' and 'Course Outcomes'

Midterm examination Final examination Reports and little examinations Total.
1. 3% 5% 8%
2. 17% 25% 42%
3. 20% 30% 50%
Total. 20% 20% 60% -
Evaluation method and criteria
Midterm examination(20%), Final examination(20%), Reports and Little examinations(60%)
60% if students can understand and solve exercises in the handouts
Textbooks and reference materials
Handouts are provided

Reference materials:

はじめての数理論理学、山田俊行、森北出版

デザイン・コンピューティング入門、日本建築学会編、コロナ社
Prerequisites
Review high school mathematical contents
Office hours and How to contact professors for questions
• 30 minutes after class
Regionally-oriented
Non-regionally-oriented course
Development of social and professional independence
• Course that cultivates an ability for utilizing knowledge
Active-learning course
More than one class is interactive
Course by professor with work experience
Work experience Work experience and relevance to the course content if applicable
N/A 該当しない
Education related SDGs:the Sustainable Development Goals
• 9.INDUSTRY, INNOVATION AND INFRASTRUCTURE