Google Play 스토어에서 Unionpedia 앱을 복원하기 위해 작업 중입니다
나가는들어오는
🌟더 나은 탐색을 위해 디자인을 단순화했습니다!
Instagram Facebook X LinkedIn

불 대수

색인 불 대수

순서론과 추상대수학, 논리학에서, 불 대수(Boole代數)는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자이.

목차

  1. 102 처지: 런던, 데카르트 닫힌 범주, 동치, 동형 사상, 마셜 하비 스톤, 멱등원, 멱집합, 모듈러 격자, 모임 (수학), 모형 이론, 명제논리, 배중률, 배타적 논리합, 백작, 반원시환, 가군, 가환환, 격자 (순서론), 결합 대수, 범주 (수학), 범주론, 범주의 동치, 곱 (범주론), 곱위상, 공작 (작위), 공집합, 분배 격자, 부분 순서 집합, 부분공간, 부정, 부정논리곱, 극대 아이디얼, 극대 원소와 극소 원소, 기저 (위상수학), 기수 (수학), 대칭 대수, 대수 구조, 대수 구조 다양체, 대합 (수학), 교집합, 남작, 드 모르간의 법칙, 디지털 회로, 논리곱, 논리합, 논리학, 논리식, 스톤-체흐 콤팩트화, 튜플, 자명환, ... 색인을 확장하십시오 (52 더) »

  2. 대수 구조

런던

()은 잉글랜드와 영국의 수도이자 최대 도시이.

보다 불 대수와 런던

데카르트 닫힌 범주

범주론에서, 데카르트 닫힌 범주(Descartes닫힌範疇,, 약자 CCC)는 사상 집합을 대상으로 간주할 수 있어, 정의역이 곱 대상인 사상을, 사상 집합을 공역으로 갖는 사상으로 치환할 수 있는 범주이.

보다 불 대수와 데카르트 닫힌 범주

동치

수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.

보다 불 대수와 동치

동형 사상

수학에서, 동형 사상(同型寫像)은 서로 구조가 같은 두 대상 사이에, 모든 구조를 보존하는 사상이.

보다 불 대수와 동형 사상

마셜 하비 스톤

마셜 하비 스톤(1903~1989)은 미국의 수학자이.

보다 불 대수와 마셜 하비 스톤

멱등원

환론과 모노이드 이론에서, 멱등원(蓂等元)은 거듭제곱하여도 변하지 않는 원소이.

보다 불 대수와 멱등원

멱집합

하세 도표로 표현한 \x, y, z\의 멱집합 원소들 집합론에서, 어떤 집합의 멱집합(冪集合)은 그 집합의 모든 부분 집합을 모은 집합이.

보다 불 대수와 멱집합

모듈러 격자

순서론에서, 모듈러 격자()는 일종의 약한 결합 법칙을 만족시키는 격자이.

보다 불 대수와 모듈러 격자

모임 (수학)

집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.

보다 불 대수와 모임 (수학)

모형 이론

수리논리학에서 모형 이론(模型理論)은 수리논리학적 도구들을 이용해 추상대수학이나 집합론의 모형을 이루는 수학적 구조를 연구하는 분야이.

보다 불 대수와 모형 이론

명제논리

명제 논리(命題論理, propositional logic)는 논리식을 이용해 명제를 기술하는 형식 체계이.

보다 불 대수와 명제논리

배중률

배중률(排中律)은 형식 논리학의 사유 법칙 중 하나이.

보다 불 대수와 배중률

배타적 논리합

배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우를 판단하는 논리 연산이.

보다 불 대수와 배타적 논리합

백작

백작의 관 백작(伯爵, 여성형: 백작부인(伯爵夫人), 여백작(女伯爵))은 동양에서는 귀족의 5계급 중 후작 다음가는 작위이.

보다 불 대수와 백작

반원시환

환론에서, 반원시환(半原始環)은 반단순 가군만으로 완전히 구조를 알 수 있는 환이.

보다 불 대수와 반원시환

가군

환론에서, 가군(加群)은 어떤 환의 작용이 주어진 아벨 군이.

보다 불 대수와 가군

가환환

환대수학에서, 가환환(可換環)이란 곱셈이 교환 법칙을 만족시키는 환이.

보다 불 대수와 가환환

격자 (순서론)

순서론에서, 격자(格子)는 두 원소 부분집합의 상한(이음)과 하한(만남)이 항상 존재하는 부분 순서 집합이.

