Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Towards semantically grounded decision rules using ORM+
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Making discrete mathematics relevant
Proceedings of the 48th Annual Southeast Regional Conference
Hi-index | 0.00 |
From the Publisher:modern approach to teaching logic and set theory, equipping students with the necessary mathematical understanding and skills required for the mathematical specification of software. It covers all the areas of mathematics that are considered essential to computer science including logic, set theory, modern algebra (group theory), graph theory and combinatorics, whilst taking into account the diverse mathematical background of the students taking the course. In line with current undergraduate curricula this book uses logic extensively, together with set theory, in mathematical specification of software. Languages such as Z and VDM are used for this purpose. Features Particular emphasis is placed on the application of logic in the fields of software engineering, artificial intelligence and natural language processing 0201179571B04062001