در حساب فاصله برای آدا یک کتابخانه ریاضی فراهم می کند که یک پیاده سازی از فواصل برای آدا است. این شامل حساب و عملیات رابطه ای.مثال:سه جانبه دولت منطقفواصل بسته به عنوان یک بسته ریشه خدمت می کند و همچنین منطق سه جانبه دولت لازم برای تعریف عملیات رابطه ای در فواصل فراهم می کند. نوع منطقی به عنوان تعریف می شود: نوع منطقی...
- صفحه اصلی
- Dmitry A. Kazakov
- آموزشی و علوم نرم افزار
- نرم افزار ریاضی
نرم افزار اخیرا مشاهده
feelDweb Evolution 20 Sep 15
TMS IntraWeb Component Pack Pro Script Edition (C++Builder 6) 26 Jan 15
نرم افزار محبوب
Interval arithmetic for Ada 14 Apr 15
بالا نرم افزار ریاضی برای Dmitry A. Kazakov
نرم افزار اخیرا مشاهده
feelDweb Evolution 20 Sep 15
TMS IntraWeb Component Pack Pro Script Edition (C++Builder 6) 26 Jan 15
نرم افزار محبوب
Interval arithmetic for Ada 14 Apr 15