심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

표명

색인 표명

밍에서 표명(表明), 가정 설정문(假定設定文) 또는 어서션()은 프로그램 안에 추가하는 참·거짓을 미리 가정하는 문이.

6 처지: Assert.h, 문 (프로그래밍), 주석 (프로그래밍), 찰스 앤터니 리처드 호어, 컴퓨터 프로그래밍, 1차 논리.

Assert.h

assert.h는 C 표준 라이브러리 중. C 언어 전처리기 매크로 중 하나인 assert()International Standard for Programming Language C (C99), ISO/IEC 9899:1999, p. 169 이 매크로는 표명을 구현하여 프로그램이 추정한 것을 확인하며 거짓인 경우 진단 메시지를 출력.

새로운!!: 표명와 Assert.h · 더보기 »

문 (프로그래밍)

밍에서 문(文)은 명령형 프로그래밍 언어의 가장 작은 독립 요소이.

새로운!!: 표명와 문 (프로그래밍) · 더보기 »

주석 (프로그래밍)

주석 또는 코멘트(comment)는 프로그래밍에 있어 내용을 메모하는 목적으로 쓰인.

새로운!!: 표명와 주석 (프로그래밍) · 더보기 »

찰스 앤터니 리처드 호어

스 앤터니 리처드 호어 경, Kt (Sir Charles Antony Richard Hoare, 1934년 1월 11일 ~)은 영국의 컴퓨터 과학자이.

새로운!!: 표명와 찰스 앤터니 리처드 호어 · 더보기 »

컴퓨터 프로그래밍

밍() 또는 간단히 프로그래밍(programming) 혹은 코딩(coding)은 하나 이상의 관련된 추상 알고리즘을 특정한 프로그래밍 언어를 이용해 구체적인 컴퓨터 프로그램으로 구현하는 기술을 말. 프로그래밍은 기법, 과학, 수학, 공학적 속성들을 가지고 있.

새로운!!: 표명와 컴퓨터 프로그래밍 · 더보기 »

1차 논리

1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.

새로운!!: 표명와 1차 논리 · 더보기 »

여기로 리디렉션합니다

가정 설정문, 가정설정문, 어설션.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »