論理システム(計算機科学コース)

科目コード:90700
科目区分:専門科目(特に履修を要望)
単位数:2
講義の目的:
計算機科学の基礎である記号論理学と論理代数、および、デジタル機械の構成の基礎である論理回路について学ぶ。まず、記号論理学について、命題論理を中心に学ぶ。次に、論理代数と論理関数、および、それらの諸性質について学び、論理関数の簡単化手法を習得する。さらに、組合せ論理回路の設計と解析、およ び、順序回路とそのモデルである順序機械について学ぶ。
達成目標:
教科書:
「論理回路」高木直史著(オーム社)
成績評価の方法:
最終目標の各項目について,演習レポートと期末試験により評価する。
期末試験の成績により,総合的に8割以上の理解をもって合格とする。
評点は,期末試験の成績(約95%)に演習レポートの成績(約5%)を加味して定める。
平成29年度日(演習の解答例はPandAにアップします。)
1(4月11日):導入および数学的準備
2(4月18日):記号論理学 第2回講義資料
3(4月25日):論理代数と論理関数(1)
4(5月2日):論理代数と論理関数(2)
5(5月9日):論理関数の簡単化(1)
6(5月16日):論理関数の簡単化(2)
7(5月23日):論理関数の諸性質(1)
8(5月30日):論理関数の諸性質(2)
9(6月6日):組合せ論理回路(1)
10(6月13日):組合せ論理回路(2)
11(6月20日):順序回路と順序機械(1)
12(6月27日):順序回路と順序機械(2)
13(7月4日):順序回路と順序機械(3)
14(7月11日):順序回路と順序機械(4)
15(7月25日):期末試験
16(8月1日):期末試験解説、復習
担当:高木 直史(たかぎ なおふみ)教授
研究室:総合研究7号館3階330号室
電話: 075-753-5373
email: takagi at i.kyoto-u.ac.jp
office hour: 毎週火曜日16:30〜17:30
URL: http://www.lab3.kuis.kyoto-u.ac.jp/~ntakagi/ls.html
TA:豊島悠紀夫
研究室:総合研究7号館3階335号室
email: toyoshima at lab3.kuis.kyoto-u.ac.jp