브라우저보다 빠른!
24 처지: 가산 집합, 계수, 계산 가능성 이론, 계산 복잡도 이론, 관계 (수학), 부분 순서 집합, 그래프, 그래프 이론, 논리학, 이산 공간, 정보 이론, 정수, 정수론, 조합론, 증명 이론, 집합론, 컴퓨터 과학, 연속, 풀커슨상, 프로그래밍 언어, 선형대수학, 함수, 알고리즘, 확률론.
가산 집합
산 집합(可算集合, countable set)은 자연수의 집합으로의 단사 함수가 존재하는 집합을 말. 즉 집합의 원소들이 가산(덧셈과 뺄셈)이 가능함을 말. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이.
새로운!!: 이산수학와 가산 집합 · 더보기 »
계수
수학에서, 계수(係數)는 어느 변수에 일정하게 곱해진 상수 인자이.
계산 가능성 이론
산 가능성 이론(計算可能性理論) 또는 재귀 이론(再歸理論)은 수학기초론의 중요한 분야이자 컴퓨터 과학에서는 계산 이론의 한 갈래이.
새로운!!: 이산수학와 계산 가능성 이론 · 더보기 »
계산 복잡도 이론
산 복잡도 이론(Computational complexity theory)은 컴퓨터 과학에서 계산 이론의 분야로, 계산 문제를 푸는 알고리즘을 복잡도에 따라 분류하여 문제의 모임을 구성하는 방법을 연. 이 때 알고리듬의 수행은 실제 컴퓨터가 할 수 있지만, 평가하는 데에는 튜링 기계와 관련이 있는 정량화된 방법을 사용.
새로운!!: 이산수학와 계산 복잡도 이론 · 더보기 »
관계 (수학)
집합론에서 관계(關係)는 곱집합의 부분 집합이.
새로운!!: 이산수학와 관계 (수학) · 더보기 »
부분 순서 집합
''y'', ''z'') 순서가 정해지지 않은 것이다. 순서론에서, 부분 순서(部分順序) 또는 반순서(半順序)는 순서·나열 등의 개념을 추상화한 이항 관계이.
새로운!!: 이산수학와 부분 순서 집합 · 더보기 »
그래프
6개의 꼭짓점과 7개의 변을 갖는 그래프 수학에서, 더 구체적으로 그래프 이론에서, 그래프()는 일부 객체들의 쌍들이 서로 연관된 객체의 집합을 이루는 구조이.
그래프 이론
6개의 꼭짓점과 7개의 변을 갖는 그래프 그래프 이론(graph理論)은 수학에서 객체 간에 짝을 이루는 관계를 모델링하기 위해 사용되는 수학 구조인 그래프에 대한 연구이.
새로운!!: 이산수학와 그래프 이론 · 더보기 »
논리학
리학(論理學,, logic)은 인간의 두뇌 활동과 관련하여 그 원리들을 분석하고 명제화하여 체계화하는 학문이.
이산 공간
일반위상수학에서, 이산 공간(離散空間)은 모든 부분집합이 열린집합인 위상 공간이.
새로운!!: 이산수학와 이산 공간 · 더보기 »
정보 이론
정보 이론(情報理論)은 최대한 많은 데이터를 매체에 저장하거나 채널을 통해 통신하기 위해 데이터를 정량화하는 응용 수학의 한 분야이.
새로운!!: 이산수학와 정보 이론 · 더보기 »
정수
정수들의 집합은 순서에 따라 직선 위에 나타낼 수 있다. 수학에서, 정수(整數)는 양의 정수(1, 2, 3,...) 및 음의 정수(-1, -2, -3,...) 및 0으로 이루어진 수 체계이.
정수론
타원곡선 정수론(整數論) 또는 수론(數論)은 수학의 한 분야로, 각종 수의 성질을 대상으.
조합론
조합론(組合論) 또는 조합수학(組合數學)은 유한하거나 가산적인 구조들에 대하여, 어떤 주어진 성질을 만족시키는 것들의 가짓수나 어떤 주어진 성질을 극대화하는 것을 연구하는 수학 분야이.
증명 이론
수리논리학에서, 증명 이론(證明理論)은 증명을 형식적인 수학적 개체로 표상하여 수학적 기법으로 이용하여 증명을 객관적으로 분석하는 것을 가능하는 이론이.
새로운!!: 이산수학와 증명 이론 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
컴퓨터 과학
학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이.
새로운!!: 이산수학와 컴퓨터 과학 · 더보기 »
연속
연속(連續, Continuity)은 다음을 의미.
풀커슨상
버트 레이 풀커슨 상()은 이산수학 분야에서 뛰어난 논문에 주어지는 상이.
새로운!!: 이산수학와 풀커슨상 · 더보기 »
프로그래밍 언어
C 프로그래밍 언어로 작성된 단순한 컴퓨터의 프로그램의 소스 코드. 컴파일되어 실행되었을 때 헬로 월드 메시지를 보여주고 있다. 구문 강조는 프로그래머들이 소스 코드의 요소를 인지할 수 있게 도움을 준다. 프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이.
새로운!!: 이산수학와 프로그래밍 언어 · 더보기 »
선형대수학
3차원 유클리드 공간 R³은 벡터 공간이고, 원점을 지나가는 직선과 평면들은 R³의 부분공간이다. 선형대수학(線型代數學)은 벡터 공간, 벡터, 선형 변환, 행렬, 연립 선형 방정식 등을 연구하는 대수학의 한 분야이.
새로운!!: 이산수학와 선형대수학 · 더보기 »
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
알고리즘
알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.
새로운!!: 이산수학와 알고리즘 · 더보기 »
확률론
주사위를 던져서 얻는 결과는 확률변수로 나타낼 수 있다. 확률론(確率論)은 확률에 대해 연구하는 수학의 한 분야이.
