ამ ეგზემპლარზე გადასასვლელად გამოიყენეთ ეს იდენტიფიკატორი:
https://dspace.nplg.gov.ge/handle/1234/171134მეტამონაცემთა სრული ჩანაწერი
| DC ველი | მნიშვნელობა | ენა |
|---|---|---|
| dc.contributor.advisor | ცერცვაძე, გ. | - |
| dc.contributor.author | ბენიძე, ნანა | - |
| dc.date.accessioned | 2016-08-29T08:25:09Z | - |
| dc.date.available | 2016-08-29T08:25:09Z | - |
| dc.date.issued | 2012 | - |
| dc.identifier.uri | http://dspace.nplg.gov.ge/handle/1234/171134 | - |
| dc.description.tableofcontents | სარჩევი ანოტაცია -- Annotation -- შესავალი -- თავი1. ვერიფიკაციის მეთოდების მიმოხილვა -- 1.1 ხოარის აქსიომატიკური სემანტიკის მეთოდები -- 1.1.1 არარეკურსიული და რეკურსიული ფუნქციების ვერიფიკაციის მეთოდები -- 1.1.2 პროგრამების შექმნა, მათი კორექტულობის დამტკიცების პარალელურად -- 1.2 ფლოიდის ინდუქციური დაშვების მეთოდი -- 1.2.1 რეკურსიული პროგრამების სამართლიანობის დამტკიცება -- 1.3 მოდელებზე შემოწმება (Model cheking) -- 1.3.1 პროგრამების მოდელების ვერიფიკაციის პროცესი -- 1.3.2 კრიპკეს სტრუქტურა. ვერიფიკაციის პაკეტი SPIN -- თავი 2. დაპროგრამების ენების განსაზღვრა სასრული ავტომატების საშუალებით -- 2.1 გრამატიკები და ფორმალური ენები -- 2.2 * ავტომატების თეორიის ზოგიერთი ცნებები -- 2.2 *.1 ავტომატების სახეები -- 2.2 *.2 ავტომატები და გრაფები -- 2.2 *.3 ენების წარმოდგენა ავტომატის საშუალებით -- 2.2 სასრული ავტომატები -- 2.3 კავშირი სასრულ ავტომატებსა, ფორმალურ გრამატიკებსა და ენებს შორის -- 2.4 სასრული ავტომატების სისტემა -- 2.5 სინტაქსური გარჩევის ერთი ალგორითმის შესახებ -- 2.6 სინტაქსური ანალიზის ალგორითმების კორექტულობის პრინციპი -- თავი 3. პროგრამული უზრუნველყოფის ვერიფიკაციის ამოცანა კრიპტოგრაფიული სისტემებისათვის; 3.1 ბლოკური დაშიფვრის სიმეტრიული კრიპტოგრაფიული სისტემა -- 3.2 ბლოკური დაშიფვრის სიმეტრიული კრიპტოგრაფიული სისტემის ალგორითმი -- 3.2.1 მონაცემთა დაშიფვრის ალგორითმის ზოგიერთი განმარტებები -- 3.2.2 წარმოებული გასაღებების გამოთვლის ალგორითმის ზოგიერთი განმარტებები -- 3.3 კრიპტოლოგიური ამოცანის კორექტულობის პრინციპი -- გამოყენებული ლიტერატურის ნუსხა -- დანართი. | - |
| dc.format.extent | 120 გვ. | en_US |
| dc.language.iso | ka | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | თბილისი | en_US |
| dc.source | ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით/ნ. ბენიძე: დის... დოქტ. აკად. ხარისხ. /სამეცნ. ხელმძღვან.: გურამ ცერცვაძე; საქ. საპატრიარქოს წმ. ანდრია პირველწოდებულის სახ. ქართული უნივერსიტეტი; თბ., 2012 - 120 გვ. - - ბიბლიოგრ.: გვ. 115-120 . UDC: 004.421 (საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა, საარქივო ფონდი, D 17.573) | en_US |
| dc.subject | ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობა) | en_US |
| dc.title | ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით | en_US |
| dc.type | Thesis | en_US |
| dc.type | Thesis | en_US |
| dc.rights.holder | საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა | en_US |
| შესულია კოლექციებში: | ეროვნული ბიბლიოთეკის დისერტაციებისა და ავტორეფერატების ფონდი | |
ფაილები ამ ეგზემპლარში:
| ფაილი | აღწერილობა | ზომა | ფორმატი | |
|---|---|---|---|---|
| Disertacia.pdf | 931.43 kB | Adobe PDF |  ნახვა / გახსნა | |
| Avtoreferati-qartuli.pdf | 172.66 kB | Adobe PDF |  ნახვა / გახსნა | |
| Avtoreferati-rusuli.pdf | 161.28 kB | Adobe PDF |  ნახვა / გახსნა |
საავტორო უფლება