აღნიშვნათა თეორიის გამოყენებითი საკითხები

ავტორი: ხიმური რუხაია
თანაავტორები: ლალი ტიბუა
საკვანძო სიტყვები: ნაწილობთი კვანტორი, ლოგიკო=სპეციალური ოპერატორი, მინიჭების ოპერატორი, აღნიშვნათა თეორია, პროგრამირების ზოგადი თეორია
ანოტაცია:

პროგრამირების ზოგადი თეორიის აგებისას აუცილებელია გამოყენებულ იქნეს იგივე მეთოდი რაც გამოყენებულია აღნიშვნათა თეორიის ასაგებად. პროგრამირებისას გამოყენებულ ოპერატორს უნდა მიეცეს ლოგიკური ფორმა და ჩართულ უნდა იქნას ლოგიკური თეორიის ენის სიმბოლოებში. სტატიაში განხილულია მინიჭების ოპერატორი, სადაც ცვლადებს ენიჭებათ არა მხოლოდ რიცხვითი მნიშვნელობა, არამედ ნებისმიერი თერმი.მინიჭების ოპერატორს აქვს ორი ლოგიკური ფორმა Rx და Sx. პირველის შედეგი არის ფორმულა, მეორის კი –თერმი. დამტკიცებულია ამ ოპერატორების ზოგიერთი თვისება.