Catalog

Record Details

Catalog Search



ფორმალური ენები და სასრული ავტომატები: ლექციათა კურსი / ტარიელ ხვედელიძე; თსუ ზუსტ და საბუნებისმეტყველო მეცნიერებათა ფაკულტეტის კომპიუტერულ მეცნიერებათა დეპარტამენტი.

პუბლიკაციის გამოსახულება

ელექტრონული რესურსები

ხელმისაწვდომი ასლები

  • 1 of 1 copy available at გაერთიანებული კატალოგი.

ამჟამინდელი მდგომარეობა

0 current holds with 1 total copy.

მდებარეობა ინვენტარის ნომერი / შენიშვნების ასლი ბარკოდი თაროზე განთავსების ადგილი სტატუსი ზუსტი თარიღი
ზუსტ და საბუნებისმეტყველო მეცნიერებათა ფაკულტეტის ბიბლიოთეკა (პირველი დარბაზი) 81'322 ხ-49 900001459135 Stacks ხელმისაწვდომია -

დამატებითი ინფორმაცია

  • ფიზიკური აღწერილობა: 98 გვ.

წიგნის აღწერილობა

სარჩევი ზოგადი ცნებები ფორმალური სისტემების შესახებ. გამონათქვამები და ლოგიკური კავშირები -- დე მორგანის წესები -- გამონათქვამთა აღრიცხვის თეორიულ-სამრავლური ინტერპრეტაცია -- სავარჯიშოები -- ფორმალური სისტემის ცნება -- გამონათქვამთა აღრიცხვის ფორმალიზებული ვარიანტი -- გამომდინარეობის მაგალითები -- ფორმალური სისტემის განმარტება -- ხომსკის განმარტება -- შესაბამისობა გრამატიკებსა და ენებს შორის -- არაცარიელი, სასრული და უსასრულო ენები -- ენის მაგალითი რომელიც არაა KC - ენა -- ჩაკეტილობის თვისება. ოპერაციები KC - ენებზე -- KC - ენების სპეციალური კლასები -- ავტომატები და ენები -- მაღაზიური მეხსიერების ავტომატი (MП - ავტომატი)და მისი ფუნქციონირება -- ენათა კლასი, დასაშვები MП - ავტომატში და წარმოქმნილი MП - ავტომატის მიერ -- ავტომატის ფუნქციონირება ენის წარმოქმნისას -- ავტომატის ფუნქციონირება ენის დაშვებისას -- ავტომატური გრამატიკები -- ფორმალური გრამატიკების კლასიფიკაცია -- ზოგადი ცნებები სასრული ავტომატების შესახებ. დინამიური სისტემა -- სასრული ავტომატები -- ავტომატების ფუნქციონირების აღწერა -- ავტომატების კლასიფიკაცია. სასრული ავტომატების მაგალითები -- ხდომილებათა წარმოდგენა ავტომატებში -- ავტომატების ანალიზისა და სინთეზის ამოცანები -- რეგულარული გამოსახულების მინიმალური ფორმა -- რეგულარული გამოსახულებების მოცემა გრაფების ფორმით -- ენები და დაპროგრამების სისტემები. გამოთვლითი ტექნიკის განვითარების ქრონოლოგია. ზოგიერტი კომპიუტერული ფირმის მოკლე ისტორია -- სავარჯიშოები.
თემა: თსუ ზუსტ და საბუნებისმეტყველო მეცნიერებათა ფაკულტეტის კომპიუტერულ მეცნიერებათა დეპარტამენტი.
გამოთვლითი ლინგვისტიკა.
კომპიუტერული ენები.

Additional Resources