Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design .
Maher A. Nabulsi Dept. of Math & Computer Science, Collage of Science. Al_Za’toona-tr Jordanian
Abstract
UniversiW. Amman, Jordan.
Received: (3/4/2000), Accepted: (l 3/3/200t )
Mathematics and computer science are crosery linked with each other, and in many respects, the frrnctions of computer related elements might be interpreted usini mathematical approaches. In this paper the strong correlition that e;i$ betweei computer software and hardware elements Qogic devices, digital circuits and logical processing) and discrete mathematics (proposiiions and quanified asr.rtion.j *iiit” demonsfiated. This will pave tre way for a better understanding ofthe operations oi basic computer circuits ald lay the foundation for developing ni.* .o.put”..”htJ algorithms.