7 처지: 모형 이론, 기호, 논리 기호, 논리학, 수학 기호, LaTeX, TeX.
모형 이론
수리논리학에서 모형 이론(模型理論)은 수리논리학적 도구들을 이용해 추상대수학이나 집합론의 모형을 이루는 수학적 구조를 연구하는 분야이.
새로운!!: 이중 턴스틸와 모형 이론 · 더보기 »
기호
호(記號)는 어떠한 뜻을 나타내기 위하여 쓰이는 개체를 통틀어 이르는 말이.
새로운!!: 이중 턴스틸와 기호 · 더보기 »
논리 기호
리학에서는 논리적인 표현(logical representation)을 표시하기 위한 다양한 기호를 사용하고 있. 물론 논리학을 공부한 사람들에게는 이러한 기호들이 익숙하기 때문에, 기호를 사용할 때마다 그 기호의 의미를 설명하지 않고 사용.
새로운!!: 이중 턴스틸와 논리 기호 · 더보기 »
논리학
리학(論理學,, logic)은 인간의 두뇌 활동과 관련하여 그 원리들을 분석하고 명제화하여 체계화하는 학문이.
새로운!!: 이중 턴스틸와 논리학 · 더보기 »
수학 기호
수학 기호는 수학에서 쓰는 기호이며 수, 계산, 논리 등 수학의 개념을 간결하게 표현하기 위해 사용.
새로운!!: 이중 턴스틸와 수학 기호 · 더보기 »
LaTeX
LaTeX(ˈleɪtɛk|레이텍 또는 ˈlɑːtɛk|라텍)은 문서 조판에 사용되는 프로그램이.
새로운!!: 이중 턴스틸와 LaTeX · 더보기 »
TeX
TeX()은 도널드 커누스가 만든 조판 프로그램이.
새로운!!: 이중 턴스틸와 TeX · 더보기 »