コンテンツに飛ぶ | ナビゲーションに飛ぶ

  • 日本語
  • English
セクション
 
現在位置: ホーム シラバス集(2019年度) 工学部 情報学科 論理システム(数理)

論理システム(数理)

ナンバリング
  • U-ENG29 29070 LJ11
  • U-ENG29 29070 LJ10
  • U-ENG29 29070 LJ55
シラバスID tech_1754
開講年度・開講期 前期
授業形態 講義
対象学生 Undergraduate
使用言語 日本語
曜時限 水3
教員
  • 山下 信雄(情報学研究科)
授業の概要・目的 記号論理学の基礎について,命題論理学,述語論理学などで必要となる用語を中心に簡単にまとめる.また,ブール代数,ブール関数,ディジタル回路の基礎などを主題としてとりあげ,関連する話題について講述する.
到達目標 記号論理学,ブール代数,論理回路の基礎的事項を身につけ,計算科学の専門的学習の基盤を養う.
授業計画と内容 記号論理学,3回,記号論理学全体にかかわる事項を簡単に説明する.命題論理学,述語論理学などを取り上げ,さらに,論理システムの講義の位置づけを示す.
論理代数,7回,論理代数について,2値ブール代数の立場から説明し,論理関数の定義,完全性等について講述する.さらに,閾値関数などいくつかの興味ある関数について説明する.
論理回路,5回,論理代数の論理回路の解析,構成等に対する応用について,組み合せ論理回路に焦点を当てながら説明する.また,論理回路の解析,種々の回路の利用方法等について講述する.最後は,コンピュータシステムの基本構造の導入で締め括る.また,全般を通しての学習到達度の確認をする.
成績評価の方法・観点及び達成度 定期テストで評価を行う.(レポート,中間テストも適宜実施するが,そこでできなかった場合でも定期テストで挽回可能としている.)
履修要件 特になし
授業外学習(予習・復習)等 予習は特に必要ないが,復習はきちんとすること.
特に授業において指示する課題については,必ず行い,理解すること.
参考書等
  • 小倉久和・高濱徹行,情報の論理数学入門,近代科学社,1991 isbn{}{4764901803} 高木直史,論理回路,昭晃堂,1997 isbn{}{4785621508} isbn{}{9784274215995} 茨木俊秀,情報学のための離散数学,昭晃堂, 2004 isbn{}{4785631457}