Diferencia entre revisiones de «Lochica matematica»
Sin resumen de edición |
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
- ↑ Evandro Agazzi, 1986.