Mathematics for Computer Science

  [ GB13604 ]
Mathematics for Computer Science
対象:3学年 開設学期:秋AB 曜日・時限:水5・6 単位数:2単位
担当教員:アランニャ, クラウス

概要

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 class is to show how to use "mathematical thinking" to solve practical problems. 純粋数学理論だけではなくて、数学的考え方と常識を合わせて実際的問題を解く。

キーワード

形式論理学, 帰納法, 集合と関係, 順列と組み合わせ, 離散的確率.

Keywords

formal logic, induction, sets and relations, permutations and combinations, counting principles, discrete probability.

時間割

講義内容/理解すべき項目
第1Logic
第2Sets and Proofs
第3Induction
第4Number Theory
第5Graph Theory
第6Counting
第7Recurrences
第8Generating Functions
第9Probability
第10Conditional Probability and Independence

教材

Lecture notes and other materials will be distributed in the class and available online after each class.

参考書籍

MIT Open Courseware Reading "Mathematics for Computer Science" available online at:

Mathematics for Computer Science - As taught at MIT in: Fall 2010

or

Mathematics for Computer Science - As taught at MIT in: Fall 2005

予備知識・前提条件

You should understand basic calculus and elementary matrix algebra. The class is taught in English.

成績評価

The grade will be computed from homeworks, quizzes, and a written examination.

教員メールアドレス

Aranha: caranha@cs.tsukuba.ac.jp

オフィスアワー

Claus Aranha: by appointment.

備考

Schedule and topics may change slightly according to time available, students' interests and class size.

The course was prepared based on MIT Open Courseware:

Tom Leighton and Marten van Dijk, Mathematics for Computer Science - As taught in: Fall 2010, 6.042J / 18.062J. (Massachusetts Institute of Technology: MIT OpenCouseWare), http://ocw.mit.edu (Accessed February 2, 2012). License: Creative Commons BY-NC-SA

Ronitt Rubinfeld and Albert R. Meyer, Mathematics for Computer Science - As taught in: Fall 2005, 6.042J / 18.062J. (Massachusetts Institute of Technology: MIT OpenCouseWare), http://ocw.mit.edu (Accessed February 2, 2012). License: Creative Commons BY-NC-SA