エイダのための区間演算はエイダのための間隔の実装を提供し、数学ライブラリです。それは、算術演算および関係演算が含まれています。例:トライステート·ロジックパッケージ間隔は、ルートパッケージとして機能し、また間隔に関係演算を定義する必要がトライ·ステート·ロジックを提供します。論理型は、次のように定義されます 論理型である(偽、真、不確実な); 以下の操作は、論理のために定義されています: 機能 "ではない」(左:論理)は、論理返します。 機能 "と"(左、右:論理)論理返します。 機能...
- ホームページ
- Dmitry A. Kazakov
- 教育&科学ソフトウェア
最近閲覧ソフト
-
IM LinkBar 22 Jan 15
-
Efficient Password Manager Portable 14 Aug 18
-
Zviewer 28 Sep 17
-
AlphaPlugins Engraver III 21 Nov 14
-
Gigabyte GA-880GA-UD3H (rev. 2.1) AMD SATA RAID Preinstall Driver for Windows 7 14 Mar 16
-
Process Lasso 1 Dec 18
-
PDFKey Pro 12 Apr 18
-
m9P Surfer 24 Sep 15
-
Unifie 22 Jan 15
-
TextMaster Data Editor Pro Edition 6 Mar 15
人気のソフトウェア
-
Interval arithmetic for Ada 14 Apr 15
新しい 教育&科学ソフトウェア のために Dmitry A. Kazakov
最近閲覧ソフト
-
IM LinkBar 22 Jan 15
-
Efficient Password Manager Portable 14 Aug 18
-
Zviewer 28 Sep 17
-
AlphaPlugins Engraver III 21 Nov 14
-
Gigabyte GA-880GA-UD3H (rev. 2.1) AMD SATA RAID Preinstall Driver for Windows 7 14 Mar 16
-
Process Lasso 1 Dec 18
-
PDFKey Pro 12 Apr 18
-
m9P Surfer 24 Sep 15
-
Unifie 22 Jan 15
-
TextMaster Data Editor Pro Edition 6 Mar 15
人気のソフトウェア
-
Interval arithmetic for Ada 14 Apr 15