The Importance of Mathematics for Computer Science

(情報テクノロジーでの数学の役割と重要性)

Discrete Mathematics I

(情報数学 I)

1st lecture, September 18, 2015

http://www.sw.it.aoyama.ac.jp/2015/Math1/lecture1.html

Martin J. Dürst

(テュールスト マーティン ヤコブ)

duerst@it.aoyama.ac.jp

Building O, Room 529

 

AGU

© 2005-15 Martin J. Dürst 青山学院大学

Today's Schedule

 

自己紹介

Teaching Assistant: Masato Sasaki (佐々木 柾人)

 

授業の位置づけ (2012年入学まで)

 

授業の位置づけ (2013年入学以降)

 

英語の大切さ

 

授業の進め方

 

Glossary

 

Video Recording

 

Method of Evaluation

 

Schedule

Schedule of Discrete Mathematics I

Book list

 

情報数学の概要

 

Examples of Relationship between
Mathematics and Information Technology

 

Discrete Mathematic I and II

 

数学の考え方

 

言語としての数学

 

情報テクノロジーに必要な言語

(合計四つ)

 

英語の勉強の仕方

 

How to Study English

 

Simple Arithmetic in English

Addition: Two plus two is four.

Subtraction: Twelve minus five equals seven.

Multiplication: Fifteen times two is thirty.

Division: Two hundred divided by five is forty.

(see http://en.wikipedia.org/wiki/English_numerals)

 

Registration with Moodle

Moodle is an open-source electronic learning support system.

We will use Moodle in this course.

Today, we will learn how to:

 

How to Create a New Account

 

Account Creation Details

Select "Create my new account" when you filled in all items.

After some time, you will receive a confirmation email.

Click on the link in the confirmation email to confirm your account creation.

If you don't get an email soon, then check your spam/junk folder.

If you still can't find the confirmation email, then send me mail or visit my office.

Account Creation: Caution

 

Course Enrollment (everybody!)

After logging in, select "Discrete Mathematics I"

Enter the enrollment key:

Attention: Both Moodle course enrollment and course registration are necessary for successful course completion.

Attention: Repeaters also have to enroll in the course.

Attention: The deadline for course enrollment is September 23. But better enroll today.

 

This Week's Homework

 

次回までの宿題

 

Glossary

technical term
専門用語
probability theory
確率論
information transmission
情報通信
natural language processing
自然言語処理
fourier analysis
フーリエ解析
image processing
画像処理
sound processing
音声処理
representations of numbers
数の表現
modular arithmetic
合同算術
logic
論理
Boolean formulæ
論理式
Boolean function
論理関数
propositional logic
命題論理
predicate logic
述語論理
set
集合
relation
関係
proof methods
証明の仕方、証明方法
information theory
情報理論
graph theory
グラフ理論
linear algebra
線形代数
geometry
幾何学
topology
位相幾何学
computer graphics
コンピュータグラフィクス
robotics
ロボット工学
(formal) language theory
(形式) 言語理論
programming language
プログラム言語
compiler
コンパイラ
number theory
整数論
cryptography
暗号学
registration
登録
enrollment
(履修) 登録
electronic learning support system
電子学習支援システム
repeater
再履修者
digit
spam/junk
迷惑メール
deadline
締切
decimal (number representation)
十進法
binary (number representation)
二進法
n-ary (number representation)
n進法
textbook
教科書
reference book
参考書