语言
没有数据
通知
无通知
(ミル ろんりきごう, MIL logic symbols) とは、MIL規格のMIL-STD-806が規定していた、論理回路やディジタル回路の回路図に使用する図記号であり、たとえば汎用ロジックICのデータシートの機能説明などをはじめとした図で使われている。AND、OR、増幅器、反転、排他的論理和が代表的な記号である。
ようにすると、その説明自体は論理的には何一つ曇り無く正確であることに注意。連続体仮説、選択公理などを参照のこと。 ^ a b 「論理学史」p195 山下正男 岩波書店 1983年9月14日第1刷発行 ^ 毎日新聞社編『話のネタ』PHP文庫 p.55 1998年 ^ 「近代科学の源をたどる
記号学と記号論と呼ぶことがある。 記号学（セミオロジー）は、フェルディナン・ド・ソシュールによる、「表現面 - 内容面」（シニフィアン - シニフィエ）の二項に基づく記号学である。 記号論（セミオティクス）は、チャールズ・サンダース・パースによる、「表現、内容、指示対象」の三項に基づく記号学である。
符号理論（ふごうりろん、英: Coding theory）は、情報を符号化して、通信を行う際の効率と信頼性についての情報学基礎論である。符号は、データ圧縮・暗号化・誤り訂正・ネットワーキングのために使用される。符号理論は、効率的で信頼できるデータ伝送方法を設計するために、情報理論
key) / 秘密鍵 (secret key) / 共有鍵 (shared key) 公開鍵暗号方式 / 非対称鍵暗号方式 - 暗号化鍵から復号鍵を求めること、または復号鍵から暗号化鍵を求めることが難しい暗号方式。 鍵ペア (key pair) - 公開鍵と秘密鍵の組。 公開鍵 (public key)
(Sheffer stroke) とも呼ばれ、否定論理積 NAND 演算子である。 U+2193 ↓ downwards arrow U+22BD ⊽ nor パースの矢印 (Peirce arrow) とも呼ばれ、否定論理和 NOR 演算子である。 U+2201 ∁ complement
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学や理論計算機科学などがある。
理論物理学（りろんぶつりがく、英語: theoretical physics）は、物理学において、理論的な模型や理論的仮定（主に数学的な仮定）を基に理論を構築し、既知の実験事実（観測や観察の結果）や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。
搜索 
