Difference between revisions of "Manuals/calci/Examples"
Jump to navigation
Jump to search
Line 81: | Line 81: | ||
var sumofarray = SUM(numbers); | var sumofarray = SUM(numbers); | ||
console.log("Sum:" +sumofarray);</source> | console.log("Sum:" +sumofarray);</source> | ||
+ | |||
+ | |||
+ | '''3. Sum of Array'''<br> | ||
+ | '''Java Code:'''<br> | ||
+ | <span class="plainlinks">[https://beginnersbook.com/2014/01/java-program-to-sum-the-elements-of-an-array/ https://beginnersbook.com/2014/01/java-program-to-sum-the-elements-of-an-array]</span> | ||
+ | <source lang="cpp"> | ||
+ | import java.util.Scanner; |
Revision as of 04:43, 12 October 2017
Examples of Java and z3 Programs
DESCRIPTION
- Synchronous Readline for interactively running to have a conversation with the user via a console.
- Original codes in java as examples.
- z3 codes with z3 notations are shown below the java code.
EXAMPLES
1. Check Odd/Even
Java Code:
https://beginnersbook.com/2014/02/java-program-to-check-even-or-odd-number
import java.util.Scanner;
class CheckEvenOdd
{
public static void main(String args[])
{
int num;
System.out.println("Enter an Integer number:");
//The input provided by user is stored in num
Scanner input = new Scanner(System.in);
num = input.nextInt();
// If number is divisible by 2 then it's an even number
// else odd number*/
if ( num % 2 == 0 )
System.out.println("Entered number is even");
else
System.out.println("Entered number is odd");
}
}
z3 code:
var readlineSync = require('readline-sync');
console.log("Starting");
var temp;
var num = readlineSync.question("Enter any number: ");
( num % 2 == 0 )::
{console.log(num + " is an even number")},
{console.log(num + " is an odd number")};
2. Sum of Array
Java Code:
https://beginnersbook.com/2014/01/java-program-to-sum-the-elements-of-an-array
import java.util.Scanner;
class SumDemo{
public static void main(String args[]){
Scanner scanner = new Scanner(System.in);
int[] array = new int[10];
int sum = 0;
System.out.println("Enter the elements:");
for (int i=0; i<10; i++)
{
array[i] = scanner.nextInt();
}
for( int num : array) {
sum = sum+num;
}
System.out.println("Sum of array elements is:"+sum);
}
}
z3 code:
var readlineSync = require('readline-sync');
console.log("Starting");
var k;
k = readlineSync.question("Number of elements: ");
var numbers = new Array(k);
//Enter numbers using comma
var num = readlineSync.question("Enter the elements: ");
var temp = num.split(",");
for (var i=0; i<k; i++)
{
numbers[i] = temp[i];
}
var sumofarray = SUM(numbers);
console.log("Sum:" +sumofarray);
3. Sum of Array
Java Code:
https://beginnersbook.com/2014/01/java-program-to-sum-the-elements-of-an-array
<source lang="cpp">
import java.util.Scanner;