Course title
L09808002
Mathematical Logic

 SUGIMOTO Tooru Click to show questionnaire result at 2019
Course description
Basic definitions, properties and applications of propositional logic and first-order predicate logic are explained.
Purpose of class
Students can learn logical analysis method that is needed for designing software and hardware.
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
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 Textbook 1.1-1.3 90minutes
Exercises 110minutes
3. Propositional logic (2) : logical operations, duality, normal forms Textbook 1.4-1.5 90minutes
Exercises 110minutes
4. Propositional logic (3) : formal system, natural deduction Textbook 6.1-6.3 90minutes
Exercises 110minutes
5. Predicate logic (1) : formula, logical structure analysis Textbook 2.1 and 2.2 90minutes
Exercises 110minutes
6. Predicate logic (2) : interpretation and properties of formulas Textbook 2.3 and 2.4 90minutes
Exercises 110minutes
7. Final report and comments Review all 240minutes
8.
9.
Total. - - 1330minutes
Relationship between 'Goals and Objectives' and 'Course Outcomes'

 Short test Report Total.
1. 20% 40% 60%
2. 10% 20% 30%
3. 10% 10%
Total. 30% 70% -
Evaluation method and criteria
Short test (30%) and report (70%)
Feedback on exams, assignments, etc.
ways of feedback specific contents about "Other"
Feedback in the class
Textbooks and reference materials
H. Ono, "Logic in Information Science", Nihon Hyoronsha, 1994.
Prerequisites
Discrete Mathematics 1, Logic Circuits
Office hours and How to contact professors for questions
  • Monday, 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 : Sat Sep 09 07:19:51 JST 2023