ძიების შედეგი
ერთეულების ჩვენება 1 დან 2
ფორმალური ენები და სასრული ავტომატები: ლექციათა კურსი / ტარიელ ხვედელიძე; თსუ ზუსტ და საბუნებისმეტყველო მეცნიერებათა ფაკულტეტის კომპიუტერულ მეცნიერებათა დეპარტამენტი.
Book
დაამატე ჩემს სიაში
Permalink
ელექტრონული რესურსები
ხელმისაწვდომი ასლები
- 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П - ავტომატის მიერ -- ავტომატის ფუნქციონირება ენის წარმოქმნისას -- ავტომატის ფუნქციონირება ენის დაშვებისას -- ავტომატური გრამატიკები -- ფორმალური გრამატიკების კლასიფიკაცია -- ზოგადი ცნებები სასრული ავტომატების შესახებ. დინამიური სისტემა -- სასრული ავტომატები -- ავტომატების ფუნქციონირების აღწერა -- ავტომატების კლასიფიკაცია. სასრული ავტომატების მაგალითები -- ხდომილებათა წარმოდგენა ავტომატებში -- ავტომატების ანალიზისა და სინთეზის ამოცანები -- რეგულარული გამოსახულების მინიმალური ფორმა -- რეგულარული გამოსახულებების მოცემა გრაფების ფორმით -- ენები და დაპროგრამების სისტემები. გამოთვლითი ტექნიკის განვითარების ქრონოლოგია. ზოგიერტი კომპიუტერული ფირმის მოკლე ისტორია -- სავარჯიშოები. |
ძიება თემის მიხედვით
| თემა: | თსუ ზუსტ და საბუნებისმეტყველო მეცნიერებათა ფაკულტეტის კომპიუტერულ მეცნიერებათა დეპარტამენტი. გამოთვლითი ლინგვისტიკა. კომპიუტერული ენები. |
ძიების შედეგი
ერთეულების ჩვენება 1 დან 2
