산 이론에서, 재귀 열거 집합(Recursively enumberable set, 귀납 가산 집합), 열거 가능 집합(Enumerable set), 계산 가능 집합(computable set), 준결정성 집합(semidecidable set), 튜링 인식 가능 집합(Turing-recognizable set)은 다음 조건을 만족하는 집합 S를 말.

새로운!!: 1차 논리와 재귀 열거 집합 · 더보기 »

작은 범주

범주론에서, 작은 범주(-範疇)는 그 대상의 모임과 사상의 모임이 충분히 “작은” 범주를 말. 그 정확한 의미는 사용하는 수학 기초론에 따라 달라지는데, 예를 들어 그로텐디크 전체를 사용할 경우 대상과 사상의 집합이 사용되는 그로텐디크 전체의 원소이어야.

새로운!!: 1차 논리와 작은 범주 · 더보기 »

제2차 세계 대전

제2차 세계 대전(또는 World War II)은 1939년 9월 1일부터 1945년 9월 2일까지 치러진, 인류 역사상 가장 많은 인명 피해와 재산 피해를 남긴 가장 파괴적인 전쟁이.

새로운!!: 1차 논리와 제2차 세계 대전 · 더보기 »

전건 긍정의 형식

전건 긍정의 형식(前件肯定形式) 또는 전건긍정식은 고전논리학의 단순하고 유효한 논증식 중 하나이.

새로운!!: 1차 논리와 전건 긍정의 형식 · 더보기 »

정의역

수학에서, 어떤 함수의 정의역(定義域)은 그 함수의 값이 정의된 집합이.

새로운!!: 1차 논리와 정의역 · 더보기 »

집합

9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.

새로운!!: 1차 논리와 집합 · 더보기 »

집합론

집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.

새로운!!: 1차 논리와 집합론 · 더보기 »

찰스 샌더스 퍼스

스 샌더스 퍼스(1839년~1914년)는 미국의 철학자이다. 현대 분석철학 및 기호논리학의 뛰어난 선구자 중 한 사람이다.

새로운!!: 1차 논리와 찰스 샌더스 퍼스 · 더보기 »

체 (수학)

상대수학에서, 체(體)는 사칙연산이 자유로이 시행될 수 있고, 산술의 잘 알려진 규칙들을 만족하는 대수 구조이.

새로운!!: 1차 논리와 체 (수학) · 더보기 »

체르멜로-프렝켈 집합론

수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.

새로운!!: 1차 논리와 체르멜로-프렝켈 집합론 · 더보기 »

콤팩트성 정리

수리논리학에서 콤팩트성 정리(compact性定理)는 만약 어떤 1차 논리 이론의 모든 유한 집합이 만족 가능하다면, 이론 전체가 만족 가능하다는 정리.

새로운!!: 1차 논리와 콤팩트성 정리 · 더보기 »

술어 논리

술어 논리(述語論理) 또는 함수 논리(函數論理) 또는 양화 논리(量化論理)는 명제에 '주어'와 '술어'의 구조가 존재하고, '주어'가 될 수 있는 대상에 대한 한정 기호를 사용할 수 있는 논리이.

새로운!!: 1차 논리와 술어 논리 · 더보기 »

순서체

수학에서, 순서체(順序體)는 전순서가 주어진 체이.

새로운!!: 1차 논리와 순서체 · 더보기 »

형 이론

형 이론()은 수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미.

새로운!!: 1차 논리와 형 이론 · 더보기 »

에른스트 체르멜로

에른스트 프리드리히 페르디난트 체르멜로(1871년 7월 27일 ~ 1953년 5월 21일)는 독일 수학자이며 철학자이.

새로운!!: 1차 논리와 에른스트 체르멜로 · 더보기 »

헬싱키

헬싱키()는 핀란드의 수도이.

새로운!!: 1차 논리와 헬싱키 · 더보기 »

연산

연산은 다음과 같은 뜻을 갖.

새로운!!: 1차 논리와 연산 · 더보기 »

사상 (수학)

수학에서 사상(寫像)은 수학적 구조를 보존하는 함수의 개념을 추상화한 것이.

새로운!!: 1차 논리와 사상 (수학) · 더보기 »

토랄프 스콜렘

알베르트 스콜렘(1887–1963)은 노르웨이의 수학자.

새로운!!: 1차 논리와 토랄프 스콜렘 · 더보기 »

할레

급수탑 할레() 또는 할레 (잘레)(), 할레안데어잘레()는 독일 동부 작센안할트 주에 있는 도시이.

새로운!!: 1차 논리와 할레 · 더보기 »

함응이 황제

응이(1871년 ~ 1943년)는 베트남 응우옌 왕조의 제8대 황제(재위: 1884년 ~ 1885년)이.

새로운!!: 1차 논리와 함응이 황제 · 더보기 »

필요충분조건

요조건(必要條件), 충분조건(充分條件), 필요충분조건(必要充分條件)은 논리학에서 논증 진술들간의 함축관계를 일컫는 말이.

새로운!!: 1차 논리와 필요충분조건 · 더보기 »

2차 논리

수리논리학에서, 2차 논리(二次論理)는 임의의 다항 관계 및 다항 연산에 대한 변수 및 이에 대한 전칭·존재 기호를 사용할 수 있는 논리이.

새로운!!: 1차 논리와 2차 논리 · 더보기 »

여기로 리디렉션합니다

1차 논리식, 1차논리, 일차 논리, 일차 논리학.

유니온백과는 개념지도 또는 시맨틱 네트워크로서 백과 사전 사전으로 구성됩니다. 각 개념과 그 관계에 대한 간략한 정의를 제공합니다.

이것은 개념 다이어그램의 기초가되는 거대한 온라인 정신지도입니다. 무료로 사용할 수 있으며 각 기사 나 문서를 다운로드 할 수 있습니다. 교사, 교육자, 학생 또는 학생이 사용할 수있는 학습, 연구, 교육, 학습 또는 교수법을위한 도구, 자료 또는 참고 자료입니다. 학교, 초등, 중등, 고등학교, 중급, 기술 학위, 대학, 대학교, 학부, 석사 또는 박사 학위 과정; 논문, 보고서, 프로젝트, 아이디어, 문서, 설문 조사, 요약 또는 논문. 다음은 정보가 필요한 각 중요도의 정의, 설명, 설명 또는 의미와 관련 개념을 용어집으로 나열한 것입니다. 한국어, 영어, 스페인 사람, 포르투갈 인, 일본어, 중국말, 프랑스 국민, 독일 사람, 이탈리아 사람, 광택, 네덜란드 사람, 러시아인, 아라비아 말, 힌디 어, 스웨덴어, 우크라이나 말, 헝가리 인, 카탈로니아 사람, 체코 사람, 헤브라이 사람, 덴마크 말, 핀란드어, 인도네시아 인, 노르웨이 인, 루마니아 사람, 터키어, 베트남 사람, 태국어, 그리스 사람, 불가리아 사람, 크로아티아어, 슬로바키아 사람, 리투아니아 사람, 필리핀 인, 라트비아 사람, 에스토니아 사람 와 슬로베니아로 제공됩니다. 곧 더 많은 언어.

모든 정보는 위키백과에서 추출되었으며 라이센스 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0.

유니온백과는 Wikimedia Foundation에서 보증하거나 제휴하지 않습니다.

Google Play, Android 및 Google Play 로고는 Google Inc.의 상표입니다.

개인 정보 정책