#noindex
= 논리학의 literal =
'''리터럴'''은 atomic formula(aka 'atom' or 'prime formula') or its negation.
'''리터럴'''이란, [[원자식,atomic_formula]]([[원자식,atom]]) 혹은 그것의 [[부정,negation]].

'''리터럴'''들의 [[disjunction]]은 [[절,clause]].

[[아톰,atom]]

= boolean algebra의 literal =
a variable or its complement, in a logic expression. / 그것을 곱한 것도.
ex. ab'c+a'b+a'bc'+b'c' 에서 10개의 literals: a, b, c, a', b', c', ab'c, a'b, a'bc', b'c'

[[Boolean_variable]] or its [[complement]] / 그것의 곱..... [[불_식,Boolean_expression]]에서.

...또는 (다른 소스) variable or its complement만 '''literal'''이라 하기도 함. 위 예에서 a b c a' b' c' 6개가 '''literal'''s.
이때 하나 이상의 literal을 AND 연산자로 결합한 것(즉, 리터럴들의 논리곱)을 [[곱항,product_term]]이라 함. a, a'b, 등등.
그리고 product term with n literals(n은 모든 변수의 수)를 [[최소항,minterm]]이라 함. (ex. 세 변수 a, b, c가 있을 때 abc, abc', ...., a'b'c' 이 8개가 minterms)

= PL의 literal =

숫자리터럴, - [[수,number]] [[숫자,digit]]
https://narucode.org/0/숫자_리터럴
Bing:숫자리터럴
Ggl:숫자리터럴
Naver:숫자리터럴 ... rel. [[magic_number]]

[[integer_literal]] =,integer_literal =,integer_literal . integer_literal
integer literal
정수리터럴
[[정수,integer]]
[[WpEn:Integer_literal]]
= https://en.wikipedia.org/wiki/Integer_literal
정수리터럴
"integer literal"

[[character_literal]] =,character_literal =,character_literal . character_literal
문자리터럴
[[문자,character]] [[리터럴,literal]]
C : https://en.cppreference.com/w/c/language/character_constant
C++ : https://en.cppreference.com/w/cpp/language/character_literal
[[WpEn:Character_literal]]
= https://en.wikipedia.org/wiki/Character_literal
"character literal"
문자리터럴


문자열리터럴 - [[문자열,string]]
[[문자열리터럴,string_literal]] =,string_literal =,string_literal . string_literal
string literal
WtEn:string_literal ?
https://narucode.org/0/문자열_리터럴
문자열리터럴
"string literal"
~~Ndict:문자열리터럴 x~~
Naver:문자열리터럴
Ggl:문자열리터럴
Bing:문자열리터럴

[[template_literal]] =,template_literal =,template_literal . template_literal
{
template literal
템플릿 리터럴

WtEn:template_literal ?
WpEn:Template_literal  ?

[[js]]의 이것에대해. (js 외에서도 사용하는지?  chk)
https://developer.mozilla.org/ko/docs/Web/JavaScript/Reference/Template_literals
 "'''템플릿 리터럴'''은 내장된 표현[[식,expression]]을 허용하는 문자열 리터럴^^[[string_literal]]^^입니다. 여러 줄로 이뤄진 [[문자열,string]]과 문자 보간기능^^([[string_interpolation]]?)^^을 사용할 수 있습니다. 이전 버전의 ES2015사양 명세에서는 "[[template_string]]s" (템플릿 문자열) 라고 불려 왔..."

Ggl:"템플릿 리터럴"
Bing:"템플릿 리터럴"

"template literal"
"템플릿 리터럴"
}

[[Boolean_literal]] =,Boolean_literal =,Boolean_literal . Boolean_literal
{
Boolean literal
Boolean 리터럴
https://narucode.org/0/불린_리터럴

Bing:"Boolean 리터럴"
Ggl:"Boolean 리터럴"
}

[[function_literal]] =,function_literal =,function_literal . function_literal
{
"함수 리터럴" ?

WpEn:Function_literal
 redir to => WpEn:Anonymous_function
 "anonymous_function (function_literal, lambda_abstraction(see [[람다추상화,lambda_abstraction]]), lambda_function, lambda_expression or block) is a function definition that is not bound to an identifier."

~~WtEn:function_literal x [[Date(2023-08-22T15:08:12)]]~~
Ndict x
Naver:"함수 리터럴"
Ggl:"함수 리터럴"
 검색 보면 [[anonymous_function]] 과 compared. cmp  tbw.
}



...

= mkl =
[[풀,pool]]
 [[constant_literal]] - [[constant_pool]]
 [[string_literal]] - [[string_pool]]


= bmks en =

Literals in Programming Languages
https://www.gavilan.edu/csis/languages/literals.html
"This paper covers the history and use of literals (or constants) in programming languages"


----
PL:

https://narucode.org/0/리터럴

[[WpKo:리터럴]]
 = https://ko.wikipedia.org/wiki/리터럴

[[WpEn:Literal_(computer_programming)]]
= https://en.wikipedia.org/wiki/Literal_(computer_programming)
= https://en.wikipedia.org/wiki/Literal_%28computer_programming%29

----
Logic:

[[WpEn:Literal_(mathematical_logic)]]
 = https://en.wikipedia.org/wiki/Literal_%28mathematical_logic%29