검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- [[수학]]과 [[컴퓨터 과학]]에서 '''재귀적 정의''' 또는 '''귀납적 정의'''는 [[집합]] 내의 다른 원소를 통해 그 집합의 [[원소 (수학)|원소]]를 정의할 때 사용된다<ref>{{서적 인용|url=ht [[함수]]의 [[재귀|재귀적]] [[정의 (논리학)|정의]]는 어떤 원소에 대한 함수의 결과를 다시 원소로 삼는 함수로 정의한다. 예를 들어 [[계승]] 함수 {{수학|''n''!}}는 다음과 ...11 KB (383 단어) - 2024년 5월 18일 (토) 10:16
- [[컴퓨터 과학]] 내에서 '''사용-정의 체인''' ( ''UD Chain'' )은 [[변수 (컴퓨터 과학)|변수]]의 사용인 U와 해당 변수의 다른 정의의 개입없이, 그 사용 ''UD Chain'' 의 대응되는 개념으로 '''정의-사용 체인''' ( ''DU Chain'' )이 있다. 이것은 변수의 정의인 D와 다른 정의의 개입없이, 그 정의에서 도달할 수 있는 ...9 KB (471 단어) - 2023년 6월 4일 (일) 22:01
- [[모형 이론]]에서 '''정의 가능 집합'''(定義可能集合, {{llang|en|definable set}})은 어떤 주어진 언어의 [[모형 (논리학)|모형]] 속의 == 정의 == ...8 KB (674 단어) - 2025년 2월 6일 (목) 02:27
- [[파일:Injection keine Injektion 2.svg|섬네일|오른쪽|부분 정의 함수의 예]] [[파일:Injection auch noch eine Injektion.svg|섬네일|오른쪽|단사 부분 정의 함수의 예]] ...12 KB (1,137 단어) - 2024년 5월 18일 (토) 12:34
- [[수리 논리학]]에서 '''타르스키의 정의 불가능성 정리'''({{llang|en|Tarski's undefinability theorem}})는 형식 [[의미론]]에 있어서 자 '''타르스키의 정의 불가능성 정리 (산술)''': T*를 정의하는 L-논리식 True(n)은 존재하지 않는다. 즉, 모든 L-논리식 A에 대하여 True( ...6 KB (309 단어) - 2025년 3월 8일 (토) 14:09
- [[집합론]]에서 '''순서수 정의 가능 집합'''(順序數定義可能集合, {{llang|en|ordinal-definable set}})은 유한 개의 [[순서수]]를 포함하 == 정의 == ...3 KB (135 단어) - 2024년 5월 18일 (토) 10:46
문서 내용 일치
- == 정의 == ...356 바이트 (12 단어) - 2022년 5월 7일 (토) 01:41
- == 정의 == ...359 바이트 (12 단어) - 2024년 5월 6일 (월) 13:20
- == 정의 == ...349 바이트 (13 단어) - 2022년 5월 7일 (토) 01:13
- == 정의 == ...340 바이트 (13 단어) - 2024년 5월 8일 (수) 07:19
- == 정의 == ...545 바이트 (17 단어) - 2023년 1월 31일 (화) 05:54
- == 정의 == ...649 바이트 (29 단어) - 2024년 9월 9일 (월) 06:02
- == 정의 == ...640 바이트 (30 단어) - 2024년 6월 2일 (일) 14:46
- == 정의 == == 형식적 정의 == ...1 KB (47 단어) - 2024년 5월 3일 (금) 18:22
- == 정의 == ...666 바이트 (24 단어) - 2022년 7월 28일 (목) 01:04
- == 수학적 정의 == ...752 바이트 (31 단어) - 2024년 6월 5일 (수) 00:30
- == 정의 == ...756 바이트 (34 단어) - 2025년 2월 12일 (수) 13:17
- == 정의 == ...757 바이트 (42 단어) - 2022년 7월 28일 (목) 02:09
- ==정의== ...724 바이트 (43 단어) - 2022년 4월 20일 (수) 07:27
- == 정의 == ...787 바이트 (47 단어) - 2023년 1월 21일 (토) 05:27
- ...동의 분석에서 가속도까지 혹은 일부 [[공학]]에서는 가가속도까지 다루는 것이면 충분하기 때문에 흔히 쓰이지는 않고 [[개념]]만 [[정의]]되어있다. == 정의 == ...1 KB (53 단어) - 2024년 3월 19일 (화) 00:22
- == 정의 == ...794 바이트 (30 단어) - 2024년 5월 7일 (화) 05:17
- == 정의 == ...940 바이트 (40 단어) - 2024년 5월 16일 (목) 14:39
- ==정의== ...863 바이트 (25 단어) - 2024년 7월 19일 (금) 23:44
- == 정의 == ...922 바이트 (46 단어) - 2024년 9월 9일 (월) 05:53
- == 정의 == ...965 바이트 (22 단어) - 2024년 5월 4일 (토) 11:54