コトバンクはYahoo!辞書と技術提携しています。

axiomatization axiomatization

世界大百科事典内のaxiomatizationの言及

【公理系】より

…公理から一定の推理(推論)方法によって得られる結論を定理theoremとよぶ。このような形で学問を体系化することを公理化axiomatizationという。ユークリッド幾何学とは,ユークリッドの公理を基本的前提として,演繹的推理を用いることによって得られる,いわゆる幾何学的諸定理の総体の呼称にほかならない。…

※「axiomatization」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

今日のキーワード

カルテット

四重唱および四重奏。重唱,重奏の形態のなかで最も基本的なもので,声楽ではルネサンスの多声歌曲の形式であるシャンソンやフロットラから始り長い歴史をもつ。器楽も同様で,特に弦楽四重奏は室内楽の全レパートリ...

続きを読む

コトバンク for iPhone