"лямбда-исчисление" meaning in All languages combined

See лямбда-исчисление on Wiktionary

Noun [Русский]

IPA: ˌlʲambdə ɪɕt͡ɕɪˈslʲenʲɪɪ̯ə
Etymology: Происходит от ?? Forms: ля́мбда-исчисле́ние [nominative, singular], ля́мбда-исчисле́ния [nominative, plural], ля́мбда-исчисле́ния [genitive, singular], ля́мбда-исчисле́ний [genitive, plural], ля́мбда-исчисле́нию [dative, singular], ля́мбда-исчисле́ниям [dative, plural], ля́мбда-исчисле́ние [accusative, singular], ля́мбда-исчисле́ния [accusative, plural], ля́мбда-исчисле́нием [instrumental, singular], ля́мбда-исчисле́ниями [instrumental, plural], ля́мбда-исчисле́нии [prepositional, singular], ля́мбда-исчисле́ниях [prepositional, plural]
  1. формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости
    Sense id: ru-лямбда-исчисление-ru-noun-dLeIov7W
The following are not (yet) sense-disambiguated
Hypernyms: исчисление
{
  "categories": [
    {
      "kind": "other",
      "name": "Неодушевлённые/ru",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Нет сведений о составе слова/ru",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Нужна этимология",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Русские лексемы",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Русские существительные",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Русские существительные, склонение 7a",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Русский язык",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Слова из 16 букв/ru",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Средний род/ru",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Требуется категоризация/ru",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_text": "Происходит от ??",
  "forms": [
    {
      "form": "ля́мбда-исчисле́ние",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ния",
      "tags": [
        "nominative",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ния",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ний",
      "tags": [
        "genitive",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́нию",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ниям",
      "tags": [
        "dative",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ние",
      "tags": [
        "accusative",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ния",
      "tags": [
        "accusative",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́нием",
      "tags": [
        "instrumental",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ниями",
      "tags": [
        "instrumental",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́нии",
      "tags": [
        "prepositional",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ниях",
      "tags": [
        "prepositional",
        "plural"
      ]
    }
  ],
  "hypernyms": [
    {
      "sense_index": 1,
      "word": "исчисление"
    }
  ],
  "lang": "Русский",
  "lang_code": "ru",
  "pos": "noun",
  "senses": [
    {
      "glosses": [
        "формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости"
      ],
      "id": "ru-лямбда-исчисление-ru-noun-dLeIov7W"
    }
  ],
  "sounds": [
    {
      "ipa": "ˌlʲambdə ɪɕt͡ɕɪˈslʲenʲɪɪ̯ə"
    }
  ],
  "tags": [
    "declension-2",
    "inanimate",
    "neuter"
  ],
  "word": "лямбда-исчисление"
}
{
  "categories": [
    "Неодушевлённые/ru",
    "Нет сведений о составе слова/ru",
    "Нужна этимология",
    "Русские лексемы",
    "Русские существительные",
    "Русские существительные, склонение 7a",
    "Русский язык",
    "Слова из 16 букв/ru",
    "Средний род/ru",
    "Требуется категоризация/ru"
  ],
  "etymology_text": "Происходит от ??",
  "forms": [
    {
      "form": "ля́мбда-исчисле́ние",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ния",
      "tags": [
        "nominative",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ния",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ний",
      "tags": [
        "genitive",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́нию",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ниям",
      "tags": [
        "dative",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ние",
      "tags": [
        "accusative",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ния",
      "tags": [
        "accusative",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́нием",
      "tags": [
        "instrumental",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ниями",
      "tags": [
        "instrumental",
        "plural"
      ]
    },
    {
      "form": "ля́мбда-исчисле́нии",
      "tags": [
        "prepositional",
        "singular"
      ]
    },
    {
      "form": "ля́мбда-исчисле́ниях",
      "tags": [
        "prepositional",
        "plural"
      ]
    }
  ],
  "hypernyms": [
    {
      "sense_index": 1,
      "word": "исчисление"
    }
  ],
  "lang": "Русский",
  "lang_code": "ru",
  "pos": "noun",
  "senses": [
    {
      "glosses": [
        "формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "ˌlʲambdə ɪɕt͡ɕɪˈslʲenʲɪɪ̯ə"
    }
  ],
  "tags": [
    "declension-2",
    "inanimate",
    "neuter"
  ],
  "word": "лямбда-исчисление"
}

Download raw JSONL data for лямбда-исчисление meaning in All languages combined (2.0kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the ruwiktionary dump dated 2024-10-20 using wiktextract (fbeafe8 and 7f03c9b). 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.