검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- '''보른 규칙'''은 양자 시스템 의 측정이 주어진 결과를 산출할 [[확률]]을 제공하는 [[양자역학|양자 역학]] 핵심 가정이다.<ref>The t 일부 응용 프로그램에서 이러한 보른 규칙 처리는 양수-연산자 가치 측정을 사용하여 일반화된다. POVM은 값이 [[힐베르트 공간]]에서 양의 준정부호 [[정부호 행렬|연산자인] ...13 KB (828 단어) - 2024년 12월 19일 (목) 19:51
- '''휘켈 규칙'''(Hückel's rule)은 [[유기 화학]]에서 평면 고리 분자가 [[방향족성]]을 띠게 되는 조건에 대한 규칙이다. [[물리화 == 3차원 규칙 == ...3 KB (116 단어) - 2024년 5월 8일 (수) 19:04
- '''델타 규칙'''(delta rule)은 경사 하강법(Gradient Descent) 학습 방법으로, 싱글 레이어 퍼셉트론에서 인공 [[뉴런]]들의 ...1 KB (90 단어) - 2025년 1월 31일 (금) 06:02
- '''추론 규칙'''(推論規則, {{llang|en|rule of inference}}) 또는 '''추론 형식'''이란, [[논리학]]에서 [[논리식] [[공리]], [[대입 규칙]], [[추론]] 규칙에 의해서 이론을 형식화한 것이 공리계이다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 ...3 KB (146 단어) - 2024년 11월 30일 (토) 14:07
- '''훈트 규칙'''({{llang|en|Hund's rule}})은 독일의 물리학자 [[프리드리히 훈트]]({{lang|de|Friedrich Her ...4 KB (148 단어) - 2024년 9월 15일 (일) 05:41
- [[양자역학]]에서 '''초선택 규칙'''(超選擇規則, {{llang|en|superselection rule|슈퍼셀렉션 룰}})은 특정한 꼴의 중첩 상태의 존재를 막는 규 이와 같은 경우, <math>|\phi\rangle</math>와 <math>|\psi\rangle</math> 사이에 '''초선택 규칙'''이 존재한다고 한다. ...6 KB (251 단어) - 2024년 6월 23일 (일) 11:31
- {{다른 뜻|합 규칙 (조합론)}} [[미적분학]]에서 '''합 규칙'''(合規則, {{llang|en|sum rule}})은 [[미분]]이 함수의 덧셈을 보존한다는 법칙이다. ...2 KB (234 단어) - 2022년 7월 28일 (목) 00:14
- [[미적분학]]에서 '''멱 규칙'''({{llang|en|power rule}})은 [[멱함수]]의 [[도함수]]를 구하는 공식이다. '''멱 규칙'''에 따르면, [[멱함수]] <math>x^n</math> (<math>n\in\mathbb R</math>)의 [[도함수]]는 다음 ...4 KB (438 단어) - 2025년 3월 3일 (월) 08:25
- [[이론물리학]]과 [[추상대수학]]에서 '''융합 규칙'''(融合規則, {{llang|en|fusion rule|퓨전룰}})은 [[2차원 등각 장론]]에 대응되는 특별한 대수 구조이다.<re <math>I</math> 위의 '''융합 규칙'''은 다음과 같은 조건을 만족시키는 [[함수]] ...16 KB (1,518 단어) - 2025년 2월 6일 (목) 03:35
- {{다른 뜻|곱 규칙 (조합론)}} [[미적분학]]에서 '''곱 규칙'''(-規則, {{llang|en|product rule}}) 또는 '''곱의 미분법''' 또는 '''라이프니츠 법칙'''({{llan ...4 KB (567 단어) - 2022년 7월 27일 (수) 23:57
- [[미적분학]]에서 '''몫 규칙'''(-規則, {{llang|en|quotient rule}}) 또는 '''몫의 미분법'''은 두 함수의 몫을 [[미분]]할 때 쓰이는 * [[곱 규칙]] ...4 KB (590 단어) - 2022년 7월 28일 (목) 00:07
- '''연관 규칙 학습법'''은 큰 데이터베이스에서 변수들 간의 흥미로운 관계를 발견하기 위한 규칙 기반 [[기계 학습]] 방법이다. 관심의 정도를 사용하여 데이터베이스에서 발견된 강력한 규칙을 구별하기 위한 것이다. 다양한 항목들과 ...지속적인 생산, 생물 정보학을 포함하는 많은 응용 분야에서 사용된다. 시퀀스 마이닝(sequence mining)과 대조적으로 연관 규칙 학습법은 일반적으로 거래 내에서나 거래 사이에서의 항목의 순서를 고려하지 않는다. ...3 KB (65 단어) - 2022년 3월 8일 (화) 02:07
- [[조합론]]에서 '''곱 규칙'''(-規則, {{llang|en|rule of product}})은 여러 단계로 구성된 과정의 경우의 수를 세는 법칙이다. ...>n_2</math>이며, ..., <math>k</math>째 단계의 경우의 수는 <math>n_k</math>라고 하자. '''곱 규칙'''에 따르면, 이들을 차례대로 거치는 과정의 경우의 수는 다음과 같다.<ref name="lixp">{{서적 인용 ...1,004 바이트 (55 단어) - 2024년 12월 19일 (목) 23:28
- [[조합론]]에서, '''합 규칙'''(合規則, {{llang|en|rule of sum}})은 어떤 과정에 여러 가지 방법이 있을 때, 그 과정의 경우의 수가 각자 방 ...>가지 방법이 있다고 하자. 이들 방법의 경우의 수가 각각 <math>n_1,n_2,\dots,n_k</math>라고 하자. '''합 규칙'''에 따르면, 이러한 과정의 경우의 수는 이들 경우의 수의 총합이다.<ref name="lixp">{{서적 인용 ...970 바이트 (45 단어) - 2024년 12월 20일 (금) 01:23
- '''흄-로더리 규칙'''(Hume-Rothery rules)은 [[윌리엄 흄-로더리]]에 의해 제안된 금속 [[합금]]이 치환형 [[고용체]]가 되는지 침 [[분류:규칙]] ...2 KB (161 단어) - 2024년 5월 6일 (월) 13:16
문서 내용 일치
- [[조합론]]에서 '''곱 규칙'''(-規則, {{llang|en|rule of product}})은 여러 단계로 구성된 과정의 경우의 수를 세는 법칙이다. ...>n_2</math>이며, ..., <math>k</math>째 단계의 경우의 수는 <math>n_k</math>라고 하자. '''곱 규칙'''에 따르면, 이들을 차례대로 거치는 과정의 경우의 수는 다음과 같다.<ref name="lixp">{{서적 인용 ...1,004 바이트 (55 단어) - 2024년 12월 19일 (목) 23:28
- [[조합론]]에서, '''합 규칙'''(合規則, {{llang|en|rule of sum}})은 어떤 과정에 여러 가지 방법이 있을 때, 그 과정의 경우의 수가 각자 방 ...>가지 방법이 있다고 하자. 이들 방법의 경우의 수가 각각 <math>n_1,n_2,\dots,n_k</math>라고 하자. '''합 규칙'''에 따르면, 이러한 과정의 경우의 수는 이들 경우의 수의 총합이다.<ref name="lixp">{{서적 인용 ...970 바이트 (45 단어) - 2024년 12월 20일 (금) 01:23
- '''추론 규칙'''(推論規則, {{llang|en|rule of inference}}) 또는 '''추론 형식'''이란, [[논리학]]에서 [[논리식] [[공리]], [[대입 규칙]], [[추론]] 규칙에 의해서 이론을 형식화한 것이 공리계이다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 ...3 KB (146 단어) - 2024년 11월 30일 (토) 14:07
- * [[곱 규칙]] * [[몫 규칙]] ...996 바이트 (97 단어) - 2024년 6월 3일 (월) 07:40
- ...n|disjunction introduction}})은 주어진 명제로부터 이를 한 성분으로 하는 [[선언 명제]]를 유도하는 [[추론 규칙]]이다. '''선언 도입'''은 다음과 같은 두 개의 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...1 KB (77 단어) - 2022년 7월 28일 (목) 02:30
- ...ion}})은 두 명제가 서로 [[함의 (논리학)|함의]]한다는 것으로부터 두 명제의 [[동치 (논리학)|동치]]를 유도하는 [[추론 규칙]]이다. '''쌍조건문 도입'''은 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (75 단어) - 2022년 7월 29일 (금) 17:46
- ...imination}})는 두 명제의 [[동치 (논리학)|동치]]로부터 두 명제의 서로 [[함의 (논리학)|함의]]를 유도하는 [[추론 규칙]]이다. '''쌍조건문 소거'''는 다음과 같은 두 개의 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (88 단어) - 2022년 7월 29일 (금) 17:45
- ...성분을 전제로 하고 주어진 같은 명제를 결론으로 하는 두 [[가언 명제]]로부터, 이 두 가언 명제의 공통 결론을 유도하는 [[추론 규칙]]이다. 즉, “''P''이거나 ''Q''이다. 만약 ''P''라면 ''R''이다. 만약 ''Q''라면 ''R''이다. 따라서 ''R' '''선언 소거'''는 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (85 단어) - 2022년 7월 29일 (금) 17:54
- '''연관 규칙 학습법'''은 큰 데이터베이스에서 변수들 간의 흥미로운 관계를 발견하기 위한 규칙 기반 [[기계 학습]] 방법이다. 관심의 정도를 사용하여 데이터베이스에서 발견된 강력한 규칙을 구별하기 위한 것이다. 다양한 항목들과 ...지속적인 생산, 생물 정보학을 포함하는 많은 응용 분야에서 사용된다. 시퀀스 마이닝(sequence mining)과 대조적으로 연관 규칙 학습법은 일반적으로 거래 내에서나 거래 사이에서의 항목의 순서를 고려하지 않는다. ...3 KB (65 단어) - 2022년 3월 8일 (화) 02:07
- ...連言導入, {{llang|en|conjunction introduction}})은 두 명제로부터 그 [[논리곱]]을 유도하는 [[추론 규칙]]이다. '''연언 도입'''은 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (100 단어) - 2024년 12월 19일 (목) 16:22
- ...言消去, {{llang|en|conjunction elimination}})은 [[연언 명제]]로부터 그 두 성분을 유도하는 [[추론 규칙]]이다. '''연언 소거'''는 다음과 같은 두 개의 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (113 단어) - 2024년 12월 19일 (목) 22:45
- == 규칙 == ...2 KB (47 단어) - 2024년 11월 19일 (화) 00:01
- {{Infobox mathematical statement|type=[[추론 규칙]]|field=[[명제 논리]]|statement=만약 전건이 후건과 후건의 부정을 동시에 함축하면, 그 전건은 모순이다.|symbol ...''({{llang|en|negation introduction}})이란, [[명제 논리]] 분야에서의 [[추론 규칙]] (혹은 변환 규칙) 중 하나이다. ...3 KB (165 단어) - 2024년 12월 2일 (월) 02:03
- ...llens|모두스 톨렌스}})은 [[가언 명제]]와 그 결론의 [[부정 (논리학)|부정]]으로부터 그 전제의 부정을 유도하는 [[추론 규칙]]이다. 즉, “만약 ''P''라면, ''Q''이다. 그런데 ''Q''가 아니다. 따라서 ''P''가 아니다.”와 같이 추론한다.<re '''후건 부정'''은 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (164 단어) - 2025년 3월 14일 (금) 02:10
- {{다른 뜻|합 규칙 (조합론)}} [[미적분학]]에서 '''합 규칙'''(合規則, {{llang|en|sum rule}})은 [[미분]]이 함수의 덧셈을 보존한다는 법칙이다. ...2 KB (234 단어) - 2022년 7월 28일 (목) 00:14
- '''휘켈 규칙'''(Hückel's rule)은 [[유기 화학]]에서 평면 고리 분자가 [[방향족성]]을 띠게 되는 조건에 대한 규칙이다. [[물리화 == 3차원 규칙 == ...3 KB (116 단어) - 2024년 5월 8일 (수) 19:04
- [[미적분학]]에서 '''멱 규칙'''({{llang|en|power rule}})은 [[멱함수]]의 [[도함수]]를 구하는 공식이다. '''멱 규칙'''에 따르면, [[멱함수]] <math>x^n</math> (<math>n\in\mathbb R</math>)의 [[도함수]]는 다음 ...4 KB (438 단어) - 2025년 3월 3일 (월) 08:25
- ...논리]]를 각각 형식화하는 시퀀트 계산 체계인 LJ와 LK를 제시하면서 증명한 것이다. 컷-제거 정리의 핵심은, 시퀀트 연산에서 자름 규칙(cut rule)을 사용하여 증명 가능한 식은 자름 규칙을 사용하지 않고도 증명하는 것이 가능하다는 내용이다. == 시퀀트 계산과 자름 규칙 == ...4 KB (123 단어) - 2022년 2월 12일 (토) 09:05
- === 공리와 추론 규칙 === 명제 논리의 [[추론 규칙]]과 [[공리 기본꼴]]들은 (임의의 논리식을 나타내는 기호 <math>P</math>, <math>Q</math>, <math>R</ ...10 KB (688 단어) - 2025년 3월 3일 (월) 06:04
- ...{{llang|en|implication elimination}})는 [[가언 명제]]와 그 전제로부터 그 결론을 유도해내는 [[추론 규칙]]이다. 즉, “만약 ''P''이면, ''Q''이다”와 “''P''이다”에서 “Q이다”를 추론한다.<ref>{{서적 인용 | 성=Jag [[분류:추론 규칙]] ...2 KB (103 단어) - 2022년 7월 28일 (목) 00:53