忍者ブログ
今期、以下の論理学/数学の哲学関連の授業が開講されるようです。
  • 計算機科学のための圏論
  • 論理学の哲学
  • 数学の基礎(集合論/数理論理学/圏論の初歩)
  • 証明論
「論理学の哲学」と「数学の基礎」は学部向けの授業なのでとりあえずパスするとして、「計算機科学のための圏論」と「証明論」はよゆうがあれば受けたいなあと思っています(圏論は、これまで趣味的にあれやこれやつまみ食いはしてきたけど、体系的に勉強したわけではないので初歩的な定理の証明もすらすらできないレベルだと思われるし、それに、博論の一部に圏論が関係してくるので。証明論は、これまたつまみ食いはしてきたけど体系的に勉強したことがないということと、あと、師匠の授業なので)。

ただ、今期は、博論執筆にさらに追われるであろうことに加え、モデル理論の勉強会にも参加する予定なので、「よゆう」があるかどうか、はなはだあやしいのですが。

※「計算機科学のための圏論」は、ガロア理論のグロタンディーク的取り扱いがおもなトピックになるとのこと。めちゃくちゃ気になる……。

※※ というか、ガロア理論のグロタンディーク的取り扱いって、計算機科学にそこまでかかわりがあるのだろうか。
PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
カレンダー
04 2017/05 06
S M T W T F S
1 2 3 4 5 6
8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]