The National Library of Georgia Home - About Library - E-Resources 
Digital Library  
dLibrary - Digital Library  [ ENG | GEO ]
Collections : დისერტაციები
Search:

Search Page »

 


Browse
» Home
» Collections
» Subjects

 

 

 

 

 

 

 

 

UID: dlib-0002-000604 

ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით

Authors:ბენიძე, ნანა
Subjects:ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობა);
Table Of Contents:სარჩევი ანოტაცია; 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 კრიპტოლოგიური ამოცანის კორექტულობის პრინციპი; გამოყენებული ლიტერატურის ნუსხა; დანართი.
Date of Issue:2012
Source:ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით/ნ. ბენიძე: დის... დოქტ. აკად. ხარისხ. /სამეცნ. ხელმძღვან.: გურამ ცერცვაძე; საქ. საპატრიარქოს წმ. ანდრია პირველწოდებულის სახ. ქართული უნივერსიტეტი; თბ., 2012 - 120 გვ. - - ბიბლიოგრ.: გვ. 115-120 . UDC: 004.421
Language:Georgian
Extent Format:120 გვ.
Created:2012-12-06
Modified:2013-01-15

 

IDObjectSizeFormat 
3440დისერტაცია (ქართ)  [120 გვ.]931KbAdobe PDF
3441ავტორეფერატი (ქართ)  [10 გვ.]173KbAdobe PDF
3442ავტორეფერატი (რუს)  [9 გვ.]161KbAdobe PDF

 

CopyRight © 2006
Created by David A. Mchedlishvili