Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design |
Maher A. Nabulsi |
Dept. of Math & Computer Science, College of Science. Al-Zaytoonah Jordanian University, Amman, Jordan. |
Received : 03-04-2000 , Accepted : 13-03-2001 |
Language: English |
Abstract |
Mathematics and computer science are closely linked with each other, and in many respects, the functions of computer related elements might be interpreted using mathematical approaches। In this paper the strong correlation that exist between computer software and hardware elements (logic devices, digital circuits and logical processing) and discrete mathematics (propositions and quantified assertions) will be demonstrated. This will pave the way for a better understanding of the operations of basic computer circuits and lay the foundation for developing new computer related algorithms. http://www.najah.edu/index.php?page=2149&l=en&extra=%26id%3D220 |
Thursday, December 3, 2009
Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment