week 5

A5 Principles of logic applied to program design Principles, including:

• iteration – repetition of a computational procedure applied to the result of a previous application

• mathematical logic – inference, consistency, completeness, verification by truth tables

• propositional dynamic logic to demonstrate the function of algorithms

• use of sets, e.g. properties and interrelationships of sets of data, search/filter sets of data.

Last Updated
2018-09-14 10:00:37