Аксіоматична семантика — підхід до опису семантики системи за допомогою аксіоматичних теорій: теорії множин, натуральних чисел, математичної логіки. Система описується в рамках визначених понять за допомогою аксіом та правил виводу. Як база використовується апарат математичної логіки.
Використання аксіоматичної семантики дозволяє ввести поняття часткової коректності системи. Система частково коректна, якщо при задовільненні у початковому стані визначених умов (передумов) після завершення вона задовольняє відповідні умови (постумови).
Посилання
Це незавершена стаття про програмування. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Aksiomatichna semantika pidhid do opisu semantiki sistemi za dopomogoyu aksiomatichnih teorij teoriyi mnozhin naturalnih chisel matematichnoyi logiki Sistema opisuyetsya v ramkah viznachenih ponyat za dopomogoyu aksiom ta pravil vivodu Yak baza vikoristovuyetsya aparat matematichnoyi logiki Vikoristannya aksiomatichnoyi semantiki dozvolyaye vvesti ponyattya chastkovoyi korektnosti sistemi Sistema chastkovo korektna yaksho pri zadovilnenni u pochatkovomu stani viznachenih umov peredumov pislya zavershennya vona zadovolnyaye vidpovidni umovi postumovi PosilannyaCe nezavershena stattya pro programuvannya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi