翻訳と辞書
Words near each other
・ 公爵号
・ 公爵夫人
・ 公爵議員
・ 公爵領
・ 公物
・ 公現入道親王
・ 公現法親王
・ 公現祭
・ 公現節
・ 公理
公理スキーマ
・ 公理会潞河書院
・ 公理図式
・ 公理型
・ 公理的意味論
・ 公理的確率
・ 公理的集合論
・ 公理系
・ 公生活
・ 公生涯


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

公理スキーマ : ミニ英和和英辞書
公理スキーマ[こうり]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [こう]
  1. (n,suf) prince 2. lord 3. duke 4. public 5. daimyo 6. companion 7. subordinate
公理 : [こうり]
 【名詞】 1. axiom 2. maxim 3. self-evident truth
: [り]
 【名詞】 1. reason 
: [ちょうおん]
 (n) long vowel mark (usually only used in katakana)

公理スキーマ ( リダイレクト:公理型 ) : ウィキペディア日本語版
公理型[こうりがた]
公理型(英:axiom schema、英複数形:axiom schemata)とは、数理論理学における用語で、公理を一般化した概念である。
==概要==
任意の公理型は何らかの公理系における整論理式であり、そこには一つ以上の型変数が現れる。これらの変数はメタ言語学的な構成物であり、所与の体系における部分論理式に相当し、一定の条件を満たすことが要請される場合やされない場合がある。一定の条件とは、例えば特定の変数が自由変項であることや、またはそうした特定の変数が部分論理式や項に現れないことなどである。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「公理型」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Axiom schema 」があります。




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

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