The Importance of Mathematics for Computer Science

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

Discrete Mathematics I

(情報数学 I)

1st lecture, September 19, 2014

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

Martin J. Dürst

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

duerst@it.aoyama.ac.jp

Building O, Room 529

 

AGU

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

Today's Schedule

自己紹介

Teaching Assistant: Kimihito Matsui (松井 仁人)

授業の位置づけ (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 please check your spam/junk folder

If you still can't find the confirmation email, then please 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 preconditions to completing the course successfully

Attention: Repeaters also have to enroll in the course

Attention: The deadline for course enrollment is September 25. 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
参考書