15-496/15-859X: Computer Science Theory for the Information Age, Spring 2012 Instructors: Venkatesan Guruswami and Ravi Kannan Time: Tuesdays & Thursdays, 1:30-2:50 PM, WEH 5421. (First lecture on January 17, 2012) Office hours: Venkat: Tuesdays, 4:30-5:30pm Yuan: Wednesdays, 4:30-5:30pm Course material The course will be based on a draft of an upcoming book by John Hopcroft and Ravi Kannan. Chapt
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫,「数理論理学(命題論理と述語論理)」.[PDF] 嘉田勝,「数理論理学 講義ノート(2013年度版)」. St
This article is part of my new book Rediscovering Mathematics, now in paperback! How to Read Mathematics by Shai Simonson and Fernando Gouvea Mathematics is “a language that can neither be read nor understood without initiation.” 1 A reading protocol is a set of strategies that a reader must use in order to benefit fully from reading the text. Poetry calls for a different set of strategies than fi
はじめに 大野です。今回は数学に関する情報入手方法について、自分が知っている範囲でお話をしようと思います。特に4月に大学や大学院に入学した方や、数学の勉強を始めたいけれど何から始めればよいかわからないという方などを想定して紹介していこうと思います。 数学に限らないかもしれませんが、勉強をしようとすると解決すべき問題が色々と生じます。 そもそも文献(本・講義録・雑誌)はどこにあるのか 文献はあるけれど、どれから調査・勉強を始めればよいか 勉強を始めたけれどわからなすぎる。誰かに質問したいけれどどこで聞けば良いのだろうか 以下では大体この流れに沿って情報源などを紹介していこうと思います。 文献を探す 本 図書館 私の地域の公共図書館は比較的数学の本が充実しており、数学の本もよく借りています。どの分野でも専門書は通常の本よりも高額で、購入するのに躊躇するかもしれません。ですので、まず試しに図書館
Your language? Dec, 2018 Sun Mon Tue Wed Thu Fri Sat 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Algebraic Topology: A guide to literature この サイト の 目 的 使 用 上 の 注 意 目 次 基 本 文 献 の 探 し 方 使 い 方 ホモロジ ー と コホモロジ ー ホモトピ ー 群 と ホモトピ ー 集 合 各 種 空 間 と 空 間 に 対 する 操 作 様 々 な 写 像 トポロジ ー の 歴 史 重 要 な 道 具 や 概 念 圏 と 関 手 スペクトル 系 列 代 数 的 な 道 具 コホモロジ ー 作 用 素 の 理論 K 理論 コボルデ ィ ズム と 関
Note: The Geometry Center is now closed. Read about the details here. WebEQ is a suite of Java programs for putting math on the web using MathML. Includes an equation editor, tex translator, and Java APIs. Science comes alive at ScienceU! Create beautiful symmetries, manipulate 3D solids, explore a virtual Solar System, and much, much more in this brand new site.. Do not miss it!
確率統計を学ぶにあたって 金谷健一 岡山大学工学部情報系学科 1 確率統計は大学の一番難しい科目? 私の知っている人で(中には大学の理科系の先生もいる),確率統計は習ったがよく分からない という人が多い.私自身もそうであった.大学で確率統計を習ったが(私の場合は 3 年次であっ た),まったく分からなかった.期末試験のためにいろいろな本を読んだが,どうしても理解でき ない.個々の例題の計算の仕方の説明を読めば,そのやり方は分かるし,導出も書いてあるので, そのようになるのだということに疑いは起きない.しかし,どうしても「分かった」という気に ならない.自分の頭で考えることができない.そのため覚えらないのである. 大学に入ると難しい科目をいろいろ学ぶ.特に 1 年次の解析学(微分積分学)と線形代数学(ベ クトルと行列)を学んだときは,あまりに抽象的な記述に愕然とした記憶がある.しかし,その
This is a collection of movie clips in which Mathematics appears (now about 430). It started during spring break 2006 (now 18 years ago). The site has changed in 2010 from Flash to HTML5 video. Direct video links allow a teacher to grab and include a clip, for example into a presentation. Since the formats used from 2006 to 2010 were small scale movies (bandwidth has still been an issue at that ti
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く