Publisher's Synopsis
Effective analysis, design and development of present-day computer-based information systems requires a firm grasp of mathematical reasoning. These systems variously encompass relational database logic programming languages, knowledge-based and expert systems, and development tools, all of which require the application of logic and mathematical modelling for their proper derivation of utilization.;The trick is to present these techniques in the relevant context and establish their actual usefulness and means of deployment. This book therefore introduces the need for logic, explains the many and varied tools employed in formal logic, and then illustrates how they are manipulated in the modelling of rules, data and particularly knowledge representation required as the elements of a full system.;The whole treatment is illustrated with examples and is concerned with comprehensibility and relevance rather than with pure rigour.
