보존 정리 개요 보존 정리(Preservation Theorem), 또는 형식 보존(type preservation), 때때로 진전과 보존(Progress and Preservation)의 일부로 언급되는 개념은 프로그래밍 언어의 형식 시스템(타입 시스템)에서 매우 중요한 성질 중 하나입니다. 이 정리는 "형식이 지정된 프로그램이 한 단계 계산(evalua…
검색 결과
"귀납법"에 대한 검색 결과 (총 9개)
점화식 (Recurrence Relation) 점화식은 수열의 각 항이 이전 항(들)과의 관계를 통해 정의되는 식을 의미하며, 수열의 일반항을 구하거나 수열의 성질을 분석하는 데 사용되는 수학적 도구입니다. 1. 개요 점화식은 수열 에서 번째 항 을 와 같은 이전 항들의 함수로 표현한 식입니다. 이는 수학적 귀납법(Mathematical Induction)…
정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
구조적 프로그래밍 (Structured Programming) 구조적 프로그래밍은 프로그램의 논리적 흐름을 명확하게 하기 위해 무분별한 분기문을 배제하고, 정해진 제어 구조(순차, 선택, 반복)만을 사용하여 프로그램을 작성하는 소프트웨어 설계 패러다임이다. 1. 개요 구조적 프로그래밍은 1960년대 후반, 소프트웨어의 규모가 커짐에 따라 코드의 복잡도가 기…
연구 (Research) 1. 개요 연구(Research)란 특정 문제에 대한 해답을 찾거나 새로운 지식을 발견하기 위해 체계적이고 비판적인 방법으로 데이터를 수집, 분석 및 해석하는 지적 탐구 활동이다. 일상적인 의미의 '조사(Investigation/Survey)'가 단순히 기존의 정보를 확인하거나 현상을 파악하는 것에 그친다면, 학술적 의미의 '연구'…
논리성 (Logicality) 1. 개요 논리성(Logicality)이란 생각이나 추론, 또는 문장 간의 연결 관계가 모순 없이 일관되며, 타당한 근거를 바탕으로 결론에 도달하는 성질을 의미한다. 일상적 의미에서 논리성은 '말이 된다' 혹은 '앞뒤가 맞다'는 상식적인 수준의 일관성을 뜻하지만, 학술적으로는 전제로부터 결론을 도출하는 추론 과정이 정해진 규칙…
과학 (Science) 1. 개요 [[과학]]은 관찰과 실험, 그리고 이론적 추론을 통해 자연계의 현상을 체계적으로 이해하고 설명하며, 보편적인 법칙을 찾아내려는 지적 활동이자 지식 체계이다. '과학'의 영어 단어인 'Science'는 '알다'라는 뜻의 라틴어 'Scientia'에서 유래하였다. 이는 단순히 개별적인 사실의 집합이 아니라, 증거에 기반한 논…
Types and Programming Languages 개요 『Types and Programming Languages(이하 TAPL)』은 컴퓨터공학, 특히 프로그래밍 언어 이론과 형식 시스템(formal systems) 분야에서 가장 영향력 있는 학술 서적 중 하나이다. 저자인 벤자민 C. 피어스(Benjamin C. Pierce)는 펜실베이니아 대학교…
자연수 개요 자연수는 수학에서 가장 기본적인 수 체계 중 하나로, 물체를 세거나 순서를 나타내는 데 사용되는 정수입니다. 일반적으로 1부터 시작하는 경우가 많지만, 현대 수학에서는 0을 포함하는 정의도 널리 채택되고 있습니다. 자연수는 산술, 대수, 집합론 등 다양한 수학 분야에서 기초 자료로 활용되며, 교육 과정에서도 초등학교부터 체계적으로 학습합니다. …