მათემატიკური ლოგიკა ზოგადად შეიძლება აღიწეროს როგორც მათემატიკის ნაწილი, სხვადასხვა მათემატიკური კონსტრუქციების, გამოთვლების, დამტკიცებების ფორმალურ მხარის შესახებ. მნიშვნელოვანია მათემატიკის დაფუძნებისთვის. ეჯაჭვება კომპიუტერულ მეცნიერებებს.
მათემატიკური ლოგიკისგან გამოყოფენ ქვედარგებს: მოდელების თეორია, დამტკიცების თეორია, რეკურსიის თეორია.
იხილეთ აგრეთვე
- ბულის ალგებრა
- ინტუიციონისტური ლოგიკა
- ლოგიკა
- პირველი რიგის თეორია
- პრედიკატული ლოგიკა
ლიტერატურა
- 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
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.