科目名 : 論理システム

科目コード 90700
配当学年 2年
開講期 前期
曜時限 金曜・2時限
講義室 総合研究8号館講義室4(旧共同6)
単位数 2
履修者制限
講義形態 講義
言語
担当教員 山下信雄・趙亮

講義概要

記号論理学の基礎について,命題論理学,述語論理学などで必要となる用語を中心に簡単にまとめる.また,ブール代数,ブール関数,ディジタル回路の基礎などを主題としてとりあげ,関連する話題について講述する.

評価方法

定期テストで評価を行う.(レポート,中間テストも適宜実施するが,そこでできなかった場合でも定期テストで挽回可能としている.)

最終目標

記号論理学,ブール代数,論理回路の基礎的事項を身につけ,計算科学の専門的学習の基盤を養う.

講義計画

項目 回数 内容説明
記号論理学 3 記号論理学全体にかかわる事項を簡単に説明する.命題論理学,述語論理学,推論などを取り上げ,さらに,論理システムの講義の位置づけを示す.
論理代数 6 論理代数について,2値ブール代数の立場から説明し,論理関数の定義,完全性等について講述する.さらに,閾値関数などいくつかの興味ある関数について説明する.
論理回路 6 論理代数の論理回路の解析,構成等に対する応用について,組み合せ論理回路に焦点を当てながら説明する.また,論理回路の解析,種々の回路の利用方法等について講述する.最後は,コンピュータシステムの基本構造の導入で締め括る.また,全般を通しての学習到達度の確認をする.

教科書

参考書

高木直史,論理回路,昭晃堂,1997
茨木俊秀,情報学のための離散数学,昭晃堂, 2004

予備知識

とくになし

授業URL

その他

当該年度の授業回数などに応じて一部省略,追加がありうる.