Аксиоматска семантика — разлика између измена
Садржај обрисан Садржај додат
{{почетник|24|07|2017}} |
+ |
||
Ред 1:
{{без извора}}'''Аксиоматска семантика''' је приступ заснован на [[математика|математичкој]] [[логика|логици]] за доказивање исправности [[рачунарски програм|рачунарских програма]]. Уско је повезан са [[Хоаре логика|Хоаре логиком]]. Аксиоматска семантика дефинише значење команде у програму описујући његов утицај на тврдње о стању програма. Наводe се логични изрази
▲Аксиоматска семантика је приступ заснован на математичкој логици за доказивање исправности рачунарских програма. Уско је повезан са Хоаре логиком. Аксиоматска семантика дефинише значење команде у програму описујући његов утицај на тврдње о стању програма. Наводe се логични изрази - предикати са варијаблама, гдје варијабле дефинишу стање програма.
{{клица-наука}}
[[Категорија:Логика]]
[[Категорија:Математика]]
[[Категорија:Рачунарство]]
| |||