2020 Foundations of Computing 1

Font size  SML

Register update notification mail Add to favorite lecture list
Academic unit or major
School of Computing
Instructor(s)
Inoue Nakamasa 
Course component(s)
Lecture
Day/Period(Room No.)
Fri5-6(W933)  
Group
-
Course number
XCO.B101
Credits
1
Academic year
2020
Offered quarter
2Q
Syllabus updated
2020/4/27
Lecture notes updated
-
Language used
Japanese
Access Index

Course description and aims

This course covers the fundamentals of mathematical concepts, notations, and logic which are required in computer science.
This course facilitates students' development in an abstract and logical way of thinking.

Student learning outcomes

At the end of this course, students will be able to explain the concept of set, mapping, relation, and infinity, and acquire the ability to express them.

Keywords

Set, Mapping, Relation, Infinity

Competencies that will be developed

Intercultural skills Communication skills Specialist skills Critical thinking skills Practical and/or problem-solving skills

Class flow

Before coming to class, students should read the course schedule and check what topics will be covered. Required learning should be completed outside of the classroom for preparation and review purposes.

Course schedule/Required learning

  Course schedule Required learning
Class 1 Set: Basic Concepts and Notations Peruse chapter 1 of the course textbook before coming to class.
Class 2 Mapping: Basic Concepts and Notations Peruse chapter 2 of the course textbook before coming to class.
Class 3 Relation 1: Basic Concepts and Notations Peruse chapter 3.1 and 3.2 of the course textbook before coming to class.
Class 4 Relation 2: Various Types of Relations Peruse chapter 3.3 of the course textbook before coming to class.
Class 5 Infinity 1: Infinite Set and Cardinality Peruse chapter 4.1 and 4.2 of the course textbook before coming to class.
Class 6 Infinity 2: Countable and Uncountable Peruse chapter 4.3 of the course textbook before coming to class.
Class 7 Exercise problems Review the course contents. Use the exercise problems to better understand the topics covered, and evaluate one's own progress.

Textbook(s)

Mathematical Foundation for Computer Science, Taisuke Sato, Atsushi Takahashi, Toshiya Itoh, Shuichi Ueno, Ohmsha. 2014,ISBN 978-4-274-21610-7

Reference books, course materials, etc.

A Basis for Theoretical Computer Science, M.Arbib, A.Kfoury, R.Moll,, Springer-Verlag New York Inc., 1981

Assessment criteria and methods

Students will be assessed on their understanding of the concepts of set, mapping, relation, and infinity, and their abiilty to express them. Students' course scores are based on the final examination and the participation to the lecture.
The participation to the lecture will be assessed on exercise problems during class etc.

Related courses

  • XCO.B102 : Foundations of Computing 2

Prerequisites (i.e., required knowledge, skills, courses, etc.)

No prerequisites

Page Top