Course Overview

The course provides an introduction to elementary concepts of mathematics for computer science. Topics include: formal logic notation, induction, sets and relations, permutations and combinations, counting principles, discrete probability.

Learning Achievement

The goal of this course is to provide the student with a wide groundwork of mathematical concepts. This course focus on mathematical topics that are useful to understand computer science theory. In particular, this course focus on teaching techniques for proving theorems in different mathematical fields that are related to computer sciences. This course is fully in English.

Competence

・汎用コンピテンス
1. コミュニケーション能力
・専門コンピテンス
1. 情報科学を支える基礎知識
5. グローバルな視野とコミュニケーション能力

Course prerequisites

Grading Philosophy

Every week the student has to submit an exercise sheet in English on manaba. The deadline is one week. The final examination cover the entire course, and will be online in 2021. The final grade is composed of the average grade of the exercise sheets (70%) and the final exam (30%). NOTE: The weight of the final exam in 2021 is lower than in regular years because of the online exam.

Course schedule

Course type

Lectures and Class Exercises

Online Course Requirement

Instructor

Aranha, Claus,Ye Xiucai

Other information

2020年度までに開設された「Mathematics for Computer Science」(GB13604)の単位を修得した者の履修は認めない。
Lecture is conducted in English.
Hybrid or Others This course covers topics that are similar to "Programming Challenges" (GB21802) from a more theoretical point of view.

Site for Inquiry