[B! 数学] hackedのブックマーク

オンラインで入手できる数理論理学・数学基礎論のテキスト

オンラインで入手できる数理論理学・数学基礎論のテキスト数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。入門的概説論理一般高階論理と型理論直観主義論理コンビネータとラムダ計算時相論理および時制論理様相論理適切さの論理自然言語の論理空間論理モデル理論安定性理論無限論理計算可能性理論および再帰理論集合論 pcf理論記述集合論実数の集合論選択公理強制法と内部モデル連続体仮説 NF 証明論と構成的数学順序数解析算術の体系と不完全性証明可能性論理線形論理構成的数学代数的論理と圏論ブール代数普遍代数量子論理圏論歴史入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学講義ノート（2013年度版）」． St

hacked 2010/05/14

リンク

Suriken.com is for sale | HugeDomains

Make 12 monthly payments Pay 0% interest Start using the domain today. See details

hacked 2009/06/16

数学

リンク

シグマ Σ の意味と計算方法

Landscape トップページ | < 前の日 2006-06-19 2006-06-25 次の日 2006-06-27 > Landscape - エンジニアのメモ 2006-06-25 シグマ Σ の意味と計算方法当サイト内を Google 検索できます * シグマ Σ の意味と計算方法この記事の直リンクURL: Permlink | この記事が属するカテゴリ: [メモ] シグマ Σ (sigma)とは、「和」すなわち合計のこと。 - シグマ Σ の計算方法10 Σ i=0 上記の場合は0から10までの合計という意味だ。つまり、0 + 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 = 55 となる。下記のようにして、i が取りうる値に対して演算するという意味を表すこともできる。 10 Σ i^2 i=0 この場合、i の二乗を 0 から 10

hacked 2009/06/16

数学

リンク

web-sky.org - web sky リソースおよび情報

This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.