ka | en
Company Slogan TODO

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

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

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



Web Development by WebDevelopmentQuote.com
Design downloaded from Free Templates - your source for free web templates
Supported by Hosting24.com