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

нема описа измене
(Нова страница: Аксиоматска семантика је приступ заснован на математичкој логици за доказивање исправност…)
 
Нема описа измене
Аксиоматска семантика је приступ заснован на математичкој логици за доказивање исправности рачунарских програма. Уско је повезан са Хоаре логиком. Аксиоматска семантика дефинише значење команде у програму описујући његов утицај на тврдње о стању програма. НаводиНаводe се логични изрази - предикати са варијаблама, гдје варијабле дефинишу стање програма.
Анониман корисник