(resource 보기 전 내 생각) '''정의'''란 [[이름,name]] -> [[개념,concept]] or [[대상,object]] or ....something or anything .... 으로의 [[바인딩,binding]]? cs,pl에선 확실히 이렇다 ---- qqq '''정의'''의 대상^^target or object^^은?? '[[개념,concept]]을 정의한다' ... 대충 [[철학,philosophy]]쪽? i.e. 매우 일반적으로는. ---- Sub: inductive_definition 귀납적정의 inductive_definition ? - [[귀납,induction]] [[VG:귀납,induction]] recursive_definition 재귀적정의 recursive_definition ? Namu:수열의%20귀납적%20정의 WpEn:Recursive_definition = https://en.wikipedia.org/wiki/Recursive_definition (위 둘 같은것?) "a recursive definition, or inductive definition, " (we) - 는 같다고 함 이 때는 base_case (is: [[경우,case]]) =,base_case . base_case { 번역? 기본경우(????) 기초적경우? NdEn:base NdEn:basic [[WpEn:Recursion#base_case]] = https://en.wikipedia.org/wiki/Recursion#base_case (Redirected from Base case (recursion)) // [[WpEn:Base_case_(recursion)]] [[WpEn:Base_case]] <- 두가지 "base case" Naver:"base case" Ggl:"base case" Srch:base_case }// base case [[piecewise_definition]] =,piecewise_definition . piecewise_definition WtEn:piecewise_definition ? Namu:조각적%20정의 [[DTD,Document_Type_Definition]] - curr at [[문서,document]] [[undefined]] =,undefined =,undefined . undefined [[undef]] =,undef =,undef . undef { WtEn:undef ? Sub: [[undefined_variable]] - curr at [[변수,variable]] [[undefined_behavior]] =,undefined_behavior . undefined_behavior |=,UB UB WtEn:undefined_behavior ? https://en.wikipedia.org/wiki/Undefined_behavior 정의되지 않은 [[행동,behavior]] 컴퓨터 프로그램 얘기이므로 행동 대신 다른 것(동작, and? ...)으로 번역해도 무방 번역? 미정의 행동|동작? 비정의 행동/동작? ... undefined의 번역을 먼저 생각해야 함. Compare: [uninitialized] ([[초기화,initialization]]되지 않은) [[널,null]] '아직 정의되지 않은 것'의 표시를 null로 하는 걸 많이 본 듯 한데 구체적 예시 보이면 추가 https://foldoc.org/undefined https://mathworld.wolfram.com/Undefined.html [[WpEn:Undefined_(mathematics)]] = https://en.wikipedia.org/wiki/Undefined_(mathematics) } [[well-definedness]] =,well-definedness . well-definedness [[welldefinedness]] =,welldefinedness . welldefinedness { '''well-definedness''' n. '''well-defined''' adj. MKL [[정의,definition]] [[유일성,uniqueness]] [[ambiguity]] tmp https://namu.wiki/w/동치관계#s-4.2 .....여기선 명확성으로 번역함. [[well-defined_expression]] =,well-defined_expression . well-defined_expression { '''well-defined expression''' https://en.wikipedia.org/wiki/Well-defined_expression Up: [[well-definedness]] [[식,expression]] } // well-defined expression Ggl:"well-defined expression" WtEn:well-definedness [[WtEn:well-defined]] = https://en.wiktionary.org/wiki/well-defined [[Zeta:잘_정의됨]] https://ko.wikipedia.org/wiki/잘_정의됨 정의가 유일한 것을 가리키고 // [[유일성,uniqueness]] [[모순,contradiction]]이나 [[ambiguity]]이 없는... // [[애매성,ambiguity]] or [[모호성,ambiguity]]. https://namu.wiki/w/잘%20정의됨 https://librewiki.net/wiki/잘_정의됨 https://mathworld.wolfram.com/Well-Defined.html ... Bing:"잘 정의됨" Bing:"well-definedness" "잘 정의됨" "well-definedness" Ggl:"well-definedness" Naver:"well-definedness" } // well-definedness Ggl:"well-definedness" Naver:well-definedness [[circular_definition]] =,circular_definition =,circular_definition . circular_definition { https://en.wiktionary.org/wiki/circular_definition } = intensional definition vs extensional definition = WtEn:intensional NdEn:intensional WtEn:extensional NdEn:extensional intensional definition extensional definition https://en.wiktionary.org/wiki/extensional_definition https://en.wiktionary.org/wiki/intensional_definition Bing:"intensional extensional definition" Ggl:"intensional extensional definition" Naver:"intensional extensional definition" "intensional extensional definition" rel. https://en.wiktionary.org/wiki/intensional_logic = 정의가능성 definability = [[정의가능성,definability]] =정의가능성,definability =,definability 정의가능성 definability { WtEn:definability (뻔한말) https://ncatlab.org/nlab/show/definability Cmp: [[결정가능성,decidability]](w at RR) [[집합,set]]: [[정의가능집합,definable_set]] =정의가능집합,definable_set =,definable_set 정의가능집합 definable_set { definable set [[정의가능성,definability]] [[집합,set]] Sub: [[ordinal_definable_set]] =,ordinal_definable_set . ordinal_definable_set { '''ordinal definable set''' '''''ordinal definable''' adj.'' 순서수 정의 가능 집합 (wk) MKL [[집합,set]] [[정의가능집합,definable_set]] https://ko.wikipedia.org/wiki/순서수_정의_가능_집합 https://en.wikipedia.org/wiki/Ordinal_definable_set https://ja.wikipedia.org/wiki/順序数定義可能集合 } // ordinal definable set Ggl:"ordinal definable set" WpKo:정의_가능_집합 = https://ko.wikipedia.org/wiki/정의_가능_집합 WpEn:Definable_set = https://en.wikipedia.org/wiki/Definable_set WpJa:定義可能集合 = https://ja.wikipedia.org/wiki/定義可能集合 https://ncatlab.org/nlab/show/definable+set Rel [[정의가능부분집합,definable_subset]] - [[부분집합,subset]] { Rel [[구성가능집합,constructible_set]] =구성가능집합,constructible_set =,constructible_set 구성가능집합 constructible_set { constructible set Twins: [[https://terms.naver.com/entry.naver?docId=5668898&cid=60207&categoryId=60207 수학백과: 구성 가능 집합]] [[구성가능전체집단,constructible_universe]]의 원소인 집합이 구성가능집합. [[WpEn:Constructible_set_(topology)]] = https://en.wikipedia.org/wiki/Constructible_set_(topology) = https://en.wikipedia.org/wiki/Constructible_set_%28topology%29 https://ncatlab.org/nlab/show/constructible+set "constructible set" Ndict:"constructible set" Ggl:"constructible set" } // 구성가능집합 tmp bmks ko [[https://terms.naver.com/entry.naver?docId=5668898&cid=60207&categoryId=60207 수학백과: 구성 가능 집합]]에서 언급. } "정의가능집합" Ndict:정의가능집합 Ggl:정의가능집합 Bing:정의가능집합 "definable set" Ggl:"definable set" Naver:"definable set" Bing:"definable set" Up: [[정의가능성,definability]] [[집합,set]] } // 정의가능집합 ... definability Ggl:definability Naver:definability Bing:definability 정의가능성 Ggl:정의가능성 Naver:정의가능성 Bing:정의가능성 Rel: [[정의,definition]] } = ''정리 할까말까? cleanup or del'' = https://namu.wiki/w/수열의%20귀납적%20정의 [[귀납,induction]]적 ie [[수학적귀납법,mathematical_induction]]적 정의 VG: 귀납,induction적 ie VG: 수학적귀납법,mathematical_induction 적 정의 i.e. 재귀적 정의 enumerative_definition https://en.wiktionary.org/wiki/enumerative_definition = Cmp = Compare: [[선언,declaration]] = 표기 = A =,,def,, B : "A는 B로 정의된다." A: 피정의항 B: 정의항 > 피정의항 =,,def,, 정의항 예: 총각 =,,def,, 결혼하지 않은 남자 = PL > C++ = C++ Definitions and ODR (One Definition Rule) https://en.cppreference.com/w/cpp/language/definition ---- https://planetmath.org/definition ---- Up: [[논리학,logic]]