「數理邏輯」のUnicode(ユニコード)文字とURLエンコード 0g0.org

URLエンコード(UTF-8) :
%E6%95%B8%E7%90%86%E9%82%8F%E8%BC%AF

URLエンコード(EUC-JP) :
%DA%CB%CD%FD%EE%B6%BD%B4

URLエンコード(Shiff_Jis) :
%9D%C9%97%9D%E7%B4%8FS

数値文字参照(10進数) :
數理邏輯

数値文字参照(16進数) :
數理邏輯

數理邏輯の説明

Chinese Pronunciation Noun 數理邏輯 (logic) mathematical logic Synonyms 符號邏輯／符号逻辑 (fúhào luójí)

数理逻辑（英語：Mathematical logic）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。主要的子研究领域有模型论，证明论，集合论和可计算性理论。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学。数理逻辑一般着重于研究公理系统的推断能力和表达能力。它也包括分析正确的数学推断来构筑数学基础。