결론의 내용이 이미 전제에 포함되어 있는 논증전제가 참이라면 결론이 필연적으로 참이 되는 논증전제가 참이라면 결론은 거짓일 수 없는 형태의 논증오늘 비가 오면, 우리 집 앞마당 땅이 젖는다오늘 비가 왔다따라서 우리 집 앞마당 땅이 젖었다.타당성전제가 결론의 참을 보장할

바람직한 알고리즘명확해야 한다효율적이여야 한다상수 K 만큼 시간이 걸린다n에 비례하는 시간이 소요n에 비례하는 시간이 소요재귀적 구조어떤 문제 안에 크기만 다를뿐 성격이 똑같은 작은 문제들이 포함되어있는 것팩토리얼, 수열의 점화식 등ex) 병합 정렬무결성 확인자원 사용
컴퓨터간 정보를 원활하게 교환하기 위해 상호간에 정한 여러 통신규약프로토콜의 구성요소구문 : 데이터의 형식이나 신호로 부호화 방법을 정의의미 : 정확한 정보 전송을 위한 전송제어와 오류 제어방법을 정의순서 : 송신자와 수신자 간 혹은 양단의 통신 시스템, 망 사이의 통
소프트웨어 모델링은 개발 프로세스의 필수적인 부분시스템에 대한 더 나은 이해는 다양한 관점, 요구모델, 정적모델, 동적 모델 등을 고려해야 함표준화된 그래픽 언어객체지향 모델을 설명하기 위한 표기법객체지향적인 분석 및 설계 방법과 같이 사용use case 다이어그램시스

운영에 관한 연구조직의 설계, 운영, 관리에 관한 의사결정을 계량적으로, 체계적으로 분석, 해결하고자 하는 학문경영과학의 대상 : 합리적인 의사결정이 요구되는 분야역할 : 의사결정자에게 최적의 의사결정을 할 수 있도록 정보를 제공절차문제를 정의하고 관련자료를 수집문제를