Course title
L00140002
Mathematical Logic

 SUGIMOTO Tooru
Middle-level Diploma Policy (mDP)
Program / Major mDP Goals
Computer Science and Engineering B-1 コンピュータサイエンスの数理的基礎と問題分析のスキルを身に付けることができる。
Purpose of class
Students can learn logical analysis method that is needed for designing software and hardware.
Course description
Basic definitions, properties and applications of propositional logic and first-order predicate logic are explained.
Goals and objectives
  1. To express logical conditions and information contents using propositional logic and first-order logic
  2. To understand relationship between syntax and semantics, and between proofs and models
  3. To learn basic proof methods, e.g., mathematical induction and proof by contradiction
Relationship between 'Goals and Objectives' and 'Course Outcomes'

 Short test Report Total.
1. 20% 30% 50%
2. 20% 20% 40%
3. 10% 10%
Total. 40% 60% -
Evaluation method and criteria
Short test (40%) and report (60%)
The baseline for a passing grade of 60 points is the ability to solve all practice problems assigned in class.
Language
Japanese
Class schedule

 Class schedule HW assignments (Including preparation and review of the class.) Amount of Time Required
1. Overview of mathematical logic Read syllabus 90minutes
2. Propositional logic (1) : formula, truth value table, validity Read materials 90minutes
Exercises 110minutes
3. Propositional logic (2) : logical operations, normal forms, duality Read materials 90minutes
Exercises 110minutes
4. Propositional logic (3) : formal system, natural deduction, proof diagram Read materials 90minutes
Exercises 110minutes
5. Predicate logic (1) : formula, logical structure analysis Read materials 90minutes
Exercises 110minutes
6. Predicate logic (2) : interpretation and properties of formulas Read materials 90minutes
Exercises 110minutes
7. Predicate logic (3) : natural deduction, proof techniques Read materials 90minutes
Exercises 150minutes
8.
9.
Total. - - 1330minutes
Feedback on exams, assignments, etc.
ways of feedback specific contents about "Other"
Feedback in the class
Textbooks and reference materials
R. Kashima, "Mathematical Logic", Asakura Shoten, 2009.
T. Yamada, "Mathematical Logic for Beginners", Morikita Shuppan, 2018.
Prerequisites
Discrete Mathematics 1, Logic Circuits
Office hours and How to contact professors for questions
  • Wednesday, lunch break
Regionally-oriented
Non-regionally-oriented course
Development of social and professional independence
  • Course that cultivates an ability for utilizing knowledge
  • Course that cultivates a basic problem-solving skills
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 N/A
Education related SDGs:the Sustainable Development Goals
  • 4.QUALITY EDUCATION
Last modified : Fri Mar 20 04:05:10 JST 2026