エイダのための区間演算はエイダのための間隔の実装を提供し、数学ライブラリです。それは、算術演算および関係演算が含まれています。例:トライステート·ロジックパッケージ間隔は、ルートパッケージとして機能し、また間隔に関係演算を定義する必要がトライ·ステート·ロジックを提供します。論理型は、次のように定義されます 論理型である(偽、真、不確実な); 以下の操作は、論理のために定義されています: 機能 "ではない」(左:論理)は、論理返します。 機能 "と"(左、右:論理)論理返します。 機能...
- ホームページ
- Dmitry A. Kazakov
- 教育&科学ソフトウェア
最近閲覧ソフト
Accent Internet Password Recovery 1 Nov 15
ASUS F200MA Wireless Radio Control Driver for Windows 8.1 64-bit 17 Mar 16
Samsung NP-RC512-A01US Intel Graphics Driver for Windows 7 64-bit 14 Mar 16
SysInfoTools Add Outlook PST 10 Apr 15
GreenPois0n for Absinthe iOS 5.0.1 for Windows 15 Apr 15
NVIDIA Notebook GeForce Graphics Driver 353.49 for Windows 10 14 Feb 16
Pristine Performance Injector 25 Jan 15
License4J License Manager 27 Oct 18
Halite BitTorrent Client 26 Jan 15
AlphaPlugins Digitalizer 21 Jan 15
人気のソフトウェア
Interval arithmetic for Ada 14 Apr 15
新しい 教育&科学ソフトウェア のために Dmitry A. Kazakov
最近閲覧ソフト
Accent Internet Password Recovery 1 Nov 15
ASUS F200MA Wireless Radio Control Driver for Windows 8.1 64-bit 17 Mar 16
Samsung NP-RC512-A01US Intel Graphics Driver for Windows 7 64-bit 14 Mar 16
SysInfoTools Add Outlook PST 10 Apr 15
GreenPois0n for Absinthe iOS 5.0.1 for Windows 15 Apr 15
NVIDIA Notebook GeForce Graphics Driver 353.49 for Windows 10 14 Feb 16
Pristine Performance Injector 25 Jan 15
License4J License Manager 27 Oct 18
Halite BitTorrent Client 26 Jan 15
AlphaPlugins Digitalizer 21 Jan 15
人気のソフトウェア
Interval arithmetic for Ada 14 Apr 15