Diferencia entre revisiones de «Lochica matematica»

De Biquipedia
Contenido eliminado Contenido añadido
Sin resumen de edición
Addbot (descutir | contrebucions)
m Bot: Migrating interwiki links, now provided by Wikidata on d:q1166618
Linia 12: Linia 12:
[[Categoría:Lochica matematica| ]]
[[Categoría:Lochica matematica| ]]


[[ar:منطق رياضي]]
[[az:Riyazi məntiq]]
[[be:Матэматычная логіка]]
[[be-x-old:Матэматычная лёгіка]]
[[be-x-old:Матэматычная лёгіка]]
[[bg:Математическа логика]]
[[bs:Matematička logika]]
[[ca:Lògica matemàtica]]
[[cs:Matematická logika]]
[[da:Matematisk logik]]
[[de:Mathematische Logik]]
[[el:Μαθηματική λογική]]
[[en:Mathematical logic]]
[[eo:Matematika logiko]]
[[et:Matemaatiline loogika]]
[[fa:منطق ریاضی]]
[[fr:Logique mathématique]]
[[gd:Rianas matamataigeach]]
[[he:לוגיקה מתמטית]]
[[hi:गणितीय तर्कशास्त्र]]
[[hr:Matematička logika]]
[[hu:Matematikai logika]]
[[hy:Մաթեմատիկական տրամաբանություն]]
[[id:Logika matematika]]
[[io:Matematikala logiko]]
[[it:Logica matematica]]
[[ja:数理論理学]]
[[ka:მათემატიკური ლოგიკა]]
[[ko:수리논리학]]
[[ky:Математикалык логика]]
[[lij:Logica Matematica]]
[[lv:Matemātiskā loģika]]
[[mk:Математичка логика]]
[[ms:Logik matematik]]
[[nl:Wiskundige logica]]
[[nn:Matematisk logikk]]
[[no:Predikatslogikk]]
[[no:Predikatslogikk]]
[[pl:Logika matematyczna]]
[[pt:Lógica matemática]]
[[ro:Logică matematică]]
[[ru:Математическая логика]]
[[sh:Matematička logika]]
[[si:ගණිතමය තර්කණය]]
[[sk:Matematická logika]]
[[sl:Matematična logika]]
[[sq:Logjika matematikore]]
[[sr:Математичка логика]]
[[sv:Matematisk logik]]
[[tg:Мантиқи риёзӣ]]
[[th:คณิตตรรกศาสตร์]]
[[tl:Matematikal na lohika]]
[[tr:Matematiksel mantık]]
[[uk:Математична логіка]]
[[ur:ریاضیاتی منطق]]
[[vi:Logic toán]]
[[zh:数理逻辑]]
[[zh-yue:數學邏輯]]
[[zh-yue:數學邏輯]]

Versión d'o 15:24 30 chul 2013

A Lochica matematica ye una parte d'a Lochica y d'as Matematicas, que consiste en o estudeo matematico d'a Lochica y en l'aplicación d'este estudeo a atras arias d'as Matematicas. A Lochica matematica tiene estreitas connexions con as Sciencias d'a computación y con a Lochica filosofica.

A Lochica matematica estudea os sistemas formals en relación con o modo en que codifican nocions intuitivas d'obchectos matematicos como conchuntos, numeros, demostracions y computación.

A lochica matematica gosa dividir-se en quatro subcampos: teoría de modelos, teoría d'a demostración, teoría de conchuntos y teoría d'a recursión. A investigación en lochica matematica ha chugau un papel fundamental en o estudeo d'os fundamentos d'as matematicas. Actualment s'usan indiferentment como sinonimos as expresions: lochica simbolica (u lochistica), lochica matematica y lochica formal.[1]

A Lochica matematica no ye a «lochica d'as matematicas» sino a «matematica d'a lochica». Incluye aquellas partes d'a lochica que pueden estar modeladas y estudiadas matematicament.

Referencias

  1. Evandro Agazzi, 1986.