รายละเอียดซอฟแวร์:
ชุดเลือนสำหรับ Ada เป็นห้องสมุดให้การใช้งานของปัจจัยความเชื่อมั่นกับการดำเนินงานไม่ได้และหรือ xor + และ * ชุดเลือนคลาสสิกกับการดำเนินงานของการตั้งทฤษฎีและการดำเนินงานของทฤษฎีความเป็นไปได้ที่ intuitionistic เลือน ชุดมีการดำเนินงานที่พวกเขาตรรกะคลุมเครืออยู่บนพื้นฐานของชุดเลือน intuitionistic และทฤษฎีความเป็นไปได้; หมายเลขเลือนทั้งจำนวนเต็มและทศนิยมกับการดำเนินงานเกี่ยวกับคณิตศาสตร์ทั่วไปและตัวแปรทางภาษาและชุดของตัวแปรภาษากับการดำเนินงานเกี่ยวกับพวกเขา ชุดเลือนสำหรับ Ada มีการสนับสนุนที่มุ่งเน้นสาย I / O
คุณสมบัติ .
- ปัจจัยความเชื่อมั่นกับการดำเนินงานไม่ได้ และหรือ xor + *;
- ชุดเลือนคลาสสิกกับการดำเนินการตั้งทฤษฎีและการดำเนินงานของทฤษฎีความเป็นไปได้;
- ชุดเลือน Intuitionistic กับการดำเนินงานเกี่ยวกับพวกเขา;
- ตรรกศาสตร์ขึ้นอยู่กับชุดเลือน intuitionistic และทฤษฎีความเป็นไปได้;
- หมายเลขเลือนทั้งจำนวนเต็มและคนที่ลอยจุดที่มีการดำเนินงานเกี่ยวกับคณิตศาสตร์ทั่วไป;
- ขนาดตัวเลขเลือน;
- ตัวแปรภาษาศาสตร์และชุดของตัวแปรภาษากับการดำเนินงานเกี่ยวกับพวกเขา;
- สตริงที่มุ่งเน้น I / O ได้รับการสนับสนุน.
ความคิดเห็นที่ไม่พบ