브라우저보다 빠른!
70 처지: 마셜 하비 스톤, 멱등법칙, 감산기, 배타적 논리합, 반군, 반사슬, 반환 (수학), 강하향 반사슬, 가측 공간, 가산기, 가환환, 격자 (순서론), 불 논리, 불리언, 분배 격자, 부울 도메인, 부정, 부정논리곱, 부정논리합, 극점 (기하학), 대수 구조 다양체, 대수학, 구성 가능 전체, 디지털 회로, 논리 회로, 논리곱, 논리곱 표준형, 논리합, 논리식, 다수결 함수, 스톤, 스톤-체흐 콤팩트화, 자리올림수 예측 가산기, 장소 (수학), 흡수 법칙, 이름 (강제법), 이진 데이터, 이안니스 크세나키스, 인텔 8051, 제로요소, 제곱 인수가 없는 정수, 전자공학, 정의 가능 집합, 조지 불, 조합 논리, 직교 여원 격자, 집합대수, 진리표, 진릿값, 초직관 논리, ..., 충족 가능성 문제, 추상대수학, 측도, 카노 맵, 컴퓨터 과학, 콤팩트 공간, 콤팩트성 정리, 코볼, 유사 거리 공간, 최대 원소와 최소 원소, 양자 논리, 헤이팅 대수, 열린집합, 사유한군, 필터 (수학), 시그마 대수, 원주율, 환 (수학), 완비 불 대수, SAT (동음이의). 색인을 확장하십시오 (20 더) »
마셜 하비 스톤
마셜 하비 스톤(1903~1989)은 미국의 수학자이.
새로운!!: 불 대수와 마셜 하비 스톤 · 더보기 »
멱등법칙
멱등법칙(冪等法則) 또는 멱등성(冪等性)은 수학이나 전산학에서 연산의 한 성질을 나타내는 것으로, 연산을 여러 번 적용하더라도 결과가 달라지지 않는 성질을 의미.
새로운!!: 불 대수와 멱등법칙 · 더보기 »
감산기
전자공학에서 감산기(減算器)는 가산기(加算器)처럼 동일한 접근을 이용하여 설계할 수 있. 이진 빼기 과정은 아래와 같이 요약.
배타적 논리합
배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우를 판단하는 논리 연산이.
새로운!!: 불 대수와 배타적 논리합 · 더보기 »
반군
상대수학에서, 반군(半群)은 결합 법칙을 따르는 하나의 이항 연산이 부여된 대수 구조이.
반사슬
순서론에서, 반사슬(反사슬)은 서로 다른 두 원소가 비교될 수 없는, 원순서 집합의 부분 집합이며, 사슬()은 서로 두 원소가 항상 비교될 수 있는, 원순서 집합의 부분 집합이.
반환 (수학)
상대수학에서, 반환(半環,, rig)은 환과 유사하지만 덧셈의 역원이 존재하지 않는 대수 구조이.
새로운!!: 불 대수와 반환 (수학) · 더보기 »
강하향 반사슬
순서론에서, 강하향 반사슬(強下向反사슬)은 서로 다른 두 원소가 공통된 하계를 갖지 않는, 원순서 집합의 반사슬이.
새로운!!: 불 대수와 강하향 반사슬 · 더보기 »
가측 공간
측도론에서, 가측 공간(可測空間)은 가측 집합(可測集合)이라는 특별한 부분 집합들에 족이 부여된 집합이.
새로운!!: 불 대수와 가측 공간 · 더보기 »
가산기
산기(加算器, adder)란 덧셈 연산을 수행하는 논리 회로이며 디지털 회로, 조합 회로의 하나이.
가환환
환대수학에서, 가환환(可換環)이란 곱셈이 교환 법칙을 만족시키는 환이.
격자 (순서론)
순서론에서, 격자(格子)는 두 원소 부분집합의 상한(이음)과 하한(만남)이 항상 존재하는 부분 순서 집합이.
새로운!!: 불 대수와 격자 (순서론) · 더보기 »
불 논리
불 논리(Boolean logic)는 논리적 산법의 완전한 체계이.
새로운!!: 불 대수와 불 논리 · 더보기 »
불리언
명사나 형용사로서의 불리언(Boolean)은 조지 불의 이름에서 따온 말이며, 다음을 가리키는 말이다.
분배 격자
순서론에서, 분배 격자(分配格子)는 만남과 이음이 서로 분배 법칙을 따르는 격자이.
새로운!!: 불 대수와 분배 격자 · 더보기 »
부울 도메인
수학 및 추상 대수학 에서 부울 도메인(Boolean domain,부울 영역) 은 거짓 및 참을 포함하는 해석이 포함 된 정확히 두 개의 요소로 구성된 집합이.
새로운!!: 불 대수와 부울 도메인 · 더보기 »
부정
수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이.
부정논리곱
부정논리곱(否定論理積)은 주어진 복수의 명제 중 거짓이 포함되었는지 보는 논리 연산이.
새로운!!: 불 대수와 부정논리곱 · 더보기 »
부정논리합
~A \downarrow B의 벤 다이어그램.(nor는 빨간 부분) 부정논리합(否定論理合)은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이.
새로운!!: 불 대수와 부정논리합 · 더보기 »
극점 (기하학)
팩트 볼록 집합의 극점들은 붉게 칠해진 점들이다. 크레인-밀만 정리에 따라, 이 극점들의 볼록 폐포는 원래 볼록 집합과 같다. 기하학에서, 극점(極點)은 어떤 볼록 집합 속의 점 가운데, 다른 두 점의 볼록 선형 결합으로 나타낼 수 없는 것이.
새로운!!: 불 대수와 극점 (기하학) · 더보기 »
대수 구조 다양체
보편 대수학에서, 대수 구조 다양체()는 어떤 항등식들을 만족시키는 대수 구조들의 모임이.
새로운!!: 불 대수와 대수 구조 다양체 · 더보기 »
대수학
수학(代數學, 독일어,영어: Algebra)은 일련의 공리들을 만족하는 수학적 구조들의 일반적인 성질을 연구하는 수학의 한 분야이.
구성 가능 전체
집합론에서, 구성 가능 전체(構成可能全體)는 재귀적으로 1차 논리로 정의 가능한 집합들로 구성된 모임이.
새로운!!: 불 대수와 구성 가능 전체 · 더보기 »
디지털 회로
브레드보드에 구현한 디지털 회로 디지털 회로 (digital circuit)은 디지털 신호를 이용하는 전자 회로로, 아날로그 신호를 이용하는 아날로그 회로와는 반대되는 개념이.
새로운!!: 불 대수와 디지털 회로 · 더보기 »
논리 회로
전자공학에서 논리 회로는 불 대수를 물리적 장치에 구현한 것으로, 하나 이상의 논리적 입력값에 대해 논리 연산을 수행하여 하나의 논리적 출력값을 얻는 전자회로를 말. AND, OR, NOT의 기본 불 대수를 수행하며, 이 기본 불 대수들의 결합으로 복합적인 논리 기능을 수행.
새로운!!: 불 대수와 논리 회로 · 더보기 »
논리곱
AND 논리 게이트 논리곱(기호: AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이.
논리곱 표준형
불 대수에서 논리곱 표준형(conjunctive normal form)은 절의 논리곱으로 나타낸 논리식을 말. 여기서 절은 리터럴의 논리합으로 이루어.
새로운!!: 불 대수와 논리곱 표준형 · 더보기 »
논리합
리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.
논리식
리식은 논리 변수들을 논리 연산자를 이용하여 조합한 것이.
다수결 함수
불 논리에서 다수결 함수(majority function), 혹은 중앙값 연산자(median operator)는 입력되는 참의 개수가 n/2보다 크면 참, 아니면 거짓을 반환하는 n항 연산이.
새로운!!: 불 대수와 다수결 함수 · 더보기 »
스톤
스톤()은 다음과 같은 뜻이 있.
스톤-체흐 콤팩트화
일반위상수학에서, 스톤-체흐 콤팩트화(Stone-Čech compact化)는 어떤 위상 공간에 대하여 대응되는 표준적인 콤팩트 하우스도르프 공간이.
새로운!!: 불 대수와 스톤-체흐 콤팩트화 · 더보기 »
자리올림수 예측 가산기
자리올림수 예측 가산기(carry-lookahead adder, CLA)는 디지털 논리에서 사용되는 가산기의 한 종류이.
새로운!!: 불 대수와 자리올림수 예측 가산기 · 더보기 »
장소 (수학)
일반위상수학에서, 장소(場所)는 위상 공간의 열린집합의 부분 순서 집합을 추상화한 구조이.
새로운!!: 불 대수와 장소 (수학) · 더보기 »
흡수 법칙
흡수법칙()은 집합의 연산성질과 논리회로 수학인 불 대수에서도 사용되는 용어이.
새로운!!: 불 대수와 흡수 법칙 · 더보기 »
이름 (강제법)
집합론에서, 이름()은 강제법에 등장하는, 집합의 개념의 일종의 일반화인 누적 위계이.
새로운!!: 불 대수와 이름 (강제법) · 더보기 »
이진 데이터
이진 데이터(영어: Binary Data)는 기본 단위가 2개의 상태만 가지는 데이터이.
새로운!!: 불 대수와 이진 데이터 · 더보기 »
이안니스 크세나키스
이안니스 크세나키스 (1970) 이안니스 크세나키스(1922년 5월 29일 ~ 2001년 2월 4일)는 프랑스에서 활동한 그리스의 작곡가이자 건축가이.
새로운!!: 불 대수와 이안니스 크세나키스 · 더보기 »
인텔 8051
인텔 P8051 인텔 8051은 1980년 발표된 8비트 마이크로컨트롤러로 8051계열을 통틀어 MCS 51이라 부른.
새로운!!: 불 대수와 인텔 8051 · 더보기 »
제로요소
수학 에서 0 원소(요소,성분)는 다른 대수적 구조 에 대한 0의 일반화 중 하나이.
새로운!!: 불 대수와 제로요소 · 더보기 »
제곱 인수가 없는 정수
수론에서, 제곱 인수가 없는 정수(제곱 因數가 없는 整數,, quadratfrei integer)는 1이 아닌 제곱수를 인수로 갖지 않는 양의 정수이.
새로운!!: 불 대수와 제곱 인수가 없는 정수 · 더보기 »
전자공학
0805 사이즈의 저항을 납땜하고 있다. 전자공학(電子工學, electronics)은 구동력으로서 전력을 이용하는 구성장치, 시스템 또는 여러 장비(진공관, 트랜지스터, 집적회로, 프린트 배선 기판)들을 개발하기 위하여 전자들의 운동에 대한 영향과 행동에 대한 과학적 지식을 연구하는 공학의 한 분야이.
새로운!!: 불 대수와 전자공학 · 더보기 »
정의 가능 집합
모형 이론에서, 정의 가능 집합(定義可能集合)은 어떤 주어진 언어의 모형 속의, 어떤 술어를 만족시키는 원소들로 구성된 부분 집합이.
새로운!!: 불 대수와 정의 가능 집합 · 더보기 »
조지 불
조지 불(1815년 11월 2일~1864년 12월 8일)은 영국의 수학자, 논리학자이.
새로운!!: 불 대수와 조지 불 · 더보기 »
조합 논리
회로 이론에서 조합 논리(combinational logic)는 현재 입력에 따라 출력이 항상 똑같이 결정되는 논리회로를 말. 현재 입력 뿐만 아니라 이전 입력의 영향 또한 함께 받는 순차 논리와는 구별.
새로운!!: 불 대수와 조합 논리 · 더보기 »
직교 여원 격자
순서론에서, 직교 여원 격자(直交餘元格子)는 불 대수와 유사한 여원 연산을 갖는 유계 격자이.
새로운!!: 불 대수와 직교 여원 격자 · 더보기 »
집합대수
집합대수(集合代數, algebra of sets)는 집합, 집합 연산(합집합, 교집합, 여집합), 집합 간의 관계(같음, 포함관계)에 대한 성질을.
새로운!!: 불 대수와 집합대수 · 더보기 »
진리표
리표(眞理表)는 진리식 및 논리 회로에 대한 모든 입출력 결과를 기록하는 표이.
진릿값
리값(truth value)은 논리학의 용어로, 어느 명제의 내용이 참인지 거짓인지를 나타내는 값이.
초직관 논리
리학에서, 초직관 논리(超直觀論理) 또는 중간 논리(中間論理)는 직관 논리보다는 더 강하지만, 고전 논리보다 더 약한 논리 체계이.
새로운!!: 불 대수와 초직관 논리 · 더보기 »
충족 가능성 문제
충족 가능성 문제(充足可能性問題, satisfiability problem, SAT)는 어떠한 변수들로 이루어진 논리식이 주어졌을 때, 그 논리식이 참이 되는 변수값이 존재하는지를 찾는 문제이.
새로운!!: 불 대수와 충족 가능성 문제 · 더보기 »
추상대수학
상대수학(抽象代數學)은 대수 구조를 다루는 여러 수학적 대상을 연구하는 분야이.
새로운!!: 불 대수와 추상대수학 · 더보기 »
측도
수학에서, 측도(測度)는 특정 부분 집합에 대해 일종의 ‘크기’를 부여하며, 그 크기를 가산개로 쪼개어 계산할 수 있게 하는 함수이.
카노 맵
맵 예 논리 회로에서 카노 맵(간단히 K-map)은 불 대수 위의 함수를 단순화 하는 방법이.
새로운!!: 불 대수와 카노 맵 · 더보기 »
컴퓨터 과학
학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이.
새로운!!: 불 대수와 컴퓨터 과학 · 더보기 »
콤팩트 공간
수학에서, 콤팩트 공간()은 대략 경계 없이 무한히 뻗어나가지 않는 공간이.
새로운!!: 불 대수와 콤팩트 공간 · 더보기 »
콤팩트성 정리
수리논리학에서 콤팩트성 정리(compact性定理)는 만약 어떤 1차 논리 이론의 모든 유한 집합이 만족 가능하다면, 이론 전체가 만족 가능하다는 정리.
새로운!!: 불 대수와 콤팩트성 정리 · 더보기 »
코볼
볼(COBOL, COmmon Business-Oriented Language, 사무 지향 보통 언어)은 사무용으로 설계된, 영어와 같은 컴퓨터 프로그래밍 언어이.
유사 거리 공간
학에서, 유사 거리 공간(類似距離空間)은 임의의 두 점 사이의 거리를 잴 수 있지만, 서로 다른 두 점 사이의 거리가 0이 될 수 있는 기하학적 공간이.
새로운!!: 불 대수와 유사 거리 공간 · 더보기 »
최대 원소와 최소 원소
순서론에서, 부분 순서 집합의 최대 원소(最大元素)는 모든 다른 원소들보다 큰 원소이.
새로운!!: 불 대수와 최대 원소와 최소 원소 · 더보기 »
양자 논리
리학과 양자역학에서, 양자 논리(量子論理)는 양자역학의 상태 공간의 대수적인 이론을 논리학적으로 해석하는 이론이.
새로운!!: 불 대수와 양자 논리 · 더보기 »
헤이팅 대수
순서론과 논리학에서, 헤이팅 대수()는 직관 논리의 명제들의 격자와 유사한 성질을 갖는 격자이.
새로운!!: 불 대수와 헤이팅 대수 · 더보기 »
열린집합
부, 즉 원의 중심으로부터 반지름 미만의 거리에 위치한 점들의 집합은 열린집합이다. 반대로, 경계를 포함하는 원판, 즉 원의 중심으로부터 반지름 이하의 거리에 위치한 점들의 집합은 닫힌집합이다. 일반위상수학에서, 열린집합(-集合) 또는 개집합(開集合)은 스스로의 경계를 전혀 포함하지 않는, 위상 공간의 부분 집합이.
새로운!!: 불 대수와 열린집합 · 더보기 »
사유한군
수학에서, 사유한군(射有限群)은 유한군의 사영극한으로 얻어지는 위상군이.
새로운!!: 불 대수와 사유한군 · 더보기 »
필터 (수학)
집합 \1,2,3,4\의 멱집합의 하세 도형. 녹색 원소들은 극대 필터를 구성하며, 반대로 흰색 원소들은 극대 순서 아이디얼을 구성한다. 순서론에서 필터()는 어떤 원순서 집합의 하향 상집합이며, 반대로 순서 아이디얼(順序ideal)은 어떤 원순서 집합의 상향 하집합이.
새로운!!: 불 대수와 필터 (수학) · 더보기 »
시그마 대수
측도론에서, 시그마 대수(σ代數)는 가산 상한과 하한을 갖는 불 대수이.
새로운!!: 불 대수와 시그마 대수 · 더보기 »
원주율
원주율(圓周率)은 원둘레와 지름의 비 즉, 원의 지름에 대한 둘레의 비율을 나타내는 수학 상수이.
환 (수학)
상대수학에서, 환(環)은 덧셈과 곱셈이 정의된 대수 구조의 하나이.
새로운!!: 불 대수와 환 (수학) · 더보기 »
완비 불 대수
순서론에서, 완비 불 대수(完備Boole代數)는 완비 격자인 불 대수이.
새로운!!: 불 대수와 완비 불 대수 · 더보기 »
SAT (동음이의)
SAT는 다음과 같이 가리.
새로운!!: 불 대수와 SAT (동음이의) · 더보기 »
여기로 리디렉션합니다
불린 대수, 불대수, 부울 대수, 부울대수, 논리 대수, 논리대수, 스톤 공간, 스톤 표현 정리.
