Functional Programming and Specification Practical 3 This is an assessed practical exercise, to be completed by 4pm on Monday 21st March. In contrast to previous exercises, the mark will contribute to the overall mark fo - Axioms of set theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Functional Programming and Specification Practical 3 This is an assessed practical exercise, to be completed by 4pm on Monday 21st March. In contrast to previous exercises, the mark will contribute to the overall mark fo Add to Reading List Document Date: 2011-03-08 05:35:00 Open Document File Size: 55,66 KB Share Result on Facebook City Moscow / / Facility Appleton Tower / / ProgrammingLanguage ML / / Technology Functional Programming / cmp / / SocialTag Constructible universe S Heap Axioms of set theory Mathematical logic Z notation Mathematics

Functional Programming and Specification Practical 3 This is an assessed practical exercise, to be completed by 4pm on Monday 21st March. In contrast to previous exercises, the mark will contribute to the overall mark foAdd to Reading List