翻訳と辞書
Words near each other
・ 算盤高い
・ 算程
・ 算立
・ 算籌
・ 算置
・ 算置き
・ 算術
・ 算術 (書物)
・ 算術の基本定理
・ 算術の基礎
算術の超準モデル
・ 算術オーバフロー
・ 算術オーバーフロー
・ 算術入門
・ 算術函数
・ 算術平均
・ 算術幾何平均
・ 算術数列
・ 算術的函数
・ 算術的関数


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

算術の超準モデル : ミニ英和和英辞書
算術の超準モデル[さんじゅつのちょうじゅんもでる]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

算術 : [さんじゅつ]
 (n) arithmetic
: [すべ]
 【名詞】 1. way 2. method 3. means
: [ちょう]
  1. (n,n-suf,pref) super- 2. ultra- 3. hyper- 
: [じゅん]
  1. (n,pref) level 2. apply correspondingly 3. correspond to 4. being proportionate to 5. conforming to 6. semi 7. quasi 8. associate 9. standard 10. rule 1 1. aim

算術の超準モデル : ウィキペディア日本語版
算術の超準モデル[さんじゅつのちょうじゅんもでる]
算術の超準モデルとは、(一階ペアノ算術のモデルのうち、通常の自然数ではない要素(超準数)を含むようなモデルのことである。それに対し、通常の自然数 \mathbb は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、\mathbbと同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。
==存在==
算術の超準モデルの存在を証明する方法はいくつか存在する。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「算術の超準モデル」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.