에이다 1.5 간격 산술 - Interval arithmetic for Ada 1.5



 

에이다 1.5 간격 산술

스폰서 링크

에이다 1.5 간격 산술: 요약

순위 스타 클릭 순위순위 수준:
전체 순위: 0 (0 times) 다운로드
파일 크기: 0.25 MB 운영 체제: Any Platform 라이센스: GMGPL (GNAT Modified GPL) 가격: 다운로드: 8188 날짜: 2007-08-23 게시자: Other Publisher

에이다 1.5 간격 산술: 설명

Ada를 위한 간격 산법은 Ada에게 간격의 실시를 제공하는 수학 도서관이다. 그것은 산수 및 상관적인 작전을 포함한다.

보기:

3상태 논리

포장 간격은 루트 포장으로 봉사하고 또한 간격에 상관적인 작전을 정의하게 필요한 3상태 논리를 제공한다. 논리 모형은 다음과 같음 정의된다:

논리 모형은 이다 (틀리고, 확실하고, 불확실한);

뒤에 오는 작전은 논리를 위해 정의된다:

기능 "아닙니다" (떠나는: 논리 논리적인) 반환;
기능 "와" (떠나는, 맞은: 논리 논리적인) 반환;
기능 "와" (떠나는: 논리; 권리: 부울 논리 연산)
반환 논리;
기능 "와" (떠나는: 부울 논리 연산; 권리: 논리)
반환 논리;
기능 "또는" (떠나는, 맞은: 논리 논리적인) 반환;
기능 "또는" (떠나는: 논리; 권리: 부울 논리 연산)
반환 논리;
기능 "또는" (떠나는: 부울 논리 연산; 권리: 논리)
반환 논리;
기능 "xor" (떠나는, 맞은: 논리 논리적인) 반환;
남겨두는 기능 "xor" (: 논리; 권리: 부울 논리 연산)
반환 논리;
남겨두는 기능 "xor" (: 부울 논리 연산; 권리: 논리)
반환 논리;

이 방출에서 새로운 무엇이:

· 모기 사용자 GPS를 위해 프로젝트 파일은 포함되었다;
· v 2.4를 Ada를 위한 측정 부대에 기지를 두는.

다운로드

에이다 1.5 간격 산술: 스크린샷

스폰서 링크
다운로드 에이다 1.5 간격 산술

에이다 1.5 간격 산술: 키워드

에이다 1.5 간격 산술: 북마크

Hyperlink code:
Hyperlink and Intro code:

에이다 1.5 간격 산술: 관련 소프트웨어

에이다 1.5 간격 산술: 검토
이름 :  
이메일 :  
코멘트 :  
보안 코드 :  
     
   
내 소프트웨어
당신은 소프트웨어를 저장하지 않으 셨습니다. "다음"을 클릭 다음 각 소프트웨어에 대한 귀하의 소프트웨어를 바구니에 저장하려면 저장을
관련 검색
스폰서 링크