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

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

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

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

 ლიტერატურა 
 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 
 forall x: an introduction to formal logic

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