브라우저보다 빠른!
47 처지: ! (동음이의), C와 C++의 연산자, 멱등법칙, 명예규율, 무어의 역설, 문가학, 물결표, 방정식, 배타적 논리합, 가산기, 고틀로프 프레게, 불 대수, 부울 도메인, 부정논리곱, 부정논리합, 드 모르간의 법칙, 논리 기호, 논리 회로, 논리 연산, 논리곱, 논리합, 논리학의 역사, ISO/IEC 8859, 폴란드 표기법, 제도 (논리학), 조동사 (일본어 문법), 직관 논리, 충족 가능성 문제, 윤변 (인물), 수학 기호, 영지주의, 연구, 연구부정행위, 연산 (수학), 프로그래머블 로직 컨트롤러, 선형 시제 논리, 성운 (1497년), 함수의 극한, 아바타라, 활용, 화신, 확장 이진화 십진법 교환 부호, NIH 증후군, NOR 게이트, NOT, 1차 논리, 2차 논리.
! (동음이의)
!는 다음과 같은 뜻을 지니고 있.
새로운!!: 부정와 ! (동음이의) · 더보기 »
C와 C++의 연산자
이것은 C와 C++ 프로그래밍 언어의 연산자의 목록이.
새로운!!: 부정와 C와 C++의 연산자 · 더보기 »
멱등법칙
멱등법칙(冪等法則) 또는 멱등성(冪等性)은 수학이나 전산학에서 연산의 한 성질을 나타내는 것으로, 연산을 여러 번 적용하더라도 결과가 달라지지 않는 성질을 의미.
명예규율
명예규율(Honor Code)은 명예율 또는 윤리수칙, 윤리규정, 명예체계(Honor System)라고도 불린.
무어의 역설
무어의 역설(Moore's paradox)은 조지 에드워드 무어에 의해 만들어진 역설로, 루트비히 비트겐슈타인에 의해 널리 알려졌.
새로운!!: 부정와 무어의 역설 · 더보기 »
문가학
문가학(文可學, ? ~ 1406년 음력 12월 5일)은 고려 말 조선 초의 도사이.
물결표
물결표(~)는 구간을 나타내거나 다른 말이 덧붙을 수 있음을 나타낼 때 주로 쓰이는 문장부호이.
방정식
방정식(方程式)은 미지수가 포함된 식에서, 그 미지수에 특정한 값을 주었을 때만 성립하는 등식이.
배타적 논리합
배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우를 판단하는 논리 연산이.
새로운!!: 부정와 배타적 논리합 · 더보기 »
가산기
산기(加算器, adder)란 덧셈 연산을 수행하는 논리 회로이며 디지털 회로, 조합 회로의 하나이.
고틀로프 프레게
리드리히 루트비히 고틀로프 프레게(1848년 11월 8일 ~ 1925년 7월 26일)는 독일의 수리논리학자이자 철학자이.
새로운!!: 부정와 고틀로프 프레게 · 더보기 »
불 대수
순서론과 추상대수학, 논리학에서, 불 대수(Boole代數)는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자이.
부울 도메인
수학 및 추상 대수학 에서 부울 도메인(Boolean domain,부울 영역) 은 거짓 및 참을 포함하는 해석이 포함 된 정확히 두 개의 요소로 구성된 집합이.
새로운!!: 부정와 부울 도메인 · 더보기 »
부정논리곱
부정논리곱(否定論理積)은 주어진 복수의 명제 중 거짓이 포함되었는지 보는 논리 연산이.
부정논리합
~A \downarrow B의 벤 다이어그램.(nor는 빨간 부분) 부정논리합(否定論理合)은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이.
드 모르간의 법칙
모르간의 법칙 (De Morgan's laws)은 수리 논리학이나 집합론에서 논리곱(집합의 공통 부분), 논리합(집합의 모든 부분), 부정(여집합) 연산간의 관계(드 모르간의 상대성이라고 부름)를 기술하여 정리한 것으로, 수학자 오거스터스 드 모르간의 이름을 따서 드 모르간의 법칙이.
새로운!!: 부정와 드 모르간의 법칙 · 더보기 »
논리 기호
리학에서는 논리적인 표현(logical representation)을 표시하기 위한 다양한 기호를 사용하고 있. 물론 논리학을 공부한 사람들에게는 이러한 기호들이 익숙하기 때문에, 기호를 사용할 때마다 그 기호의 의미를 설명하지 않고 사용.
논리 회로
전자공학에서 논리 회로는 불 대수를 물리적 장치에 구현한 것으로, 하나 이상의 논리적 입력값에 대해 논리 연산을 수행하여 하나의 논리적 출력값을 얻는 전자회로를 말. AND, OR, NOT의 기본 불 대수를 수행하며, 이 기본 불 대수들의 결합으로 복합적인 논리 기능을 수행.
논리 연산
리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이.
논리곱
AND 논리 게이트 논리곱(기호: AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이.
논리합
리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.
논리학의 역사
리학의 역사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말. 형식논리학은 고대의 중국, 인도, 그리스에서 발전.
새로운!!: 부정와 논리학의 역사 · 더보기 »
ISO/IEC 8859
ISO/IEC 8859는 컴퓨터에서 8비트로 문자를 나타내기 위한 ISO와 IEC의 공동 표준이.
새로운!!: 부정와 ISO/IEC 8859 · 더보기 »
폴란드 표기법
일반 폴란드 표기법(NPN), 루카쉐비치 표기법, 바르샤바 표기법, 폴란드 접두사 표기법 또는 단순히 전위 표기법이라고도 알려져 있는, 폴란드 표기법(PN)은 논리, 산술 그리고 대수학(algebra)에 대한 하나의 표기법 양식이.
새로운!!: 부정와 폴란드 표기법 · 더보기 »
제도 (논리학)
수리논리학과 컴퓨터 과학에서, 제도(制度)는 문법과 모형 이론이 부여된 논리 체계의 추상화이.
새로운!!: 부정와 제도 (논리학) · 더보기 »
조동사 (일본어 문법)
일본어 문법에서 말하는 조동사()란, 시제(텐스), 상(애스펙트), 태(보이스), 법(무드) 등의 문법기능을 나타내는 품사이.
새로운!!: 부정와 조동사 (일본어 문법) · 더보기 »
직관 논리
리학에서, 직관 논리(直觀論理)는 귀류법을 배척하는 논리 체계이.
충족 가능성 문제
충족 가능성 문제(充足可能性問題, satisfiability problem, SAT)는 어떠한 변수들로 이루어진 논리식이 주어졌을 때, 그 논리식이 참이 되는 변수값이 존재하는지를 찾는 문제이.
새로운!!: 부정와 충족 가능성 문제 · 더보기 »
윤변 (인물)
윤변(尹忭, 1493년 - 1549년 7월 8일)은 조선시대 중기의 문신, 성리학자이.
새로운!!: 부정와 윤변 (인물) · 더보기 »
수학 기호
수학 기호는 수학에서 쓰는 기호이며 수, 계산, 논리 등 수학의 개념을 간결하게 표현하기 위해 사용.
영지주의
영지주의(靈知主義, Gnosticism)는 고대에 존재하였던 혼합주의적 종교 운동 중 하나로, "Gnosticism" 항목, 《Encyclopædia Britannica 2009》.
연구
연구(硏究)는 지식에 대한 탐구를 기반으로 한 인간의 활동이며 세상의 여러 측면에 대하여 인간이 새롭게 알게 되었거나 이미 존재하던 지식의 발견, 해석, 정정, 재확인 등에 초점을 맞추는 체계적인 조사를 일컫는 말이.
연구부정행위
연구부정행위(硏究不正行爲)는 연구 진실성과 상반되는 개념으로 사용.
새로운!!: 부정와 연구부정행위 · 더보기 »
연산 (수학)
수학에서, 연산(演算)은 어떤 집합의 거듭제곱 집합에서 그 집합으로 가는 함수이.
새로운!!: 부정와 연산 (수학) · 더보기 »
프로그래머블 로직 컨트롤러
머블 로직 컨트롤러(PLC)는 산업 플랜트의 자동 제어 및 감시에 사용하는 제어 장치이.
새로운!!: 부정와 프로그래머블 로직 컨트롤러 · 더보기 »
선형 시제 논리
리학에서, 선형 시제 논리(線型時制論理,, 약자 LTL)는 선형 이산 시간에 대한 여러 가지 양상을 갖춘, 시제 논리의 하나이.
새로운!!: 부정와 선형 시제 논리 · 더보기 »
성운 (1497년)
성운(成運, 1497년 2월 17일(음력 1월 16일)∼1579년 6월 19일(음력 5월 26일))은 조선 중기의 학자·시인·문신이.
새로운!!: 부정와 성운 (1497년) · 더보기 »
함수의 극한
석학에서, 함수의 극한()은 독립 변수가 일정한 값에 한없이 가까워질 때, 함수의 값이 한없이 가까워지는 값이.
새로운!!: 부정와 함수의 극한 · 더보기 »
아바타라
아바타(Avatar) 또는 아바타라()는 신의 화신(神의 化身, incarnation of God or god)을 뜻하는 힌두교 용어 또는 교의이.
활용
활용(活用, conjugation)은 자연어에서 서술어 계통 품사의 단어가 실제로 서술어로 쓰일 때 문장에서의 의미에 따라 형태소가 대체되거나 추가되는 것을 뜻. 구체적으로는, 영어나 기타 유럽어에서는 동사가 활용을 하며, 한국어의 경우 형용사와 동사 및 서술격 조사가 활용을.
화신
화신(化身Incarnation)은 종교신화전설 등에서 초월적인 존재가 인간천신 등의 몸으로 탄생하거나 출현하는 것을 말. "화신(化身)"의 문자 그대로 "몸으로 되다, 몸으로 변하다, 몸을 가지다"이며 사전적으로는 어떤 추상적인 특질 또는 성격이 구체적인 형상을 가지게 된 것을 뜻., 《네이버 국어사전》.
확장 이진화 십진법 교환 부호
확장 이진화 십진법 교환 부호(EBCDIC, Extended Binary Coded Decimal Interchange Code)는 IBM 메인프레임용 운영 체제인 z/OS, OS/390, VM 운영 체제, VSE 운영 체제와 IBM의 중급 컴퓨터 운영 체제인 OS/400과 i5/OS 등에서 사용되는 8비트 문자 인코딩(코드 페이지)이다(BCD 참조).
새로운!!: 부정와 확장 이진화 십진법 교환 부호 · 더보기 »
NIH 증후군
NIH 증후군 (Not invented here syndrome)은 말 그대로 '여기서 개발한 것이 아.'(Not invented here)라는 의미로, 제3자가 개발한 기술이나 연구 성과는 인정하지 않는 배타적 조직 문화 또는 그러한 태도를 말. 따라서 주어진 문제에 대한 해법을 자신 또는 조직 내부의 역량만을 고집하여 해결하려는 배타적인 현상이.
새로운!!: 부정와 NIH 증후군 · 더보기 »
NOR 게이트
NOR 게이트는 부정논리합을 구현하는 디지털 논리 회로이며 진리표에 따라 동작.
새로운!!: 부정와 NOR 게이트 · 더보기 »
NOT
NOT의 다른 뜻은 다음과 같.
1차 논리
1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.
2차 논리
수리논리학에서, 2차 논리(二次論理)는 임의의 다항 관계 및 다항 연산에 대한 변수 및 이에 대한 전칭·존재 기호를 사용할 수 있는 논리이.
