| サブタイトル | | |
|
授業の概要
（目標） | | ２０世紀に入り数学は大きな変化を遂げ、それまでとは全く異なる観点から数学自身が語られるようになりました。そのような流れの中で、「集合」や「論理」など今までとはとうてい数学の対象として考えられないものまで扱われるようになり、ゲーデルの不完全性定理のように、多くの実りある結果も得られました。
数学IIでは、現在数学基礎論の重要な応用であるコンピュータの基礎理論、人工知能の研究で用いられている概念を勉強するが、これも数学Iと同様、常識的な思考力があれば、十分ついて来る事が可能であります。
さらに数学Ⅰ に引き続き、論理や集合を用いた思考方法で、世界情勢、世の中の仕組み、歴史などの展望も分析したいと思います。 |
|
|
授業の内容・
スケジュール | | １－１．無限集合
１－２．可算集合
２－１．色々なパラドックス
２－２．ラッセルのパラドックス
３．公理的方法
４．構成に関する公理
５－１．分出公理
５－２．イプシロンに関する公理
６．選択公理
７．公理的集合論
８．アルゴリズムとは
９．チューリング機械
１０．帰納的関数
１１．コンビネータの理論
１２．不動点演算子
なお、授業の進度等の都合により、スケジュール・内容が調整されることがあります。 |
|
|
評価方法
（基準等） | | 毎時間、小テストを行う。
理由なく休んだものは４点、遅刻したものは２点減点する。
平常テストは行わない。
小テストの合計点で成績を決める。
|
|
|
テキスト・
参考文献 | | |
|
参照ホーム
ページ | | |
|
| 備考 | | 必ず教科書は買うようにしてください。
名城公園キャンパスでは１回目の授業で人数調整を行う場合があり、日進キャンパスでも２回目の授業から席を固定するので、どちらも１回目の授業には、必ず出席するようにしてください。出席出来ない学生は、必ず連絡するようにしてください。
質問が有る学生は、あらかじめメール（メール・アドレスは、授業中に教えます）でアポイントメントを取ってください。 |
|
|
| 画像 | | |
|
| ファイル | | |
|
| 更新日付 | | 2014/08/15 11:32:56 |