FS
Жүктөө v4
466 жүктөөлөр
| Нускасы | 4 |
|---|---|
| Publisher | Dmitry A. Kazakov |
| Чыккан датасы | 2008-ж., 7-ноя. |
| Кошулган күнү | 2005-ж., 1-дек. |
| Os талаптар | Windows 95, Windows 2000, Windows 98, Windows Me, Windows, Windows XP, Windows NT |
| Талаптар | Windows 95/98/Me/NT/2000/XP/2003 Server, Ada 95 compiler |
| Жалпы жүктөлүүлөр | 466 |
| Баасы | Free |
Сүрөттөмө
Китепкана бүдөмүк стандарттуу жана интуициялык көптүктөрдү, жөнөкөй жана өлчөмдүү бүдөмүк сандарды, бүдөмүк логиканы, жөнөкөй жана өлчөмдүү лингвистикалык өзгөрмөлөрдү жана тилдик өзгөрмөлөрдүн бүдөмүк топтомдорун ишке ашырууну камсыз кылат. Бүтүн эмес сандар бүтүн жана реалдуу домендерде ишке ашырылат. бүдөмүк логика интуициялык бүдөмүк көптүктөргө жана мүмкүнчүлүктөр теориясына негизделген. Сапка багытталган киргизүү/чыгаруу колдоого алынат.
