검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- '''피타고라스의 정리'''({{llang|ko-KP|세평방 정리}})는 직각삼각형의 세 변에 관한 수학 [[정리]]이다. 이 정리는 다음과 같다. <div style="text-align:right; font-size:85%">'''[[피타고라스의 정리|자세히 보기...]]'''</div> ...902 바이트 (24 단어) - 2017년 10월 22일 (일) 06:16
문서 내용 일치
- {{다른 뜻|푸비니 정리||적분의 순서 변경에 관한 정리}} ...on the differentiation of series with monotonic terms, -微分定理)는 [[실해석학]]의 [[정리]]로, [[단조 함수|단조함수]]의 [[함수항급수]]가 수렴할 때 그 [[미분]] 연산의 교환 가능성을 보장해 주는 정리이다. ...1 KB (43 단어) - 2022년 2월 7일 (월) 21:38
- '''피타고라스의 정리'''({{llang|ko-KP|세평방 정리}})는 직각삼각형의 세 변에 관한 수학 [[정리]]이다. 이 정리는 다음과 같다. <div style="text-align:right; font-size:85%">'''[[피타고라스의 정리|자세히 보기...]]'''</div> ...902 바이트 (24 단어) - 2017년 10월 22일 (일) 06:16
- [[수학]]에서 '''르베그 밀도 정리'''는 임의의 밀도 측도 집합 A에 대해 A 안의 거의 모든 점에서의 밀도는 1임을 말한다. 직관적으로, 이것은 A에서의 경계(주변의 {{토막글|수학}} ...672 바이트 (19 단어) - 2022년 3월 5일 (토) 10:19
- '''카르노 정리'''(Carnot's theorem, -定理)는 [[유클리드 기하학|유클리드 평면 기하학]]의 [[정리]]로, [[프랑스]]의 [[공학자]]이자 [[수학자]]인 [[라자르 카르노]](Lazare Carnot, [[1753년]] - [[18 ...놓이는 경우이며, ABC의 안팎에 겹치거나 안쪽에만 놓이면 부호거리는 [[양수 (수학)|양수]]가 된다. 카르노의 정리는 [[일본인의 정리]]를 증명하는 데도 이용된다. ...1 KB (56 단어) - 2024년 1월 26일 (금) 15:01
- == 정리 == {{토막글|수학}} ...868 바이트 (19 단어) - 2025년 1월 31일 (금) 08:36
- [[수학]]에서 '''공간 채움 곡선'''({{llang|en|space-filling curve}}) 또는 '''페아노 곡선'''({{llan [[위상 공간 (수학)|위상 공간]] <math>X</math>으로 가는 [[전사 함수|전사]] [[연속 함수]] <math>[0,1]\to X</math> ...2 KB (69 단어) - 2024년 6월 3일 (월) 17:09
- [[대수학]]에서 '''동류항'''(同類項, {{lang|en|like terms, similar terms}})은 문자와 [[차 (수학)|차수]]가 각각 같은 항을 말하며, 이러한 항은 [[분배법칙]]을 이용하여 하나로 묶을 수 있다. 변수 자체가 어떤 것인지는 관계가 == 동류항 정리 == ...1 KB (30 단어) - 2024년 5월 6일 (월) 06:26
- '''마트베예프의 정리'''(Matveev's theorem, -定理)는 [[러시아]]의 수학자 마트베예프(Matveev)의 이름이 붙은 [[수론]]의 정리이 == 베넷의 정리 == ...2 KB (132 단어) - 2022년 2월 4일 (금) 23:25
- '''오일러의 오각수 정리'''는 [[오일러 함수]]의 무한곱표현과 무한합표현에 대한 항등식이다. {{토막글|수학}} ...669 바이트 (43 단어) - 2022년 3월 5일 (토) 09:16
- ...서 '''연역 정리'''({{llang|en|deduction theorem}})는 [[술어 논리]] 및 [[1차 논리]]의 [[메타 정리]](metatheorem)로, 전제된 논리식 E로부터 논리식 F를 [[연역]]가능하다면 [[함의]] E → F가 증명가능(공집합으로부터 {{토막글|수학}} ...1 KB (57 단어) - 2024년 5월 7일 (화) 08:54
- ...})는 [[유리형 함수]]에 관한 정리이다. [[스웨덴]]의 수학자 [[예스타 미타그레플레르]]가 제시하였다. [[바이어슈트라스의 곱 정리]]와 밀접한 관련이 있다. * 그러면, 각 <math>\{b_n\}</math>이 [[위수 (수학)|위수]]가 <math>\{k_n\}</math>인 [[극점 (복소해석학)|극점]]이 되고 <math>\{b_n\}</math>의 [[ ...3 KB (175 단어) - 2022년 7월 28일 (목) 01:54
- [[일반위상수학]]에서 '''닫힌 그래프 정리'''(닫힌graph定理, {{llang|en|closed graph theorem}})는 [[하우스도르프 공간]]으로 가는 [[연속 함 '''닫힌 그래프 정리'''에 따르면, [[위상 공간 (수학)|위상 공간]] <math>X</math>와 [[하우스도르프 공간]] <math>Y</math> 사이의 [[연속 함수]] <math>f ...2 KB (193 단어) - 2024년 12월 19일 (목) 21:04
- 수학, 특히 [[호모토피 이론]]에서 '''프로이덴탈 현수 정리'''(-懸垂定理, {{llang|en|Freudenthal suspension theorem}})는 위상 공간의 [[현수 (위상수학)| == 정리 == ...2 KB (147 단어) - 2024년 5월 11일 (토) 07:01
- '''일반화 정리'''(generalization theorem, 一般化定理)는 [[수리논리학]]의 [[정리]]로서, [[일차 논리학]]에서 추론규칙 중 하나인 일반화(generalization)가 성립함을 보장해 주는 정리이다. 이 정리는 어 * 만약 <math>G \vdash p</math> 이고 [[변수 (수학)|변수]] x가 G의 어느 논리식에서도 [[자유변수]]가 아니면, <math>G \vdash \forall x(p)</math>이다. ...1 KB (61 단어) - 2024년 6월 4일 (화) 10:36
- [[괴델의 완전성 정리]]에 따르면 잘 정의된 [[1차 논리]] 체계에서는 귀결 명제의 집합이 항상 모형을 가지므로 완전성이 성립한다. ...arphi</math>가 반드시 도출되는 성질을 구문론적 완전성(syntactical completeness)이라 한다. [[불완전성 정리]]는 어떠한 형식 체계가 재귀(recursion)의 개념을 나타낼 수 있을 정도로 강력하다면, [[무모순성]]과 구문론적 완전성을 동시 ...1 KB (36 단어) - 2022년 2월 25일 (금) 15:38
- ...프 악셀 하르나크]](Carl Gustav Axel Harnack)의 이름이 붙어 있다. [[하르나크의 부등식]] 및 [[하이네-보렐 정리]]를 사용하여 쉽게 증명할 수 있다. {u<sub>n</sub>(z)}가 [[영역 (수학)|영역]] D에서 정의된 [[복소수|복소]]변수 [[실수|실수값]] [[조화함수]]들의 [[함수열]]이고, D에서 모든 [[자연수]] ...2 KB (52 단어) - 2023년 8월 2일 (수) 05:38
- [[수학]]에서 '''오각수'''(五角數, {{llang|en|pentagonal number}})는 [[오각형]]을 사용하여 정의되는 [[다각 오각수는 [[오일러의 오각수 정리]]에도 등장한다. ...1 KB (46 단어) - 2024년 6월 16일 (일) 01:10
- ...'''바이어슈트라스 분해정리'''(Weierstrass factorization theorem)란 [[해석학 (수학)|해석학]]의 [[정리]]로서, 19세기에 [[복소해석학]]이 이룬 괄목할 만한 성과 중 하나로 간주된다. [[카를 바이어슈트라스]](Karl Theodor ...\frac{z}{a_n}\right)}</math>는 임의의 폐집합에서 [[균등수렴]]하게 된다. 그런데 [[바이어슈트라스의 균등수렴 정리]]에 의하여, 이 조건에서 <math>f</math>는 그 [[폐집합]] <math>D</math>에서 [[정칙]]이다. 따라서 <ma ...3 KB (191 단어) - 2024년 5월 7일 (화) 14:26
- 전해석 함수를 [[급수 (수학)|급수]]로 나타냈을 때 [[유한 급수]]인 것이 '''[[다항식|다항 함수]]'''이고, 무한 급수로 나타나는 것이 '''초월 전해석 === 리우빌 정리 === ...3 KB (110 단어) - 2022년 4월 19일 (화) 02:28
- 4k+1의 꼴의 소수들은 [[페르마 두 제곱수 정리]]에 의하여 두 제곱수의 합으로 표현되어 가우스 소수에서 제외되기 때문에 자연수 소수이면서 동시에 가우스 소수인 소수들은 4k+3꼴의 == 페르마 두 제곱수 정리 == ...2 KB (73 단어) - 2022년 12월 15일 (목) 10:46