Аксиоматска семантика — разлика између измена

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

измене