| Arabic |
| lexicalization | ara: منطق رياضي |
| Standard Arabic |
| lexicalization | arb: منطق رياضي |
| Azerbaijani |
| has gloss | aze: Riyazi məntiq - formal məntiqin əsas qanunlarına istinad edərək, riyazi dil və riyazi metodların tətbiqi ilə məntiqi proseslərin, mühakimələrin qanunauyğunluqlarını araşdırır. Riyazi məntiqin əsasını qoyan İngilis riyaziyyatçısı Corc Bul olmuşdur. |
| lexicalization | aze: Riyazi məntiq |
| Belarusian |
| has gloss | bel: Матэматы́чная лё́гіка — супольнасьць матэматычных фармальных тэорый, матэматычнай мадэльлю кожнай зь якіх зьяўляецца некаторая альгебра лёгікі. |
| has gloss | bel: МАТЭМАТЫЧНАЯ ЛОГІКА, тэарэтычная логіка, сімвалічная логіка, раздзел матэматыкі, які вывучае матэматычныя доказы і пытанні асноваў матэматыкі. |
| lexicalization | bel: матэматычная логіка |
| lexicalization | bel: Матэматычная логіка |
| lexicalization | bel: Матэматычная лёгіка |
| Bengali |
| has gloss | ben: গাণিতিক যুক্তিবিজ্ঞান (ইংরেজি ভাষায়: Mathematical logic) গণিতের একটি শাখা যেখানে সেট, সংখ্যা, প্রমাণ, গণনা, ইত্যাদি মৌলিক গাণিতিক ধারণাগুলি কীভাবে বিধিগত ব্যবস্থাসমূহে সংকেতায়িত (encoded) হয়, তা নিয়ে আলোচনা করা হয়। |
| lexicalization | ben: গাণিতিক যুক্তিবিজ্ঞান |
| Bosnian |
| has gloss | bos: Matematička logika zasniva se na na zakonima matematičkog aparata i koristi se matematičkim metodama. Predmet matematičke logike je dokaz. |
| lexicalization | bos: matematička logika |
| lexicalization | bos: Matematička logika |
| Bulgarian |
| has gloss | bul: Математическата логика е съвременна форма на формалната логика. Тя включва и представя по съответен начин всички ценни резултати на традиционната логика, като се започне от силогистиката на Аристотел, но излиза далеч извън схващанията на традиционната логика. Основна съставна част на математическата логика е съждителната логика (или, както също се нарича,"пропозиционалната логика"). След нея се изгражда логиката на предикатите ("предикатната логика"). Разглеждането на многоместните предикати е голям неин успех. Теорията на типовете изследва не само предикати от първа степен, които са приложими към математическите обекти, а също и предикати от предикати и техните връзки. Най-общо математическата логика е теория на логическите константи и предикати от произволна степен и връзките между... |
| lexicalization | bul: математическата логика |
| lexicalization | bul: Математическа логика |
| Catalan |
| has gloss | cat: La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera amb que aquests codifiquen els conceptes intuitius de demostració matemàtica i computació com una part dels fonaments de la matemàtica. |
| lexicalization | cat: lògica matemàtica |
| Czech |
| has gloss | ces: Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost. |
| lexicalization | ces: matematická logika |
| lexicalization | ces: Matematická logika |
| lexicalization | ces: formální logika |
| Mandarin Chinese |
| lexicalization | cmn: shù lǐ luó ji |
| lexicalization | cmn: 数理逻辑 |
| lexicalization | cmn: 數理邏輯 |
| German |
| has gloss | deu: Die Mathematische Logik ist ein Teilgebiet der Mathematik. Oft wird sie in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Es gibt aber auch Teile der mathematischen Logik, welche nicht mit Grundlagenfragen verbunden sind. |
| lexicalization | deu: Mathematische Logik |
| lexicalization | deu: formale Logik |
| Modern Greek (1453-) |
| has gloss | ell: Η μαθηματική λογική είναι ένας κλάδος των μαθηματικών και της επιστήμης υπολογιστών, με στενή σχέση και με τη φιλοσοφική λογική. Το πεδίο περιλαμβάνει τη μαθηματική μελέτη της λογικής και τις εφαρμογές της τυπικής λογικής σε άλλες περιοχές των μαθηματικών. Οι βασικότερες ιδέες στη μαθηματική λογική περιλαμβάνουν τη μελέτη της εκφραστικής ισχύος των τυπικών συστημάτων και της συμπερασματικής ισχύος των συστημάτων τυπικών αποδείξεων. |
| lexicalization | ell: μαθηματική λογική |
| lexicalization | ell: Μαθηματική λογική |
| Esperanto |
| has gloss | epo: Matematika logiko estas disciplino de matematiko, per kiu oni studas formalajn sistemojn en maniero de konceptoj de pruvo kaj kalkulado kiel partoj de la fundamentoj de matematiko. |
| lexicalization | epo: matematika logiko |
| Estonian |
| has gloss | est: Matemaatiline loogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid. |
| lexicalization | est: Matemaatiline loogika |
| Basque |
| lexicalization | eus: Logika matematikoa |
| Persian |
| has gloss | fas: منطق ریاضی ، شاخهای از ریاضیات است که به ارتباط ریاضی و منطق می پردازد و گاه به آن منطق صوری (منطق نمادی) میگویند. این نام را جوزپه پئانو ریاضیدان ایتالیائی بر این رشته علمی گذاشت . پیشتر لایب نیتز و لامبرت کوشش هائی در این خصوص کرده بودند. |
| lexicalization | fas: منطق ریاضی |
| Finnish |
| lexicalization | fin: symbolinen logiikka |
| lexicalization | fin: Matemaattinen logiikka |
| French |
| has gloss | fra: La logique mathématique, ou logique formelle, est une discipline des mathématiques qui définit et étudie les représentations formelles du langage mathématique. Les objets fondamentaux de la logique mathématiques sont les formules modélisant les énoncés mathématiques, les dérivations modélisant les raisonnements mathématiques et les sémantiques établissant les liens entre ces modèles et les objets qu'ils sont sensés représenter. |
| lexicalization | fra: logique formelle |
| lexicalization | fra: logique mathématique |
| lexicalization | fra: Logique mathematique |
| lexicalization | fra: Logique mathématique |
| Gaelic |
| has gloss | gla: Is e rianas matamataigeach (no loidig matamataigeach) am fo-chuspair matamataig a bhuineas ri siostaman foirmeil agus mar a tha iad a’ cur rian air bun-bheachdan imfhiosach de chuspairean matamataig, mar tha àlaichean, àireamhan, dearbhaidhean agus giollachd fiosrachaidh. Tha ceithir fo-roinnean ann: teòiridh àlach, teòiridh ath-fhillidh, teòiridh dhearbhaidh agus teòiridh shamhailean. |
| lexicalization | gla: Rianas matamataigeach |
| Serbo-Croatian |
| has gloss | hbs: Matematička logika zasniva se na na zakonima matematičkog aparata i koristi se matematičkim metodama. Predmet matematičke logike je dokaz. |
| lexicalization | hbs: Matematička logika |
| Hebrew |
| has gloss | heb: לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מקודדות מושגים אינטואיטיביים, כגון הוכחה או חישוביות. התחום הוא אחד מקבוצה של תחומים המכונים יסודות המתמטיקה משום שהם עוסקים בבסיס הפורמלי של המתמטיקה כולה. לוגיקה מתמטית עוסקת באותם חלקים של הלוגיקה שניתן ליצור להם מודל מתמטי. בעבר נקרא התחום גם בשמות לוגיקה סימבולית (בשל עיסוקו בטענות המיוצגות בידי סמלים) או מטה-מתמטיקה. השם השני מתייחס כיום רק לתורת ההוכחות, אחד התחומים בלוגיקה מתמטית. |
| lexicalization | heb: לוגיקה מתמטית |
| Hindi |
| has gloss | hin: गणितीय तर्कशास्त्र (Mathematical logic) गणित की शाखा है किसका संगणक विज्ञान एवं दार्शनिक तर्कशास्त्र से निकट का सम्बन्ध है। तर्कशास्त्र का गणितीय अध्ययन तथा गणित के अन्य विधाओं में तर्कशास्त्र (formal logic) के अनुप्रयोग दोनो ही इसके अंतर्गत आते हैं। |
| lexicalization | hin: गणितीय तर्कशास्त्र |
| Croatian |
| has gloss | hrv: Matematička ili moderna logika je grana matematike i logike koja se bavi prikazom tradicionalne logike simbolima (pa se još naziva i simboličkom logikom), pri čemu je sve potpuno definirano te nema mogućnosti različitog shvaćanja kao što je to često u tradicionalnoj logici. Matematička je logika osnova modernih računala - na njoj se temelji cijeli logički dio procesora (CPU). |
| lexicalization | hrv: matematička logika |
| lexicalization | hrv: Matematička logika |
| lexicalization | hrv: logika |
| Hungarian |
| has gloss | hun: A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat, matematikai módszerekkel vizsgálja. A matematikai logika célja a helyes következtetési sémák, helyes definíciók vizsgálata, beleértve a matematikai logika által alkalmazott következtetési sémákat, szabályokat, definíciókat is. |
| lexicalization | hun: matematikai logika |
| lexicalization | hun: Matematikai logika |
| Ido |
| has gloss | ido: Matematikala logiko es subfeldo di logiko e matematiko. Konsistas amba di matematikala studio di logiko e lapliko di ta studio ad altra feldi di matematiko. Matematikala logiko havas proxim konekti ad informatiko. Uniganta temi en matematikala logiko inkluzas lexpresoza povo di formala sistemo e la deduktala povo di formala pruvo sistemi. |
| lexicalization | ido: Matematikala logiko |
| Interlingua (International Auxiliary Language Association) |
| lexicalization | ina: Logica mathematic |
| Indonesian |
| has gloss | ind: Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa. dalam pembelajaran logika matematika dipelajari tentang: 1. pernyataan (kalimat tertutup) adalah suatu kalimat yang mempunyai nilai benar saja atau salah saja tidak sekaligus bernilai benar dan salah dan kalimat terbuka adalah suatu kalimat yang belum dapat ditentukan nilai kebenarannya ( benar atau salah). |
| lexicalization | ind: logika matematika |
| lexicalization | ind: Logika matematika |
| Icelandic |
| lexicalization | isl: Stærðfræðileg rökfræði |
| Italian |
| has gloss | ita: La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. |
| lexicalization | ita: logica matematica |
| lexicalization | ita: Logica matematica |
| Japanese |
| has gloss | jpn: 数理論理学（すうりろんりがく）とは、論理を数学によって研究する学問である。記号論理学（きごうろんりがく）とも言う。 |
| lexicalization | jpn: 数理論理学 |
| Georgian |
| has gloss | kat: მათემატიკური ლოგიკა ზოგადად შეიძლება აღიწეროს როგორც მათემატიკის ნაწილი, სხვადასხვა მათემატიკური კონსტრუქციების, გამოთვლების, დამტკიცებების ფორმალურ მხარის შესახებ. მნიშვნელოვანია მათემატიკის დაფუძნებისთვის. ეჯაჭვება კომპიუტერულ მეცნიერებებს. |
| lexicalization | kat: მათემატიკური ლოგიკა |
| Korean |
| has gloss | kor: 수리논리학(數理論理學, Mathematical logic)은 수학과 논리학의 하위분야로써 전산학 및 철학논리와 밀접하게 연관되어있다. 이 분야는 논리학 및 형식논리의 타 분야로의 응용에 관한 수학적 연구를 포함하고있으며, 통합적으로는 형식 체계의 표현력과 형식 증명 체계의 연역 가능성에 관한 연구를 포함한다. |
| lexicalization | kor: 수리논리학 |
| lexicalization | kor: 수리 논리학 |
| lexicalization | kor: 기호 논리학 |
| Latvian |
| lexicalization | lav: Matemātiskā loģika |
| Ligurian |
| lexicalization | lij: logica matematica |
| lexicalization | lij: Logica Matematica |
| Lithuanian |
| lexicalization | lit: Matematinė logika |
| Macedonian |
| has gloss | mkd: Математичка логика е поле во математиката. Се дели на теорија на моделите, доказна теорија, теорија на множествата и теорија на рекурзијата. Истражувањата во математичката логика имаат допринесено кон, и се мотивирани од, изучувањето на основите на математиката, но во математичката логика спаѓаат и области од чистата математика кои не се директно поврзани со основни прашања. |
| lexicalization | mkd: математичка логика |
| lexicalization | mkd: Математичка логика |
| Min Nan Chinese |
| has gloss | nan: Sò͘-ha̍k-te̍k ê lô-chek (mathematical logic) sī sò͘-ha̍k ê 1 ki hun-ki, choan-tô͘ leh gián-kiù kap hêng-sek hē-thóng (formal system) ū tī-tāi ê koan-liām, khoàⁿ chit-koá ti̍t-kak ê khài-liām, khó-pí kóng chi̍p-ha̍p, sò͘-ba̍k, chèng-bêng, kè-sǹg (computation) téng-téng, beh chái-iūⁿ lâi piáu-ta̍t. Khah chia̍p ēng--tio̍h ê lí-lūn ū bô͘-hêng-lūn (model theory), chèng-bêng-lūn (proof theory), chi̍p-ha̍p-lūn ham tē-hoê-lūn (recursion theory). Sò͘-ha̍k-te̍k ê lô-chek tùi gián-kiù sò͘-ha̍k ê ki-chân (foundations of mathematics) chin tiōng-iàu. |
| lexicalization | nan: Sò͘-ha̍k-tek ê lô-chek |
| lexicalization | nan: Sò͘-ha̍k-te̍k ê lô-chek |
| Dutch |
| has gloss | nld: De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt vaak onderverdeeld in de deelgebieden groepentheorie, modeltheorie, bewijstheorie, verzamelingenleer, constructivisme, recursietheorie en berekenbaarheid. Onderzoek op het gebied van de wiskundige logica heeft bijgedragen aan de grondslagen van de wiskunde, die weer de logica in het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die niet met grondslagvragen verbonden zijn. |
| lexicalization | nld: wiskundige logica |
| lexicalization | nld: Wiskundige logica |
| Norwegian Nynorsk |
| has gloss | nno: Matematisk logikk er eit felt innan logikk og matematikk. Det består av både av det matematiske studiet av logikk og bruken av denne studien i andre område av matematikken. Matematisk logikk er nært knytt til informatikk og filosofisk logikk. Av tema som går igjen i matematisk logikk er den uttrykksfulle krafta til formal logikk og den deduktive krafta til formale bevissystem. |
| lexicalization | nno: matematisk logikk |
| lexicalization | nno: Matematisk logikk |
| Norwegian Bokmål |
| lexicalization | nob: predikatslogikk |
| Norwegian |
| has gloss | nor: Predikatslogikk har generelt to betydninger: * logikk studert med matematiske metoder * matematikkens logikk. Ofte avser man begge disse tolkninger: man studerar matematikkens logikk med matematiske metoder. Begrepet skal forstås som kontrast til . |
| lexicalization | nor: Predikatslogikk |
| Iranian Persian |
| lexicalization | pes: منطق ریاضی |
| Polish |
| has gloss | pol: Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. |
| lexicalization | pol: logika matematyczna |
| lexicalization | pol: logika symboliczna |
| lexicalization | pol: Logika matematyczna |
| Portuguese |
| lexicalization | por: Lógica matemática |
| Moldavian |
| has gloss | ron: Logica Matematică este un subdomeniu al matematicii. LM este adesea divizată în următoarele subdomenii : teoria modelelor, teoria demonstraţiei, teoria mulţimilor, şi teoria recursivităţii. Cercetarea din domeniul LM a contribuit la, şi a fost motivată de, studiul fundaţiilor matematicii, dar LM conţine de asemenea şi chestiuni ce aparţin matematicii pure, care nu sunt legate direct de fundaţiile matematicii. |
| lexicalization | ron: logică matematică |
| lexicalization | ron: Logica matematică |
| lexicalization | ron: Logică matematică |
| Russian |
| has gloss | rus: Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.» Согласно определению П. С. Порецкого, «математическая логика есть логика по предмету, математика по методу». Согласно определению Н. И. Кондакова, «математическая логика — вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков).» Это определение соответствует определению С. К. Клини: математическая логика — это «логика, развиваемая с помощью математических методов». Так же А. А. Марков определяет современную логику «точной наукой, применяющей математические методы». Все эти определения не противоречат, а дополняют друг друга. |
| lexicalization | rus: математическая логика |
| lexicalization | rus: Математическая логика |
| Slovak |
| has gloss | slk: Matematická logika (alebo z pohľadu filozofie moderná logika alebo symbolická logika alebo logistika) je matematická disciplína zaoberajúca sa štúdiom formálnych systémov vo vzťahu ku konceptom dôkazu a výpočtu ako časť základov matematiky. |
| lexicalization | slk: matematická logika |
| lexicalization | slk: Matematická logika |
| Slovenian |
| has gloss | slv: Matemátična lógika je matematična disciplina, ki preučuje formalne sisteme v povezavi z načinom, kako opišejo intuitivna koncepta dokaza in računanja kot dela temeljev matematike. |
| lexicalization | slv: matematična logika |
| lexicalization | slv: Matematična logika |
| Castilian |
| has gloss | spa: La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica. |
| lexicalization | spa: Logica matematica |
| lexicalization | spa: lógica matemática |
| lexicalization | spa: lógica simbólica |
| Albanian |
| has gloss | sqi: përjashtimit të së tretës dhe merr vetëm njërën nga vlerat i saktë ose jo i saktë (true ose false). |
| lexicalization | sqi: Logjika Matematikore |
| Serbian |
| has gloss | srp: Математичка логика је подобласт математике и логике. Састоји се од математичког проучавања логике и премена овог проучавања на друге области математике. Математичка логика има блиске везе са рачунарством и филозофском логиком. Међу основним темама које се провлаче кроз математичку логику су изражајна моћ формалних логика и дедуктивна моћ доказивачких система. |
| lexicalization | srp: математичка логика |
| lexicalization | srp: Математичка логика |
| Swedish |
| has gloss | swe: Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås som kontrast till . |
| lexicalization | swe: matematisk logik |
| lexicalization | swe: Matematisk logik |
| Tajik |
| has gloss | tgk: Мантиқи риёзӣ яке аз шохаҳои риёзиёт аст ка иртиботи наздике бо улуми компютер дорад. |
| lexicalization | tgk: мантиқи риёзӣ |
| lexicalization | tgk: Мантиқи риёзӣ |
| Tagalog |
| has gloss | tgl: Ang matematikal na lohika ay isang disiplina sa loob ng matematika, pinag-aaralan ang mga pormal na sistema na may kaugnayan sa paraan ng pagpasok ng mga konsepto na may intuwisyon sa isang patunay at kompyutasyon bilang bahagi ng pundasyon ng matematika. |
| lexicalization | tgl: matematikal na lohika |
| Thai |
| has gloss | tha: คณิตตรรกศาสตร์ คือสาขาหนึ่งในคณิตศาสตร์ที่ศึกษาระบบรูปนัย และคุณลักษณะที่ระบบดังกล่าวจะสามารถใช้เพื่อแสดงมโนทัศน์ของบทพิสูจน์ และการคำนวณในส่วนที่เป็นรากฐานของคณิตศาสตร์ |
| lexicalization | tha: คณิตตรรกศาสตร์ |
| Turkish |
| lexicalization | tur: matematiksel mantık |
| lexicalization | tur: Matematiksel mantık |
| Ukrainian |
| has gloss | ukr: Математи́чна ло́гіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти. |
| lexicalization | ukr: математична логіка |
| lexicalization | ukr: Математична логіка |
| Urdu |
| has gloss | urd: ریاضیاتی منطق ذیلی شعبہ ہے ریاضیات کا جس کا قریبی رشتہ ہے شمارندی سائنس اور منطقی فلسفہ سے۔ اس شعبہ میں منطق کا ریاضیاتی مطالعہ اور رسمی منطق کی ریاضیات کے دوسرے علاقوں میں اطلاق شامل ہیں۔ ریاضیاتی منطق کے متحد موضوعات میں رسمی نظام کے اظہاریہ طاقت اور رسمی ریاضیاتی ثبوت نظامات کی استخراجی طاقت شامل ہیں۔ |
| lexicalization | urd: ریاضیاتی منطق |
| lexicalization | urd: منطق ریاضیات |
| Vietnamese |
| has gloss | vie: Lôgic toán là một ngành con của toán học nghiên cứu các hệ thống hình thức trong việc mã hóa các khái niệm trực quan về các đối tượng toán học chẳng hạn tập hợp và số, chứng minh toán học và tính toán. Ngành này thường được chia thành các lĩnh vực con như lý thuyết mô hình (model theory), lý thuyết chứng minh (proof theory), lý thuyết tập hợp và lý thuyết đệ quy (recursion theory). Nghiên cứu về lôgic toán thường đóng vai trò quan trọng trong ngành cơ sở toán học (foundations of mathematics). |
| lexicalization | vie: Logic toán |
| lexicalization | vie: Lôgic toán |
| Yue Chinese |
| has gloss | yue: 數學邏輯，又叫數理邏輯、符號邏輯，係數學同邏輯一個分支，佢嘅研究對象係對證明同計算呢兩個直觀概念符號化之後嘅形式系統。 |
| lexicalization | yue: 數學邏輯 |
| Chinese |
| has gloss | zho: 数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 |
| lexicalization | zho: 数理逻辑 |
| lexicalization | zho: 數理邏輯 |
