オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
Webで数式を簡単に使う方法 | Okumura's Blog
以前Webで数式を書く方法について書いたが，今なら Google Chart Tools のAPIを使うほうが簡単。例： <img src="http://chart.apis.google.com/chart?cht=tx&chl=x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}" alt="" /> URL中に使えない文字は%16進2桁で表記する。例えばスペースは試した限りではそのまま使えたが用心するなら%20とする。詳しくはGoogleの解説 Mathematical (TeX) Formulas 参照。 問題点：ピクセルサイズの指定はできるが，標準の2倍の大きさにしたいという指定はできないみたい。
数学を勉強することの意味――「1＋1」の思想 - on the ground
勉強することの意味を尋ねられたらどう答えようかな、などとはよく考えることがあるけれども、今日は特に数学に限定して考えてみようか。先日、数学を勉強するのは論理的思考を養うためだという旨の説明を横耳で聞く機会があって、それも一つの説明だろうなとは思いながら、ただそれだと国語との差別化が難しくなるだろうと感じていた（実際、その人は数学≒国語だと結論したのである）。 他の説明（説得？）の仕方としては、数学は現に「必要」になるし「役に立つ」んだということを示す方法や*1、数学は意味など無くても単純に楽しいものなんだよと見せつけるアプローチなどがあるのだろう*2。ただ、これらは誰にでも当てはまるわけではないという意味で、論理的思考の訓練であるという説明に比して汎用性は低いように思う。そこで、一種のトレーニングのためであるという説明の方向性を維持しつつ、国語とは区別された数学の独自性を損なわない形で論を
NUTSU » x = x + (d – x) / 2.0 のこと
yossyさんが「x = x + (d – x) / 2.0 を時間に基づく関数に変換する」というエントリをアップしていたので、少し違う方面から解いてみる。結論から言えば結果は同じなんですが…、こういった問題はわりと見た目？から考える性格なのでちょっとやってみます。というかこういうこと考えるの好きで…。 とりあえず問題の式です。dは目標値、kは比率(0<k<1)です。 x' = x + ( d - x ) * k (式1) この式について「時間から現在値」と「任意の値までにかかる時間」を算出するということですね。見た目から入るのでとりあえずグラフでイメージを書きます。x0 は x の初期値で、hi 目標値までの距離 ( d – xi ) を表しています。 グラフを見ると現在値である x より、目標値までの距離 h が単純な推移をしているような感じです。試しに式にしてみます。 [xの式] x
微分方程式を解こう！ | _level0 - KAYAC Front Engineer Blog
どうも。こんにちは。梅雨明けも宣言されたそうで、いよいよ暑くなりますね。今回は単振動方程式方程式を用いた最適化のお話です。 高校物理でも登場するバネの方程式、単振動方程式 を簡単な四則計算に分解する方法を紹介します。 まず色々な数学的背景を押しやって、イメージだけ説明すると、物体の位置x、速度v、加速度aの関係は となるので、asの式で考えると、 v += a; x += v; という風になります。ここで単振動の微分方程式から、 a = -K * x; であるから、あわせると、 v -= K * x; x += v; という風になります。下がサンプルで、初期値(_v, _y)やKなんかを変えて挙動が変わることが分かります。 ここでのポイントはvに対して最初の式で破壊的な操作を行っていることです。 v_temp = v; v -= K * x; x += v_temp; 等とすると、ずれてし
Category:幾何学 - Wikipedia
下位カテゴリ このカテゴリには下位カテゴリ 34 件が含まれており、そのうち以下の 34 件を表示しています。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
robertpenner.com
Chrome ウェブストア
http://dmytry.pandromeda.com/mathart/a2.html