항목
-
정리, 따름정리, 보조정리란?수학과 논리학에서 정리(theorem)는 누구나 인정하는 수학적 연산과 논증을 통해 참임을 증명한 명제다. 일반적으로, 정리는 보다 큰 이론의 일부인 몇몇 일반적인 원리를 토대로 하며, 공리와 다른 점은 그 정리를 받아들이기 위한 증명이 필요하다는 것이다. 잘 알려진 몇몇 정리 중에는 발견자의 이름을 따서 붙인...
-
정리 정례(丁禮), 丁吏고려시대의 이속직.내용 일명 정례(丁禮)라고도 하였으며, 관인(官人)들에게 분급되어 호종(扈從)의 일을 담당하거나 관리의 행차시 앞에서 안내하였다. 장정의 남자들을 뽑아 관인들의 관품(官品)에 따라 분급하였으며, 그 수에 차이가 있었다. 국상(國相)은 4인, 3품 이상의 열경(列卿)은 3인, 정랑(正郎)은 2인, ...
- 시대 :
- 고려
- 성격 :
- 관직
- 유형 :
- 제도
- 분야 :
- 역사/고려시대사
-
정리 증명가능한 논리식, theorem[1] 소프트웨어 기초 분야. 증명이 가능한 논리식(provable formula)이라고도 한다. 형식적 체계 T에서 논리식 A에 이르는 증명이 존재할 때, 즉 T의 공리에 추론규칙을 반복하여 적용하는 것에 따라 A를 도입할 수 있을 때, A는 T의 정리이다라고 한다. 1계 술어논리의 경우, 주어진 논리식의 열이 증명인지 아닌지는 ...
-
정리 鄭釐고려후기 정언을 역임한 관리. 문신.생애 및 활동사항 본관은 동래(東萊). 1367년(공민왕 16) 정언(正言)으로 재직할 때 공민왕과 신돈(辛旽)의 정책에 불만을 품었다고 하여 같은 직에 있던 안면(安勉), 좌사의대부(左司議大夫) 신덕린(申德隣), 헌납 박진손(朴晉孫)·이전(李竱) 등과 함께 파면되었다. 1382년(우왕...
- 시대 :
- 고려
- 출생 :
- 미상
- 사망 :
- 미상
- 경력 :
- 정언(正言)
- 유형 :
- 인물
- 직업 :
- 관리, 문신
- 성별 :
- 남
- 분야 :
- 역사/고려시대사
- 본관 :
- 동래(東萊)
-
정리 (홍콩의 배우) Ching Li, 井莉영화인 정보 칭 리(井莉, 1945년 10월 29일 ~ 2017년 12월 9일)은 홍콩의 배우이다. 《소림여무당》 (1983년) 《사조영웅전 3》 (1981년) 《초류향편복전기》 (1978년) 《수화대도》 (1978년) 《천애명월도》 (1976년) 《자마》 (1973년) 《구련환》 (1972년) 《사기사》 (1972년) 《마영정》 (1972년) 《흑객》 (1972년...도서 위키백과
-
부실채권정리기금「금융회사 부실자산 등의 효율적 처리 및 한국자산관리공사의 설립에 관한 법률」('97.8.22일 제정) 제38조에 의거 금융기관이 보유하고 있는 부실채권의 효율적인 정리를 위하여 한국자산관리공사에 한시적(5년)으로 설치 ・ 운용하였다. 2013.2.22일자로 종료되었다.
-
코로나바이러스감염증-19 백신 용어 정리 terminology for COV..계대 미생물·세포배양을 위해 새로운 용기와 배지에 옮겨 증식시키는 과정. 국가출하승인 생물학적제제(백신·혈장분획제제·항독소 등)를 판매하기 전에 국가가 제조단위별 ‘검정시험’과 제조 및 품질시험 결과에 대한 ‘자료검토’를 통해 품질을 한 번 더 확인하는 제도 국제의약품규제조화위원회(ICH) 의약품...
-
화폐정리사업 貨幣整理事業내용 화폐정리사업으로 근대화폐제도가 확립될 수 있었고, 또한 전통적인 한국사회의 변화를 촉진한 중요한 계기가 되었다. 한국침략의 기반을 다지려는 일제의 적극적인 간섭 하에 추진되어 한국정부의 화폐에 대한 지배권이 사실상 일제에게 빼앗기는 결과를 낳았다. 1876년(고종 13) 강화도조약이 체결된 이후 한일간...
- 시대 :
- 근대
- 유형 :
- 제도
- 시행일 :
- 1904년
- 분야 :
- 역사/근대사
