მათემატიკური ლოგიკა
From Wikipedia, the free encyclopedia
მათემატიკური ლოგიკა ზოგადად შეიძლება აღიწეროს როგორც მათემატიკის ნაწილი, სხვადასხვა მათემატიკური კონსტრუქციების, გამოთვლების, დამტკიცებების ფორმალურ მხარის შესახებ. მნიშვნელოვანია მათემატიკის დაფუძნებისთვის. ეჯაჭვება კომპიუტერულ მეცნიერებებს.
მათემატიკური ლოგიკისგან გამოყოფენ ქვედარგებს: მოდელების თეორია, დამტკიცების თეორია, რეკურსიის თეორია.