보다 불 대수와 격자 (순서론)

결합 대수

상대수학에서, 결합 대수(結合代數)는 결합 법칙을 만족시키는 대수이.

보다 불 대수와 결합 대수

범주 (수학)

범주론에서, 범주(範疇)는 추상적인 구조와 이를 보존하는 변환의 개념을 형식화한 것이.

보다 불 대수와 범주 (수학)

범주론

수학에서, 범주론(範疇論)는 수학적인 구조와 그 사이의 관계를 범주라는 추상적 개체로 다루는 이론이.

보다 불 대수와 범주론

범주의 동치

범주론에서, 두 범주 사이의 동치(同値, equivalence (of categories))는 두 범주가 사실상 같은 구조를 지니게 하는 함자이다.

보다 불 대수와 범주의 동치

곱 (범주론)

범주론에서, 곱()은 곱집합이나 곱공간의 개념을 일반화한 개념이.

보다 불 대수와 곱 (범주론)

곱위상

일반위상수학에서, 곱위상(-位相)은 위상 공간들의 곱집합에 표준적으로 부여되는 위상이.

보다 불 대수와 곱위상

공작 (작위)

공작(公爵, Duke, 여성형: 여공작(女公爵, Duchess))은 귀족의 작위 중 하나로 오등작 중 최고위 작위이.

보다 불 대수와 공작 (작위)

공집합

공집합의 기호 수학에서, 공집합(空集合)은 원소가 하나도 없는 집합이.

보다 불 대수와 공집합

분배 격자

순서론에서, 분배 격자(分配格子)는 만남과 이음이 서로 분배 법칙을 따르는 격자이.

보다 불 대수와 분배 격자

부분 순서 집합

''y'', ''z'') 순서가 정해지지 않은 것이다. 순서론에서, 부분 순서(部分順序) 또는 반순서(半順序)는 순서·나열 등의 개념을 추상화한 이항 관계이.

보다 불 대수와 부분 순서 집합

부분공간

부분공간의 다른 뜻은 다음과 같.

보다 불 대수와 부분공간

부정

수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이.

보다 불 대수와 부정

부정논리곱

부정논리곱(否定論理積)은 주어진 복수의 명제 중 거짓이 포함되었는지 보는 논리 연산이.

보다 불 대수와 부정논리곱

극대 아이디얼

환론에서, 극대 아이디얼(極大ideal)은 환 전체가 아닌 아이디얼들의 극대 원소이.

보다 불 대수와 극대 아이디얼

극대 원소와 극소 원소

수학, 특히 순서론에서, 극대 원소(極大元素)와 극소 원소(極小元素)는 부분 순서 집합에서 그와 비교 가능한 원소들 가운데 가장 크거나 가장 작은 원소이.

보다 불 대수와 극대 원소와 극소 원소

기저 (위상수학)

일반위상수학에서, 위상 공간의 기저(基底)는 모든 열린집합을 합집합을 통해 생성할 수 있는 열린집합들이.

보다 불 대수와 기저 (위상수학)

기수 (수학)

ℵ0은 가장 작은 무한 기수이다. 수학에서, 기수(基數)는 집합의 크기를 나타내는 수이.

보다 불 대수와 기수 (수학)

대칭 대수

상대수학에서, 대칭 대수(對稱代數)는 벡터 공간(또는 가군)으로부터 생성되는 가환 결합 대수이.

보다 불 대수와 대칭 대수

대수 구조

상대수학에서, 대수 구조(代數構造)는 일련의 연산들이 주어진 집합이.

보다 불 대수와 대수 구조

대수 구조 다양체

보편 대수학에서, 대수 구조 다양체()는 어떤 항등식들을 만족시키는 대수 구조들의 모임이.

보다 불 대수와 대수 구조 다양체

대합 (수학)

합의 예. 수학에서, 대합(對合)은 정의역과 공역이 같고, 스스로의 역함수인 전단사 함수이.

보다 불 대수와 대합 (수학)

교집합

집합 ''A''와 ''B''의 교집합을 표현한 벤 다이어그램. 집합론에서, 두 집합 A와 B의 교집합(交集合) A ∩ B는 그 두 집합이 공통으로 포함하는 원소로 이루어진 집합이.

보다 불 대수와 교집합

남작

작(男爵, Baron, 여성형: 남작 부인(男爵 夫人, Baroness), 여남작(女男爵))은 자작의 하위로, 오등작 귀족의 마지막에 해당하는 작위이.

