دسته بندی ها: آموزشی و علوم نرم افزار, نرم افزار ریاضی
Interval arithmetic for Ada 1.10
در حساب فاصله برای آدا یک کتابخانه ریاضی فراهم می کند که یک پیاده سازی از فواصل برای آدا است. این شامل حساب و عملیات رابطه ای.مثال:سه جانبه دولت منطقفواصل بسته به عنوان یک بسته ریشه خدمت می کند و همچنین منطق سه جانبه دولت لازم برای تعریف عملیات رابطه ای در فواصل فراهم می کند. نوع منطقی به عنوان تعریف می شود: نوع منطقی...