開講年度2016
科目名数学Ⅱ
(全)開講学科商学科 2013年度以降入学
商学科 2007-2012入学
ビジネス情報学科
経営学科 2013年度以降入学
経営学科 2007-2012年度入学
現代企業学科 2008年度以降入学
経済学科 2013年度以降入学
開講種別秋学期
対象学年1年
担当者久馬 栄道
単位数2
曜日・時限秋学期 金曜日 2時限
キャンパス名城公園キャンパス


サブタイトル
数理論理学は脳トレです
科目のねらい
 数学は自然科学の女王であり、論理的思考の原点です。数学を勉強することは、問題解決のための論理的方法が身につくことに役立ちます。
到達目標
 20世紀に入り数学は大きな変化を遂げ、それまでとは全く異なる観点から数学自身が語られるようになりました。そのような流れの中で、「集合」や「論理」など今までとはとうてい数学の対象として考えられないものまで扱われるようになり、ゲーデルの不完全性定理のように、多くの実りある結果も得られました。
 数学IIでは、現在数学基礎論の重要な応用であるコンピュータの基礎理論、人工知能の研究で用いられている概念を勉強するが、これも数学Iと同様、常識的な思考力があれば、十分ついて来る事が可能であります。
 さらに数学Ⅰ に引き続き、論理や集合を用いた思考方法で、世界情勢、世の中の仕組み、歴史などの展望も分析したいと思います。
授業の内容・
計画
1-1.無限集合
1-2.可算集合
2-1.色々なパラドックス
2-2.ラッセルのパラドックス
3.公理的方法
4.構成に関する公理
5-1.分出公理
5-2.イプシロンに関する公理
6.選択公理
7.公理的集合論
8.アルゴリズムとは
9.チューリング機械
10.帰納的関数
11.コンビネータの理論
12.不動点演算子

 なお、授業の進度等の都合により、スケジュール・内容が調整されることがあります。
評価方法
(基準等)
 毎時間、小テストを行います。
 理由なく休んだものは4点、遅刻したものは2点減点します。
 平常テストは行いません。
 小テストと平常点の合計点で成績を決めます。

 
授業外の学修
(予習・復習)
 予習・復習の必要のある学生は、各自行ってください。
教科書・
参考書
久馬栄道著『Q&A 数学基礎論入門』共立出版
参照URL
質疑応答
 日進キャンパスで質問が有る学生は、あらかじめメールでアポイントメントを取った上で、2号館5階2516まで来てください。
 両キャンパスとも、授業終了後も時間があれば質問を受けます。
備考
 必ず教科書は買うようにしてください。
画像
ファイル
更新日付2016/02/10 10:47:23