منطق محمولات
از ویکیپدیا، دانشنامهٔ آزاد.
منطق محمولات (Predicate logic) یا منطق درجهٔ اوّل (First-order logic - FOL) زبانیست همهجاگیر در علوم نمادی (symbolic)، که توسّط دانشمندان مختلف در علوم ریاضی، فلسفه، زبانشناسی، علوم رایانه، و به طور اخصّ، در هوش مصنوعی، و نمایش دانش مورد استفاده قرار میگیرد.
[ویرایش] منابع
-
Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New York Inc., 1984. ISBN: 0-387-96170-4