matematikai logika
Ugrás a navigációhoz
Ugrás a kereséshez
Magyar
Kiejtés
- IPA: [ ˈmɒtɛmɒtikɒjiloɡikɒ]
Főnév
- (matematika) 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. A matematikai logika korábban a 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.
Fordítások
- angol: mathematical logic
- francia: logique mathématique
- német: mathematische Logik
- orosz: математическая логика (matematičeskaja logika)
- román: logică matematică