シラバス情報
|
教員名 ： 桂田 浩一
|
科目授業名称（和文） Name of the subject/class (in Japanese)
論理数学
科目授業名称（英文） Name of the subject/class (in English)
Mathematical Logic
授業コード Class code
9963221
科目番号 Course number
63CSINS303
教員名
桂田 浩一
Instructor
Kouichi Katsurada
開講年度学期
2024年度前期
Year/Semester
2024 First Semester
曜日時限
月曜4限
Class hours
Monday 4th. Period
開講学科・専攻 Department
創域理工学部 情報計算科学科
Department of Information Sciences, Faculty of Science and Technology 単位数 Course credit
2.0単位
授業の方法 Teaching method
講義
Lecture 外国語のみの科目（使用言語） Course in only foreign languages (languages)
-
授業の主な実施形態 Main class format
① [対面]対面授業/ [On-site] On-site class
概要 Description
論理を論証のための手続きとして見るのではなく，０と１の二元からなる集合上の関数の理論としてみる立場から論理の代数的側面を解説する．
目的 Objectives
計算機科学の基礎知識として論理処理の理論と方法を理解する．
本学科のディプロマ・ポリシーにある「情報科学分野に応じた専門知識」を身に付け，「自然科学・科学技術の分野のみならず社会における多様な情報を論理的に分析し、問題の発見、さらにはその解決に貢献しうる能力」を獲得するための科目である． 到達目標 Outcomes
論理関数の定義および表現を理解し，論理式の最適化ができる．
卒業認定・学位授与の方針との関係（学部科目のみ）
リンク先の [評価項目と科目の対応一覧]から確認できます（学部対象）。
履修登録の際に参照ください。 You can check this from “Correspondence table between grading items and subjects” by following the link(for departments). https://www.tus.ac.jp/fd/ict_tusrubric/ 履修上の注意 Course notes prerequisites
事前に修得すべき科目はとくにない．
アクティブ・ラーニング科目 Teaching type（Active Learning）
-
-
準備学習・復習 Preparation and review
授業内容に応じて予習・復習を行う．各回の授業前に教科書の該当ページを2時間程度かけて読んでおくこと．授業後にも2時間程度かけて授業内容を復習すること．
成績評価方法 Performance grading policy
授業内で実施するレポート（25%程度）と到達度評価（75%程度）によって評価を行う．
学修成果の評価 Evaluation of academic achievement
・S：到達目標を十分に達成し、極めて優秀な成果を収めている
・A：到達目標を十分に達成している ・B：到達目標を達成している ・C：到達目標を最低限達成している ・D：到達目標を達成していない ・-：学修成果の評価を判断する要件を欠格している ・S：Achieved outcomes, excellent result ・A：Achieved outcomes, good result ・B：Achieved outcomes ・C：Minimally achieved outcomes ・D：Did not achieve outcomes ・-：Failed to meet even the minimal requirements for evaluation 教科書 Textbooks/Readings
教科書の使用有無（有=Y , 無=N） Textbook used(Y for yes, N for no)
Y
書誌情報 Bibliographic information
「論理数学」 大学数学 スポット・ライトシリーズ ２ （近代科学社）
MyKiTSのURL（教科書販売サイト） URL for MyKiTS(textbook sales site)
教科書および一部の参考書は、MyKiTS (教科書販売サイト) から検索・購入可能です。
https://mirai.kinokuniya.co.jp/tokyorika/ It is possible to search for and purchase textbooks and certain reference materials at MyKiTS (online textbook store). https://mirai.kinokuniya.co.jp/tokyorika/ 参考書・その他資料 Reference and other materials
なし
授業計画 Class plan
１．論理代数（１）
命題論理，真理表，ブール形式と等式の定義について理解する． ２．論理代数（２） 基本的な恒等式，双対定理について理解する． ３．論理代数（３） 論理関数の標準形について理解する． ４．論理代数（４） 論理代数方程式について理解する． ５．論理代数（５） 論理代数方程式について理解する． ６．論理関数（１） ２変数論理関数とその基本的性質について理解する． ７．論理関数（２） 論理関数族（自己双対関数，対称関数，単調関数，多数決関数等）について理解する． ８．論理関数（３） 論理関数族（自己双対関数，対称関数，単調関数，多数決関数等）について理解する． ９．論理関数（４） 完全論理関数族について理解する． 10．論理関数の簡単化（１） 最小積和形の定義について理解する． 11．論理関数の簡単化（２） カルノー図による簡単化について理解する． 12．論理関数の簡単化（３） クワィン・マクラスキー法による簡単化について理解する． 13．論理関数の簡単化（４） 共有項による簡単化について理解する． 14．論理関数の簡単化（５） 組合せ禁止の処理について理解する． 15．まとめ 授業を総括する． 授業担当者の実務経験 Work experience of the instructor of the class
-
教育用ソフトウェア Educational software
-
-
備考 Remarks
授業でのBYOD PCの利用有無 Whether or not students may use BYOD PCs in class
Y
授業での仮想PCの利用有無 Whether or not students may use a virtual PC in class
N
|
