エイダのための区間演算はエイダのための間隔の実装を提供し、数学ライブラリです。それは、算術演算および関係演算が含まれています。例:トライステート·ロジックパッケージ間隔は、ルートパッケージとして機能し、また間隔に関係演算を定義する必要がトライ·ステート·ロジックを提供します。論理型は、次のように定義されます 論理型である(偽、真、不確実な); 以下の操作は、論理のために定義されています: 機能 "ではない」(左:論理)は、論理返します。 機能 "と"(左、右:論理)論理返します。 機能...
- ホームページ
- Dmitry A. Kazakov
- 教育&科学ソフトウェア
最近閲覧ソフト
ASUS G501JW Realtek Audio Driver for Windows 8.1 64-bit 23 Dec 15
Lenovo ThinkPad X260 Realtek Audio Driver for Windows 10 64-bit 31 Dec 15
Find Duplicate Contacts for Outlook 3 May 20
SMC IrCC (Fast Infrared) Hardware and Driver 7 Dec 15
Adeptia SOA ESB Integration Software 25 Jan 15
SMSC LAN9500 Ethernet Adapter Driver for Windows 8 64-bit 9 May 15
A.I.Studio WatzNew 29 Oct 15
EaseFilter File I/O Monitor 2 Oct 16
Massive Assault Scenario Editor 28 Oct 15
CAB - Computer Aided Brainstorming 1 Nov 15
人気のソフトウェア
Interval arithmetic for Ada 14 Apr 15
新しい 教育&科学ソフトウェア のために Dmitry A. Kazakov
最近閲覧ソフト
ASUS G501JW Realtek Audio Driver for Windows 8.1 64-bit 23 Dec 15
Lenovo ThinkPad X260 Realtek Audio Driver for Windows 10 64-bit 31 Dec 15
Find Duplicate Contacts for Outlook 3 May 20
SMC IrCC (Fast Infrared) Hardware and Driver 7 Dec 15
Adeptia SOA ESB Integration Software 25 Jan 15
SMSC LAN9500 Ethernet Adapter Driver for Windows 8 64-bit 9 May 15
A.I.Studio WatzNew 29 Oct 15
EaseFilter File I/O Monitor 2 Oct 16
Massive Assault Scenario Editor 28 Oct 15
CAB - Computer Aided Brainstorming 1 Nov 15
人気のソフトウェア
Interval arithmetic for Ada 14 Apr 15