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

მასალა ვიკიპედიიდან — თავისუფალი ენციკლოპედია
Jump to navigation Jump to search

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

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

იხილეთ აგრეთვე[რედაქტირება | წყაროს რედაქტირება]

ლიტერატურა[რედაქტირება | წყაროს რედაქტირება]

  • 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.

რესურსები ინტერნეტში[რედაქტირება | წყაროს რედაქტირება]