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

ვიკიპედიიდან

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

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

[რედაქტირება] იხილეთ ასევე

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


მათემატიკის მთავარი დარგები
ალგებრა | უმაღლესი ალგებრა | წრფივი ალგებრა | ანალიზი | ფუნქციონალური ანალიზი | კომპლექსური ანალიზი | რიცხვითი ანალიზი | დიფერენციალური განტოლებები | რიცხვთა თეორია | დისკრეტული მათემატიკა | სიმრავლეთა თეორია | ლოგიკა | კატეგორიათა თეორია | გეომეტრია | ალგებრული გეომეტრია | ტოპოლოგია | ალგებრული ტოპოლოგია | დიფერენციალური ტოპოლოგია | ალბათობის თეორია | სტატისტიკა
სხვა ენებზე