보다 불 대수와 남작

드 모르간의 법칙

모르간의 법칙 (De Morgan's laws)은 수리 논리학이나 집합론에서 논리곱(집합의 공통 부분), 논리합(집합의 모든 부분), 부정(여집합) 연산간의 관계(드 모르간의 상대성이라고 부름)를 기술하여 정리한 것으로, 수학자 오거스터스 드 모르간의 이름을 따서 드 모르간의 법칙이.

보다 불 대수와 드 모르간의 법칙

디지털 회로

브레드보드에 구현한 디지털 회로 디지털 회로 (digital circuit)은 디지털 신호를 이용하는 전자 회로로, 아날로그 신호를 이용하는 아날로그 회로와는 반대되는 개념이.

보다 불 대수와 디지털 회로

논리곱

AND 논리 게이트 논리곱(기호: AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이.

보다 불 대수와 논리곱

논리합

리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.

보다 불 대수와 논리합

논리학

리학(論理學,, logic)은 인간의 두뇌 활동과 관련하여 그 원리들을 분석하고 명제화하여 체계화하는 학문이.

보다 불 대수와 논리학

논리식

리식은 논리 변수들을 논리 연산자를 이용하여 조합한 것이.

보다 불 대수와 논리식

스톤-체흐 콤팩트화

일반위상수학에서, 스톤-체흐 콤팩트화(Stone-Čech compact化)는 어떤 위상 공간에 대하여 대응되는 표준적인 콤팩트 하우스도르프 공간이.

보다 불 대수와 스톤-체흐 콤팩트화

튜플

(tuple)은 유한 개의 사물의 순서있는 열거이.

보다 불 대수와 튜플

자명환

환론에서, 자명환(自明環, trivial ring)은 하나의 원소만을 가지는 환으로, 이 경우 덧셈에 대한 항등원과 곱셈에 대한 항등원이 같. 즉, 1.

보다 불 대수와 자명환

자작

자작(子爵, Viscount, 여성형: 자작 부인(子爵 夫人, Viscountess), 여자작(女子爵))은 귀족의 5계급 중 하나로 백작(Count) 다음 가는 관직이.

보다 불 대수와 자작

자유 대상

범주론과 추상대수학에서, 자유 대상(自由對象)은 망각 함자의 왼쪽 수반 함자의 상이.

보다 불 대수와 자유 대상

장소 (수학)

일반위상수학에서, 장소(場所)는 위상 공간의 열린집합의 부분 순서 집합을 추상화한 구조이.

보다 불 대수와 장소 (수학)

작은 범주

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

보다 불 대수와 작은 범주

평탄 가군

환론에서, 평탄 가군(平坦加群)은 단사 가군 준동형에 텐서곱을 하여도 단사성이 보존되는 가군이.

보다 불 대수와 평탄 가군

이산 공간

일반위상수학에서, 이산 공간(離散空間)은 모든 부분집합이 열린집합인 위상 공간이.

보다 불 대수와 이산 공간

전압

전압(電壓) 또는 전위차(電位差)는 전기장 안에서 전하가 갖는 전위의 차이이.

보다 불 대수와 전압

조지 불

조지 불(1815년 11월 2일~1864년 12월 8일)은 영국의 수학자, 논리학자이.

보다 불 대수와 조지 불

직관 논리

리학에서, 직관 논리(直觀論理)는 귀류법을 배척하는 논리 체계이.

보다 불 대수와 직관 논리

직교 여원 격자

순서론에서, 직교 여원 격자(直交餘元格子)는 불 대수와 유사한 여원 연산을 갖는 유계 격자이.

보다 불 대수와 직교 여원 격자

직접곱

수학에서, 직접곱(直接곱)은 여러 개의 대수 구조들의 곱집합 위에 표준적으로 정의되는 대수 구조이.

보다 불 대수와 직접곱

집합

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

보다 불 대수와 집합

집합족

집합론과 관련 수학 분야에서, 집합족(集合族, family of sets)은 집합을 원소로 하는 집합이.

보다 불 대수와 집합족

찰스 샌더스 퍼스

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

보다 불 대수와 찰스 샌더스 퍼스

추상대수학

상대수학(抽象代數學)은 대수 구조를 다루는 여러 수학적 대상을 연구하는 분야이.

보다 불 대수와 추상대수학

축소환

환론에서, 축소환(縮小環)은 0이 아닌 멱영원을 갖지 않는 환이.

보다 불 대수와 축소환

케임브리지

임브리지의 위치 케임브리지 케임브리지(Cambridge)는 영국 런던의 북쪽 케임브리지셔 주의 중심 도시이.

보다 불 대수와 케임브리지

콤팩트 공간

수학에서, 콤팩트 공간()은 대략 경계 없이 무한히 뻗어나가지 않는 공간이.

보다 불 대수와 콤팩트 공간

쌍대곱

범주론에서, 쌍대곱(雙對-, coproduct)은 곱에 대한 쌍대(dual) 개념이.

보다 불 대수와 쌍대곱

유한 생성 가군

환론에서, 유한 생성 가군(有限生成加群)은 유한 계수의 자유 가군의 몫가군이.

보다 불 대수와 유한 생성 가군

유한체

에서, 유한체(有限體) 또는 갈루아 체()는 유한개의 원소를 가지는 체이.

보다 불 대수와 유한체

위상 공간 (수학)

일반위상수학에서, 위상 공간(位相空間)은 어떤 점의 근처(근방)가 무엇인지에 대한 정보를 담고 있지만, 점 사이의 거리나 넓이·부피 따위의 정보를 포함하지 않는 공간이.

보다 불 대수와 위상 공간 (수학)

위상군

에서, 위상군(位相群)은 위상이 주어진 군으로서 위상적 구조와 대수적 구조가 서로 어울리는 경우이.

보다 불 대수와 위상군

상 (수학)

수학에서, 상(像)은 어떤 함수에 대한 정의역의 원소(들)에 대응하는 공역의 원소(들)이.

보다 불 대수와 상 (수학)

순서론

right 순서론(順序論)은 이항 관계들 중에서 '순서'의 개념을 확장한 것으로 볼 수 있는 것들을 다루는 수학의 분야이.

보다 불 대수와 순서론

최대 원소와 최소 원소

순서론에서, 부분 순서 집합의 최대 원소(最大元素)는 모든 다른 원소들보다 큰 원소이.

보다 불 대수와 최대 원소와 최소 원소

헤이팅 대수

순서론과 논리학에서, 헤이팅 대수()는 직관 논리의 명제들의 격자와 유사한 성질을 갖는 격자이.

보다 불 대수와 헤이팅 대수

여집합

집합론에서, 집합 A의 여집합(餘集合, 또는 보집합(補集合), complement set) AC는, 전체집합 U의 원소 중 A의 원소가 아닌 것들의 집합이.

보다 불 대수와 여집합

연속 함수

위상수학과 해석학에서, 연속 함수(連續函數)는 정의역의 점의 "작은 변화"에 대하여, 치역의 값 역시 작게 변화하는 함수이.

보다 불 대수와 연속 함수

열린집합

부, 즉 원의 중심으로부터 반지름 미만의 거리에 위치한 점들의 집합은 열린집합이다. 반대로, 경계를 포함하는 원판, 즉 원의 중심으로부터 반지름 이하의 거리에 위치한 점들의 집합은 닫힌집합이다. 일반위상수학에서, 열린집합(-集合) 또는 개집합(開集合)은 스스로의 경계를 전혀 포함하지 않는, 위상 공간의 부분 집합이.

보다 불 대수와 열린집합

사유한군

수학에서, 사유한군(射有限群)은 유한군의 사영극한으로 얻어지는 위상군이.

보다 불 대수와 사유한군

플립플롭

''R1, R2''.

보다 불 대수와 플립플롭

소 아이디얼

환론에서, 소 아이디얼(素ideal)은 아이디얼 가운데 소수와 같은 성질을 갖는 것들이.

보다 불 대수와 소 아이디얼

함자 (수학)

범주론에서 함자(函子)는 두 범주 사이의 함수에 해당하는 구조로, 대상을 대상으로, 사상을 사상으로 대응시.

보다 불 대수와 함자 (수학)

함응이 황제

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

보다 불 대수와 함응이 황제

함수

수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.

보다 불 대수와 함수

합집합

''A'' ∪ ''B''는 두 원을 합쳐 만든 큰 모양이다. 집합론에서 둘 또는 더 많은 집합의 합집합(合集合)은 그들의 모든 원소를 한 군데 합쳐놓은 집합이.

보다 불 대수와 합집합

하우스도르프 공간

일반위상수학에서, 하우스도르프 공간() 또는 T2 공간(T2空間) 또는 분리 공간(分離空間)은 서로 다른 점들을 각각 서로소 근방들로 둘러쌀 수 있는 위상 공간이.

보다 불 대수와 하우스도르프 공간

아이디얼

환론에서, 아이디얼() 또는 이데알()은 특정한 조건을 만족시키는 환의 부분집합이.

보다 불 대수와 아이디얼

필터 (수학)

집합 \1,2,3,4\의 멱집합의 하세 도형. 녹색 원소들은 극대 필터를 구성하며, 반대로 흰색 원소들은 극대 순서 아이디얼을 구성한다. 순서론에서 필터()는 어떤 원순서 집합의 하향 상집합이며, 반대로 순서 아이디얼(順序ideal)은 어떤 원순서 집합의 상향 하집합이.

보다 불 대수와 필터 (수학)

시그마 대수

측도론에서, 시그마 대수(σ代數)는 가산 상한과 하한을 갖는 불 대수이.

보다 불 대수와 시그마 대수

시작 대상과 끝 대상

범주론에서, 시작 대상(始作對象)과 끝 대상(-對象)은 매우 단순하여, 이 대상을 정의역 또는 공역으로 하는 사상이 하나밖에 없는 대상이.

보다 불 대수와 시작 대상과 끝 대상

원순서 집합

순서론에서, 원순서 집합(原順序集合)은 그 속의 두 원소를 추이적으로 비교할 수 있는 집합이.

보다 불 대수와 원순서 집합

웨일스 공

웨일스 공의 기장 웨일스 공(Prince of Wales)은 그레이트브리튼 및 북아일랜드 연합왕국의 왕자에게 주어지는 작위 중 하나로, 웨일스의 군주와 영국의 왕세자를 의미.

보다 불 대수와 웨일스 공

후작

후작(Marquis)은 귀족의 작위 중 하나로 오등작 중 2위의 지위이.

보다 불 대수와 후작

환 (수학)

상대수학에서, 환(環)은 덧셈과 곱셈이 정의된 대수 구조의 하나이.

보다 불 대수와 환 (수학)

환의 스펙트럼

환대수학과 대수기하학에서, 가환환의 스펙트럼()은 환의 모든 소 아이디얼의 집합이.

보다 불 대수와 환의 스펙트럼

환의 표수

환론에서, (1을 갖춘) 환의 표수(標數, characteristic)는 그 환이 부분환으로 포함하는 순환환 \mathbb Z/n\mathbb Z의 크기 n이.

보다 불 대수와 환의 표수

완비 격자

순서론에서, 완비 격자(完備格子)는 임의의 크기의 이음 및 만남이 존재하는 격자이.

보다 불 대수와 완비 격자

완비 범주

범주론에서, 완비 범주(完備範疇)는 집합 크기의 모든 극한들을 갖는 범주이.

보다 불 대수와 완비 범주

완비 불 대수

순서론에서, 완비 불 대수(完備Boole代數)는 완비 격자인 불 대수이.

보다 불 대수와 완비 불 대수

완전 분리 공간

일반위상수학에서, 완전 분리 공간(完全分離空間)은 모든 점들이 각각 분리돼 있는 위상 공간이.

보다 불 대수와 완전 분리 공간

참고하세요

대수 구조

또한 불린 대수, 불대수, 부울대수, 스톤 표현 정리로 알려져 있다.

, 자작, 자유 대상, 장소 (수학), 작은 범주, 평탄 가군, 이산 공간, 전압, 조지 불, 직관 논리, 직교 여원 격자, 직접곱, 집합, 집합족, 찰스 샌더스 퍼스, 추상대수학, 축소환, 케임브리지, 콤팩트 공간, 쌍대곱, 유한 생성 가군, 유한체, 위상 공간 (수학), 위상군, 상 (수학), 순서론, 최대 원소와 최소 원소, 헤이팅 대수, 여집합, 연속 함수, 열린집합, 사유한군, 플립플롭, 소 아이디얼, 함자 (수학), 함응이 황제, 함수, 합집합, 하우스도르프 공간, 아이디얼, 필터 (수학), 시그마 대수, 시작 대상과 끝 대상, 원순서 집합, 웨일스 공, 후작, 환 (수학), 환의 스펙트럼, 환의 표수, 완비 격자, 완비 범주, 완비 불 대수, 완전 분리 공간.