Difference between revisions of "Z3Help"
| Line 22: | Line 22: | ||
| =D13+1 || =D14*$E$3^2 | | =D13+1 || =D14*$E$3^2 | ||
|} | |} | ||
| + | |||
| + | Or maybe, the programmer would make a program, in some computer language to do this, and will come back to you in about an hour! | ||
| + | Today, an ordinary computer can do billions of operations per second! And even with the best techniques, translating from our human language to | ||
| + | ZCubes, Inc. | ||
| + | 2 | ||
| + | computer language takes minutes or hours even for the simplest of equations! This clearly shows the biggest problem with the current state of the art computer human interaction. | ||
| + | That is why we created a simple language for you and the machine called: | ||
==What is Z3== | ==What is Z3== | ||
Revision as of 03:22, 21 July 2016
Introduction
Why another programming language? Don’t we have enough of them? Well, let us try this real world experiment. Go to the best programmer you know. Pick the simplest formula you can think of: E=mc2. Ask how the Energy (E) can be calculated, for a mass (m) of 1kg, 2kg, 3kg,… 10kg and for a constant Speed of Light (3x10^8m/s). Let us just watch the programmer for what happens next. Yes, go ahead and start a stop watch! It is likely that the programmer would pull up a spreadsheet, and type formulae notations into the document such as on the right, and within a minute or so, give you the answers.
| C | =3*10^8 |
|---|---|
| 2 | 7 |
| M | |
| 1 | =D5*$E$3^2 |
| =D5+1 | =D6*$E$3^2 |
| =D6+1 | =D7*$E$3^2 |
| … | … |
| =D12+1 | =D13*$E$3^2 |
| =D13+1 | =D14*$E$3^2 |
Or maybe, the programmer would make a program, in some computer language to do this, and will come back to you in about an hour! Today, an ordinary computer can do billions of operations per second! And even with the best techniques, translating from our human language to ZCubes, Inc. 2 computer language takes minutes or hours even for the simplest of equations! This clearly shows the biggest problem with the current state of the art computer human interaction. That is why we created a simple language for you and the machine called: