Wikipédia

„Matematikai logika” változatai közötti eltérés

Laptörténet interaktív böngészése
[ellenőrzött változat][nem ellenőrzött változat]
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
javítgatás, rendezés, kékítés
Nincs szerkesztési összefoglaló
Címkék: Visszaállítva Mobilról szerkesztett Mobil web szerkesztés
1. sor:
{{Matematika}}
 
A '''matematikai logika''' a [[matematika]] egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat matematikaimatöki 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.
 
A matematikai logika korábban a [[Formális logika|szimbolikus logika]] részét képezte, abból fejlődött ki azáltal, hogy a szimbolikus logika formális módszereit kezdte alkalmazni a matematikai következtetések és bizonyítások vizsgálatára.
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Matematikai_logika”