コース情報

コンピュータや通信技術の技術革新により、社会における情報化が急速に進んでいる。コンピュータを使って数値計算や統計解析を行ったり画像や音声のデジタル信号処理を行ったりするためには、基礎的な数学の知識と理論的な思考が必要である。
本講義では、情報通信技術（ICT）の数学的な観点からの理解を深めることを目的として、情報のデジタル化と情報通信の基礎となる符号理論、コンピュータのハードウェア設計の基礎となる命題論理、ソフトウェア設計の基礎となる述語論理・オートマトン理論・形式言語理論・プログラミング言語などの基本的概念を学ぶ。