論理システム（計算機科学コース）

科目コード：90700
科目区分：専門科目（特に履修を要望）
単位数：２
講義の目的：
計算機科学の基礎である記号論理学と論理代数、および、デジタル機械の構成の基礎である論理回路について学ぶ。まず、記号論理学について、命題論理を中心に学ぶ。次に、論理代数と論理関数、および、それらの諸性質について学び、論理関数の簡単化手法を習得する。さらに、組合せ論理回路の設計と解析、および、順序回路とそのモデルである順序機械について学ぶ。
達成目標：
教科書：
「論理回路」高木直史著（オーム社）
成績評価の方法：
最終目標の各項目について，演習レポートと期末試験により評価する。
期末試験の成績により，総合的に８割以上の理解をもって合格とする。
評点は，期末試験の成績（約90％）に演習レポートの成績（約10％）を加味して定める。
2023年度日程
１（４月12日）：導入および数学的準備(1)
２（４月19日）：数学的準備(2)、記号論理学
３（４月26日）：論理代数と論理関数（１）
４（５月10日）：論理代数と論理関数（２）
５（５月17日）：論理関数の簡単化（１）
６（５月24日）：論理関数の簡単化（２）
７（５月31日）：論理関数の諸性質（１）
８（６月７日）：論理関数の諸性質（２）
９（６月14日）：組合せ論理回路（１）
10（６月21日）：組合せ論理回路（２）
11（６月28日）：順序回路と順序機械（１）
12（７月５日）：順序回路と順序機械（２）
13（７月12日）：順序回路と順序機械（３）
14（７月19日）：順序回路と順序機械（４）
15（７月26日）：期末試験
16（８月２日）：期末試験解説、復習
担当：高木 直史（たかぎ なおふみ）教授
研究室：総合研究７号館３階３３０号室
電話： 075-753-5373
email: takagi at i.kyoto-u.ac.jp
office hour: 毎週水曜日12:15〜13:00
URL: http://www.lab3.kuis.kyoto-u.ac.jp/~ntakagi/ls.html
ＴＡ：織田雅史
研究室：総合研究７号館３階３３５号室
email: oda at lab3.kuis.kyoto-u.ac.jp