Mathematical Logic
TeachersWATANABE, Ryuji
Grade, SemesterYear 1 II/IV [Department of Information Science Correspondence Course, Faculty of Science and Engineering]
CategoryBasic Major Subjects
Classesメディア授業
Elective, CreditsRequisites 2credit
 Syllabus Number4B103

Course Description

 This course covers basic mathematics necessary in the following studies of computer science. The items are as follows: Set, mapping, relation, propositional logic, and predicate logic.
 All lessons from the first to the 15th are based on self-learning given on the LMS.
 This subject is related to the clause 1 of the diploma policy of the Department of Information Science Correspondence Course.
 

Course Objectives

 This course aims to improve the basic knowledge of mathematics for computer scientists and engineers and to enhance students' logical thinking power by working on the practice exercises.
 

Grading Policy

 The final examination will be evaluated. The acceptance line is the rate of 60% in the final examination.
 It is required to answer all the quizzes given on the LMS and to take the rate of 60% in all the quizzes before taking the final examination.
 

Textbook and Reference

KindTitleAuthorPublisher
TextbookCourse materials are given on the LMS 
References“Fundamentals of Logic and Algebra” F.HazamaBaifukan (2003) in Japanese. (ISBN 4-563-00335-2)
References"Techniques of Logical Analyses for Information Science"
 S.TodaBaifukan (2007) in Japanese. (ISBN 987-4-563-01565-7)

Requirements(Assignments)

 Answering all the quizzes prepared on the LMS is required before taking the final examination. Also, answering the practice exercises prepared on the LMS as the homework assignments is required.
 Preparation of the sets and proposition on a high school level is highly recommended.
 

Note

 It is prohibited for students to refer the textbook and notebook in the final examination.
 

Schedule

1Set : Definition and expression of set, Operation of set
2Set : Law of operation of set, Direct product
3Set : Practice
4Mapping : Definition of mapping , Epimorphism and injection, Inverse mapping, Composite mapping
5Mapping : Practice
6Relation : Definition and expression of relation, Composition and Inverse relation, Union
7Relation : Law of relation, Equivalence relation and equivalence class, Order relation
8Relation : Practice
9Propositional logic : Definition of proposition, Truth value and propositional variables, Logical operation
10Propositional logic : Propositional logical expression, Law of logical operation
11Propositional logic : Inference, Proof and technique of proof
12Propositional logic : Practice
13Predicate logic : Predicate logic, Predicate, F unction
14Predicate logic : Quantifier, Predicate logical expression, Law of predicate logical operation
15Predicate logic : Practice