Hello, does any one know what is algebra of algorithms or know other algorithms types that are written as math formula?
Topics

http://www.cs.nyu.edu/mishra/NOTES/AlgorithmicAlgebraMishra.pdf
Is a good source for info. 
Thank you very much.

You might also look at the coq assistant prover:
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semiinteractive development of machinechecked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization of the 4 color theorem or constructive mathematics at Nijmegen) and teaching.
url: http://coq.inria.fr/ 
Algebra and algorithms are strongly interrelated. Both words refer to the = mathematician Abu Abdullah Muhammad ibn Musa alKhwarizmi born about 783 in Khiva in Khawarezm and his book entitled “AlJabr walmuqabalah” written in Arabic and published in 825. “AlJabr walMuqabalah” means the “Calculation by Reduction and Transposition”. Thus, in “Algebra”, an “Algorithm” can be defined as a sequence of instructions describing the implementation stepbystep of a solution to a welldefined problem. Because algorithms are the core of computer systems and they are functionally based on algebraic concepts, sometimes “algebra of algorithms” is used to indicate the theoretical foundations for solving problems of design automation of computer logic structure and programming.

I can give you a very quick and intuitive answer. In algebra there are operators that can be used to "compose" (algebraic) expressions. The idea with algebra of algorithms is that algorithms (i.e. programs) can be composed with composition operators resulting into more complex algorithms. For instance, one can do the "sum" of two algorithms.
The important point is to give to these operators a "proper" semantics and also (when possible) a "calculus". Indeed with the calculus, one can formally study and prove the properties of an algorithm (e.g. if it doesn't enter into an infinite loop, deadlock in concurrent programs).
One foundational work of algebra of algorithms is that of Chandy and Misra:
http://books.google.ch/books?id=9BGPVwLTkh4C&pg=PA371&dq=Chandy+Misra+Springer&hl=en&sa=X&ei=Y7VpT7u2GKza4QTIq4iBCQ&ved=0CD0Q6AEwATiCAQ#v=onepage&q=Chandy%20Misra%20Springer&f=false
 Views 651
 Followers 6
 Answers 5
All Answers (5)