Computer Science in English B University of Tsukuba

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
Please inquire about the courses at the address below.
Contact person: Claus de Castro Aranha
Email address: caranha@cs.tsukuba.ac.jp
Link to the syllabus provided by the university