21 처지: EXPSPACE, 멱등법칙, 모노이드, 반군, 괴델의 불완전성 정리, 국소화 (범주론), 스티븐 클레이니, 자유 대상, 자유군, 재귀 열거 언어, 정렬 원순서 집합, 중심화 부분 모노이드, 컴퓨팅 문서 색인, 컴퓨터 과학자 목록, 쿠라토프스키 모노이드, 투에-모스 수열, 수학 기호, 오토마타 이론, 형식 언어, 사전식 순서, 환 (수학).
EXPSPACE
산 복잡도 이론에서 EXPSPACE는 결정론적 튜링 기계가 \colorBlueO(2^p(n)) 공간을 써서 풀 수 있는 판정 문제의 집합이.
새로운!!: 클레이니 스타와 EXPSPACE · 더보기 »
멱등법칙
멱등법칙(冪等法則) 또는 멱등성(冪等性)은 수학이나 전산학에서 연산의 한 성질을 나타내는 것으로, 연산을 여러 번 적용하더라도 결과가 달라지지 않는 성질을 의미.
새로운!!: 클레이니 스타와 멱등법칙 · 더보기 »
모노이드
상대수학에서, 모노이드()는 항등원을 갖는, 결합 법칙을 따르는 이항 연산을 갖춘 대수 구조이.
새로운!!: 클레이니 스타와 모노이드 · 더보기 »
반군
상대수학에서, 반군(半群)은 결합 법칙을 따르는 하나의 이항 연산이 부여된 대수 구조이.
새로운!!: 클레이니 스타와 반군 · 더보기 »
괴델의 불완전성 정리
수리논리학에서, 괴델의 불완전성 정리()는 페아노 공리계를 포함하는 모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 무모순성을 증명할 수 없다는 정리.
새로운!!: 클레이니 스타와 괴델의 불완전성 정리 · 더보기 »
국소화 (범주론)
범주론에서, 국소화(局所化)는 범주의 일부 사상들을 동형 사상으로 만드는 과정이.
새로운!!: 클레이니 스타와 국소화 (범주론) · 더보기 »
스티븐 클레이니
스티븐 콜 클레이니(1909~1994)는 미국의 수학자이.
새로운!!: 클레이니 스타와 스티븐 클레이니 · 더보기 »
자유 대상
범주론과 추상대수학에서, 자유 대상(自由對象)은 망각 함자의 왼쪽 수반 함자의 상이.
새로운!!: 클레이니 스타와 자유 대상 · 더보기 »
자유군
에서, 자유군(自由群)은 그 아무런 관계를 갖지 않는 표시를 가질 수 있는 군이.
새로운!!: 클레이니 스타와 자유군 · 더보기 »
재귀 열거 언어
재귀 열거 언어(귀납적 가산 언어), 부분 결정성 언어 또는 튜링 수리성 언어는 계산 이론과 수리논리학에서 다루는 형식 언어의 종류로, 문자열의 집합의 재귀 열거인 부분집합이.
새로운!!: 클레이니 스타와 재귀 열거 언어 · 더보기 »
정렬 원순서 집합
순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.
새로운!!: 클레이니 스타와 정렬 원순서 집합 · 더보기 »
중심화 부분 모노이드
상대수학에서, 중심화 부분 모노이드(中心化部分monoid)는 어떤 모노이드의 부분 집합과 가환하는 모든 원소로 구성된 부분 모노이드이.
새로운!!: 클레이니 스타와 중심화 부분 모노이드 · 더보기 »
컴퓨팅 문서 색인
항목: 프로그래머의 목록, 컴퓨팅 인물의 목록, 컴퓨터 과학자의 목록, 기본 컴퓨터 과학 주제의 목록, 알고리즘 및 데이터 구조 관련 용어 목록.
새로운!!: 클레이니 스타와 컴퓨팅 문서 색인 · 더보기 »
컴퓨터 과학자 목록
이 문서는 컴퓨터 과학자의 목록으로서, 컴퓨터 과학 분야에서 활동한 연구가와 저술가의 목록이.
새로운!!: 클레이니 스타와 컴퓨터 과학자 목록 · 더보기 »
쿠라토프스키 모노이드
일반위상수학에서, 쿠라토프스키 모노이드()는 주어진 위상 공간의 부분 집합 위의 폐포 · 내부 · 여집합 연산들로 구성된 모노이드이.
새로운!!: 클레이니 스타와 쿠라토프스키 모노이드 · 더보기 »
투에-모스 수열
이 그래픽은 투에 모스 수열의 반복적이고 상보적인 생성을 나타낸다. 수학에서, 투에-모스 수열(), 또는 프로헷-투에-모스 수열()은 0에서 시작해서 앞의 수열의 불 보수를 덧붙여서 얻어지는 이진 수열 (0과 1의 무한수열)이.
새로운!!: 클레이니 스타와 투에-모스 수열 · 더보기 »
수학 기호
수학 기호는 수학에서 쓰는 기호이며 수, 계산, 논리 등 수학의 개념을 간결하게 표현하기 위해 사용.
새로운!!: 클레이니 스타와 수학 기호 · 더보기 »
오토마타 이론
결정적 유한 오토마타의 예. S1, S2는 상태이고, 1과 0은 기계가 입력으로 받아들이는 문자이다. 이 기계는 1과 0으로 이루어진 모든 가능한 문자열 중 0이 짝수 개인 것을 인지하고, 그렇지 않은 것을 버린다. 오토마타 이론()은 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 분야이.
새로운!!: 클레이니 스타와 오토마타 이론 · 더보기 »
형식 언어
형식 언어는 유한한 종류의 문자로 이루어진 유한한 길이의 문자열의 집합을 말. 형식 언어는 수학, 논리학, 언어학, 정보 이론 등에서 사용하고 있으며, 또한 계산가능성 이론과 밀접하게 관련되어 있.
새로운!!: 클레이니 스타와 형식 언어 · 더보기 »
사전식 순서
순서론에서, 사전식 순서(辭典式順序)는 여러 개의 부분 순서 집합들의 곱집합 위에 존재하는 부분순서이.
새로운!!: 클레이니 스타와 사전식 순서 · 더보기 »
환 (수학)
상대수학에서, 환(環)은 덧셈과 곱셈이 정의된 대수 구조의 하나이.
새로운!!: 클레이니 스타와 환 (수학) · 더보기 »