Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design
Authors:
Article info
2000-04-03
2001-03-13
2001-03-13
157 - 168
Keywords
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.
Nabulsi, M. A. (2000). Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design. An-Najah University Journal for Research - A (Natural Sciences), 14(1), 157–168. https://doi.org/10.35552/anujr.a.14.1.678
[1]M. A. Nabulsi, “Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design,” An-Najah University Journal for Research - A (Natural Sciences), vol. 14, no. 1, pp. 157–168, Jan. 2000, doi: 10.35552/anujr.a.14.1.678.
Nabulsi, Maher A. “Some Propositions, Quantified Assertions and Their Uses in Computer Hardwadre Design.” An-Najah University Journal for Research - A (Natural Sciences), vol. 14, no. 1, Jan. 2000, pp. 157–68. Crossref, https://doi.org/10.35552/anujr.a.14.1.678.
1.Nabulsi MA. Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design. An-Najah University Journal for Research - A (Natural Sciences) [Internet]. 2000 Jan;14(1):157–68. Available from: http://dx.doi.org/10.35552/anujr.a.14.1.678
Nabulsi, Maher A. “Some Propositions, Quantified Assertions and Their Uses in Computer Hardwadre Design.” An-Najah University Journal for Research - A (Natural Sciences) 14, no. 1 (January 2000): 157–68. https://doi.org/10.35552/anujr.a.14.1.678.
بعض العبارات المنطقية والجمل المسورة واستخداماتها في مجال الحاسوب
المؤلفون:
معلومات المقال
2000-04-03
2001-03-13
2001-03-13
157 - 168
الكلمات الإفتتاحية
الملخص
يهدف هذا البحث لعرض بعض تطبيقات الرياضيات المنفصلة (العبارات والجمل المسورة ) في مجال الحاسوب (تصميم بعض الدوائر المتكاملة وأحياناً في منطق عمل المعالج المايكروي)
Nabulsi, M. A. (2000). Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design. An-Najah University Journal for Research - A (Natural Sciences), 14(1), 157–168. https://doi.org/10.35552/anujr.a.14.1.678
[1]M. A. Nabulsi, “Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design,” An-Najah University Journal for Research - A (Natural Sciences), vol. 14, no. 1, pp. 157–168, Jan. 2000, doi: 10.35552/anujr.a.14.1.678.
Nabulsi, Maher A. “Some Propositions, Quantified Assertions and Their Uses in Computer Hardwadre Design.” An-Najah University Journal for Research - A (Natural Sciences), vol. 14, no. 1, Jan. 2000, pp. 157–68. Crossref, https://doi.org/10.35552/anujr.a.14.1.678.
1.Nabulsi MA. Some Propositions, Quantified Assertions and their Uses in Computer Hardwadre Design. An-Najah University Journal for Research - A (Natural Sciences) [Internet]. 2000 Jan;14(1):157–68. Available from: http://dx.doi.org/10.35552/anujr.a.14.1.678
Nabulsi, Maher A. “Some Propositions, Quantified Assertions and Their Uses in Computer Hardwadre Design.” An-Najah University Journal for Research - A (Natural Sciences) 14, no. 1 (January 2000): 157–68. https://doi.org/10.35552/anujr.a.14.1.678.
An-Najah National University
Nablus, Palestine
Nablus, Palestine
- P.O. Box
- 7, 707
- Fax
- (970)(9)2345982
- Tel.
- (970)(9)2345560
- (970)(9)2345113/5/6/7-Ext. 2628
- [email protected]
- EIC
- Prof. Ismail Warad
An-Najah University Journal for Research - A (Natural Sciences) by An-Najah University, Nablus, Palestine is licensed under CC BY-NC 4.0
