Category:Mathematical logic

Матеріал з Wikimedia Commons
Перейти до навігації Перейти до пошуку
lógica matemática (es); Stærðfræðileg rökfræði (is); Logik matematik (ms); Математическа логика (bg); ریاضیاتی منطق (pnb); ریاضیاتی منطق (ur); matematisk logik (sv); математична логіка (uk); мантиқи риёзӣ (tg); Matematikala logiko (io); Mathematische Logik (gsw); 수리 논리학 (ko); matematika logiko (eo); математичка логика (mk); Matematička logika (bs); Lochica matematica (an); গাণিতিক যুক্তিবিজ্ঞান (bn); logique mathématique (fr); Logika matématika (jv); Matematička logika (hr); Logic toán (vi); Matemātiskā loģika (lv); Wiskundige logika (af); математичка логика (sr); lógica matemática (pt-br); mathematical logic (sco); matematisk logikk (nn); formal logikk (nb); riyazi məntiq (az); mathematical logic (en); منطق رياضي (ar); သင်္ချာယုတ္တိဗေဒ (my); 數學邏輯 (yue); Matematikai logika (hu); ሒሳባዊ ሥነ አምክንዮ (am); Logika matematiko (eu); Lóxica matemática (ast); lògica matemàtica (ca); rhesymeg fathemategol (cy); Loighic mhatamaiticiúil (ga); մաթեմատիկական տրամաբանություն (hy); 数理逻辑 (zh); matematisk logik (da); მათემატიკური ლოგიკა (ka); 数理論理学 (ja); לוגיקה מתמטית (he); Logica mathematica (la); गणितीय तर्कशास्त्र (hi); 数理逻辑 (wuu); Lógica matemática (mwl); Logika matematika (id); logica matematica (it); Okusengekensonga okw'ekibalo(Mathematical logic) (lg); matematická logika (cs); матэматычная лёгіка (be-tarask); Matemaatiline loogika (et); Logica Matematica (oc); Logica Matematica (lij); Matematiksel mantık (tr); منطق ریاضی (fa); wiskundige logica (nl); mathematische Logik (de); lógica matemática (pt); Математикалык логика (ky); Matematická logika (sk); матэматычная логіка (be); Simbolinė logika (lt); Matematična logika (sl); Matematikal na lohika (tl); ගණිතමය තර්කණය (si); математическая логика (ru); คณิตตรรกศาสตร์ (th); logika matematyczna (pl); Rianas matamataigeach (gd); Matematička logika (sh); Matematik mantiq (uz); Logjika matematikore (sq); математична логіка (uk); logică matematică (ro); Lóxica matemática (gl); Математикăлла логика (cv); Μαθηματική λογική (el); matemaattinen logiikka (fi) parte de la lógica y las matemáticas (es); discipline des mathématiques étudiant celles-ci en tant que langage (fr); разьдзел матэматыкі (be-tarask); раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и пр. (ru); Teilgebiet der Mathematik (de); exercícios de proposição (pt); 數學子領域 (zh); çarpım tablosu (tr); 論理学(形式論理学)の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする数学の関連分野 (ja); subfield o mathematics splorin the applications o formal logic tae mathematics (sco); dziedzina matematyki (pl); Locke8290 (zh-hant); раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и пр. (ru); matematiikan osa-alue (fi); subfield of mathematics (en); العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح (ar); obor matematiky (cs); campo della matematica (it) lógica simbólica, neopositivistas lógicos, lógica, logica matematica, logica simbolica, neopositivistas logicos, logica (es); 數理邏輯, 符號邏輯 (yue); Lògica simbòlica, Metamatemàtica (ca); Logik, Logistik, symbolische Logik, Metamathematik (de); Logjika Matematikore, Logjika matematike (sq); منطق نمادی, منطق صوری (fa); Математическата логика (bg); logik, logistik (da); Logica matematică (ro); Mathematical logic, منطق ریاضیات (ur); Moderná logika, Symbolická logika (sk); Mathematical logic (si); математикаи мантиқӣ (tg); 기호논리학, 수리논리학자, 수리논리 (ko); Vikipedio:Projekto matematiko/Matematika logiko, Logistiko (eo); logika, formální logika, symbolická logika, moderní logika (cs); Logica formale, Logica simbolica, Logico (it); métamathématique, logique formelle, logique symbolique, logique (fr); фармальная лёгіка, сымбалічная лёгіка, сучасная лёгіка, лёгіка (be-tarask); Lôgic toán học, Logic toán học, Lôgic ký hiệu, Logic ký hiệu, Lôgic kí hiệu, Logic kí hiệu, Mêta toán, Mêta toán học, Lôgic toán (vi); לוגיקה סימבולית, חידה לוגית, לוגיקה (מתמטיקה), לוגיקה פורמלית (he); Mathematical logic (tl); 記号論理学, 論理数学 (ja); Moderna logika (hr); Logika simbolik, Logika formal (id); матлогика, теоретическая логика, выводимая формула (ru); formallogikk (nb); mathematische logica (nl); Sembolik Mantık, Matematiksel Mantık (tr); Sümbolloogika (et); ตรรกศาสตร์สัญลักษณ์ (th); 符号逻辑, 纯逻辑学, 數學邏輯, 數理邏輯 (zh); logic, formal logic, symbolic logic, modern logic (en); المنطق الرياضي, منطق رياضياتي, منطق رسمي (ar); Τυπική λογική, Λογική (μαθηματικά) (el); логіка математична, матлогіка (uk)
математична логіка 
раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математическ
Завантажити медіафайл
Є одним ізрозділ математики
Є підкласом класуЛоґіка
Частина відМатематіка
Нормативний контроль
Edit infobox data on Wikidata

Підкатеґорії

Указаных 25 підкатеґорій із 25.

*

A

B

C

F

H

L

M

N

P

R

S

T

Файлы в катеґорії «Mathematical logic»

Вказаны 74 файлы той катеґорії з 74.