URLエンコード(UTF-8) :
%E7%AC%A6%E5%8F%B7%E9%80%BB%E8%BE%91
数値文字参照(10進数) :
符号逻辑
数値文字参照(16進数) :
符号逻辑
符号逻辑の説明
Chinese
数理逻辑(英語:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。主要的子研究领域有模型论,证明论,集合论和可计算性理论。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学。数理逻辑一般着重于研究公理系统的推断能力和表达能力。它也包括分析正确的数学推断来构筑数学基础。
Unicode検索結果 - 符号逻辑
数値文字参照
符 符
URLエンコード(UTF-8)
%E7%AC%A6
URLエンコード(EUC-JP)
%C9%E4
URLエンコード(SHIFT_JIS)
%95%84
ユニコード名
CJK UNIFIED IDEOGRAPH-7B26
一般カテゴリ-
Letter, Other(文字,その他)
数値文字参照
号 号
URLエンコード(UTF-8)
%E5%8F%B7
URLエンコード(EUC-JP)
%B9%E6
URLエンコード(SHIFT_JIS)
%8D%86
ユニコード名
CJK UNIFIED IDEOGRAPH-53F7
一般カテゴリ-
Letter, Other(文字,その他)
数値文字参照
逻 逻
URLエンコード(UTF-8)
%E9%80%BB
ユニコード名
CJK UNIFIED IDEOGRAPH-903B
一般カテゴリ-
Letter, Other(文字,その他)
数値文字参照
辑 辑
URLエンコード(UTF-8)
%E8%BE%91
ユニコード名
CJK UNIFIED IDEOGRAPH-8F91
一般カテゴリ-
Letter, Other(文字,その他)