数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト826:１３２人目の素数さん 14/08/16 22:00:28.26 大学受験生です。証明論や計算論と其の周辺や、数理論理学に興味があります。 京都大学を志望しているのですが、工学部情報学科と理学部のどちらがカリキュラムが適しているでしょうか。 827:１３２人目の素数さん 14/08/16 22:03:18.02 そういうはっきりした目的があるなら、京理は除外を考えた方が良いでしょう 828:１３２人目の素数さん 14/08/16 22:41:56.46 >>826 東日本なら東北大 西日本なら神戸大 をお奨めします 829:１３２人目の素数さん 14/08/17 00:52:15.30 まだ大学以前なんだから、大学で色々学んで 少し興味の方向が変わるということもあると思うけど 数理論理で有名なのは寧ろ神戸の http://kurt.scitec.kobe-u.ac.jp/index-jp.html このグループだと思うけどね（ただ、計算論の専門家は居ないけど） 数学じゃなくて計算機科学に重点を置くのならまた違うんだと思うけどね 830:１３２人目の素数さん 14/08/17 08:33:09.44 >>813 の強制法の解説って正確なのでしょうか？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch