{"headword": "matematik mantiq", "key": "matematik mantiq", "entries": [{"dictionary": {"name": "Толковый словарь информационно-коммуникационных технологий", "title": "Ахборот-Коммуникация Технологиялари Изоҳли Луғати", "kind": "Терминологический", "imprint": "Амиров, Д.М.; Атаджанов, А.Ю.; Атаджанов, Д.Ю.; Ибрагимов, Д.А.; Раҳимжонов, З.Ё.; Саидхўжаев, С.С. (2010). Ахборот-Коммуникация Технологиялари Изоҳли Луғати. Tashkent: БМТТДнинг Ўзбекистондаги ваколатхонаси.", "url": "https://til.uz/lugatlar/axborot-kommunikatsiya-texnologiyalari-izohli-lugati/", "page": "142"}, "pos": "", "labels": [], "variants": [], "etymology": "", "phraseology": "", "pronunciation": "", "senses": [{"order": 1, "text": "Mantiq fani boʻlimi. U matematika uslublari asosida rivojlantiriladi. Unga fikr (hukm) larni asoslash, isbotlar, mantiqiy xulosalar chiqarish kiradi. Buning uchun matematik mantiqda algebra uslublari va algoritmlar nazariyasi qoʻllaniladi.", "examples": []}], "translations": [], "cross_references": [], "extra": {"raw_word": "математик мантиқ", "raw_meaning": "ингл: mathematical logic рус: математическая логика Мантиқ фани бўлими. У математика услублари асосида ривожлантирилади. Унга фикр (ҳукм) ларни асослаш, исботлар, мантиқий хулосалар чиқариш киради. Бунинг учун математик мантиқда алгебра услублари ва алгоритмлар назарияси қўлланилади."}}]}