| ADA의 간격 산술 ADA의 간격 산술은 ADA 간격을 구현할 수있는 수학 라이브러리입니다. |
지금 다운로드 |
ADA의 간격 산술 순위 및 요약
- 게시자 이름:
- Dmitry A. Kazakov
- 게시자 웹사이트:
- http://www.dmitry-kazakov.de/ada/intervals.htm
ADA의 간격 산술 태그
ADA의 간격 산술 설명
간격 산술 ADA는 ADA 간격을 구현할 수있는 수학 라이브러리입니다. 간격 산술 ADA는 ADA 간격을 구현할 수있는 수학 라이브러리입니다. 산술 및 관계형 작업이 포함됩니다. examples : Tri-State LogicTe 패키지 간격은 루트 패키지로 사용되며 관계형 작업을 간격으로 정의하는 데 필요한 트라이 상태 논리를 제공합니다. 형식 논리는 다음과 같이 정의됩니다 : 유형 논리는 (false, true, 불확실 함); 다음 작업은 논리적으로 정의됩니다. 함수 "not"(왼쪽 : 논리적) 리턴 논리; 기능 "과"(왼쪽, 오른쪽 : 논리적) 논리적 인 반환; 함수 "및"(왼쪽 : 논리적, 오른쪽 : 부울) 논리적 인 반환; 함수 "및"(왼쪽 : 부울; 오른쪽 : 논리적) 리턴 논리; 함수 "또는"(왼쪽, 오른쪽 : 논리) 논리적 인 반환; 함수 "또는"(왼쪽 : 논리적; 오른쪽 : 부울) 논리적 인 반환; 기능 "또는"(왼쪽 : 부울; 오른쪽 : 논리적) 리턴 논리; 기능 "XOR"(왼쪽, 오른쪽 : 논리) 논리적 인 반환; 기능 "xor"(왼쪽 : 논리적, 오른쪽 : 부울) 논리적 인 반환; 기능 "xor"(왼쪽 : 부울; 오른쪽 : 논리) 논리 리턴
ADA의 간격 산술 관련 소프트웨어