写像 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "写像" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2021年4月) この項目は内容が専門的であり、一般の閲覧者にはわかりにくくなっているおそれがあります。 専門用語をわかりやすい表現にするための修正をして下さる協力者を求めています。（2021年4月） 写像（しゃぞう、英: mapping, map）は、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。関数、変換、作用素、射などが写像の同義語として用いられる[1][2]こともある。 ブルバキに見られるように、写像は
集合 - Wikipedia
この項目では、数学における集合について説明しています。クルアーンのスーラについては「集合 (クルアーン)」をご覧ください。 集合（しゅうごう、英: set, 仏: ensemble, 独: Menge）とは数学における概念の1つで、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、英: element; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、英: system) や族 (ぞく、英: family) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定
ホーア論理 - Wikipedia
この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。（2016年4月） 疑問点：トリプルの定義からすでに通常の定義と異なっている。例もおかしい ホーア論理（ホーアろんり、英: Hoare logic）とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。 プログラムの正しさを証明するためのロバート・フロイドによる流れ図に関する方法[1]を基に、計算機科学者のアントニー・ホーアによって提案された[2]。 概要[編集] ホーア論理には、単純な命令型言語の全構成要素についての公理と推論規則が備わっている。当初の論文にあったそれら規則に加えて、ホーアや他の研究者は様々な言語要素に関する規則を開発した。並行性に関する規則、プロシージャに関する規則、分岐に
エドガー・F・コッド - Wikipedia
エドガー・フランク・コッド（Edgar Frank "Ted" Codd, 1923年8月23日 - 2003年4月18日）は、イングランド生まれの計算機科学者。関係データベースの理論的基盤であるデータベース管理の関係モデルを発明した。他にも計算機科学に数々の貢献をしているが、関係モデルはデータ管理の一般理論として大きな影響を与え、彼にとっては人生最大の業績と言われている。 生涯[編集] イングランドのドーセット州ポートランド島で生まれた。オックスフォード大学エクセター・カレッジで数学と化学を専攻する。第二次世界大戦ではイギリス空軍のパイロットとして参戦した。1948年、アメリカ合衆国ニューヨーク州に移住し、IBMでプログラマとして就職した。1953年、上院議員ジョセフ・マッカーシーの怒りを買い、カナダのオタワに移住する。10年後アメリカ合衆国に戻り、アナーバーのミシガン大学で計算機科学の
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
sdi - Page: 論理 データベース論考 - logico-index
sdi - Page: hint-180