"数理論理学" meaning in 日本語

See 数理論理学 in All languages combined, or Wiktionary

Noun

Forms: すうりろんりがく
  1. 形式論理の数学的な解析などを行う分野。
    Sense id: ja-数理論理学-ja-noun-R2Xd0jXr
The following are not (yet) sense-disambiguated
Related terms: 数理科学 Translations: mathematical logic (英語)
{
  "categories": [
    {
      "kind": "other",
      "name": "日本語",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語 数学",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語 論理学",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語_名詞",
      "parents": [],
      "source": "w"
    }
  ],
  "forms": [
    {
      "form": "すうりろんりがく"
    }
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "related": [
    {
      "word": "数理科学"
    }
  ],
  "senses": [
    {
      "glosses": [
        "形式論理の数学的な解析などを行う分野。"
      ],
      "id": "ja-数理論理学-ja-noun-R2Xd0jXr"
    }
  ],
  "translations": [
    {
      "lang": "英語",
      "lang_code": "en",
      "word": "mathematical logic"
    }
  ],
  "word": "数理論理学"
}
{
  "categories": [
    "日本語",
    "日本語 数学",
    "日本語 論理学",
    "日本語_名詞"
  ],
  "forms": [
    {
      "form": "すうりろんりがく"
    }
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "related": [
    {
      "word": "数理科学"
    }
  ],
  "senses": [
    {
      "glosses": [
        "形式論理の数学的な解析などを行う分野。"
      ]
    }
  ],
  "translations": [
    {
      "lang": "英語",
      "lang_code": "en",
      "word": "mathematical logic"
    }
  ],
  "word": "数理論理学"
}

Download raw JSONL data for 数理論理学 meaning in 日本語 (0.5kB)


This page is a part of the kaikki.org machine-readable 日本語 dictionary. This dictionary is based on structured data extracted on 2024-10-15 from the jawiktionary dump dated 2024-10-02 using wiktextract (2de260d and c8c706e). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.