მათემატიკური ლოგიკა

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

მათემატიკური ლოგიკისგან გამოყოფენ ქვედარგებს: მოდელების თეორია, დამტკიცების თეორია, რეკურსიის თეორია.

იხილეთ აგრეთვე

• ბულის ალგებრა
• ინტუიციონისტური ლოგიკა
• ლოგიკა
• პირველი რიგის თეორია
• პრედიკატული ლოგიკა

ლიტერატურა

• Shawn Hedman, A first course in logic: an introduction to model theory, proof theory, computability, and complexity, Oxford University Press, 2004, ISBN 0-19-852981-3.

რესურსები ინტერნეტში

• Logic and set theory around the world
• Polyvalued logic დაარქივებული 2009-06-05 საიტზე Wayback Machine.
• forall x: an introduction to formal logic