2019, Vol. 1, Issue 1, Part A

Author(s): Dr. Daya Shankar Pratap

Abstract: I present a unified algebra that includes what are commonly called boolean algebra, number algebra, sets, lists, functions, quantification, type theory, and limits; this mathematics forms the foundation for much of computer science. I present the notations and the rules for the conduct of algebra, but it is not the purpose here to explore the possibilities for their use. I am laying foundations, not building upon them; I am designing the instrument, not playing the music. To appreciate the algebra, I rely on the reader's experience in using algebra.

Pages: 128-132 | Views: 443 | Downloads: 100

Download Full Article: Click Here