Computer Science in English B University of Tsukuba
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.
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.
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.
Lectures and Class Exercises
Online Course Requirement
Aranha, Claus,Ye Xiucai
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: email@example.com
Link to the syllabus provided by the university