Algorithmic logic

Algorithmic logic is a calculus of programs which allows the expression of semantic properties of programs by appropriate logical formulas. It provides a framework that enables proving the formulas from the axioms of program constructs such as assignment, iteration and composition instructions and from the axioms of the data structures in question see Mirkowska & Salwicki (1987), Banachowski et al. (1977).

单词	Algorithmic logic
释义	Algorithmic logic 英语百科 Algorithmic logic Algorithmic logic is a calculus of programs which allows the expression of semantic properties of programs by appropriate logical formulas. It provides a framework that enables proving the formulas from the axioms of program constructs such as assignment, iteration and composition instructions and from the axioms of the data structures in question see Mirkowska & Salwicki (1987), Banachowski et al. (1977).
随便看	splenic and renal rubbing的意思 splenic anemia的意思 splenic anemia,anemia splenetica的意思 splenic anemia of infants的意思 Splenic Anemias的意思 splenic anemia with fever的意思 splenic aneurysm的意思 splenic angle的意思 splenic apoplexy的意思 splenic arteria的意思 Splenic arteries的意思 splenic arteriography的意思 Splenic arterioles的意思 splenic artery的意思 splenic artery aneurysm的意思 splenic artery embolization的意思 splenic artery, lienal artery的意思 splenic arthralgia的意思 splenic asthenia的意思 Splenic atrophy的意思 splenic aversion to wetness的意思 splenic branch的意思 splenic branches的意思 Splenic branches of splenic artery的意思 splenic cachexia的意思