Welcome to the Java Programming Forums


The professional, friendly Java community. 21,500 members and growing!


The Java Programming Forums are a community of Java programmers from all around the World. Our members have a wide range of skills and they all have one thing in common: A passion to learn and code Java. We invite beginner Java programmers right through to Java professionals to post here and share your knowledge. Become a part of the community, help others, expand your knowledge of Java and enjoy talking with like minded people. Registration is quick and best of all free. We look forward to meeting you.


>> REGISTER NOW TO START POSTING


Members have full access to the forums. Advertisements are removed for registered users.

5 Visitor Messages

  1. Operator effect definition:
    oi,j ((a1 , a2 , . . . , a12 )) = (b1 , b2 , . . . , b12 )
    k = 1, 2, . . . , 12
    if (a1 , a2 , . . . , a12 ) ∈ dom(oi,j )
    bk =
    ak + j
    ak + 120
    if ∃l(al > ak ) ∨ (ak + ai = 0)
    otherwise
    Exercise 4. Create the Java implementation for the function above as a body of a void function!
    We suppose that a1 , a2 , . . . , a12 are integers, and they are accessible in the function body as a[1], a[2],
    . . ., a[12], and b1 , b2 , . . . , b12 are integers, and they are accessible in the function body as b[1], b[2], . . .,
    b[12].

    answer :
  2. Set of operators:
    O = {o1,2 , o1,3 , o2,1 , o2,3 , o3,1 , o3,2 }
    Domain of operators:
    dom(oi,j ) = {(a1 , a2 , . . . , a12 ) ∈ N12 | ∀k((k = j) ⊃ (ak + i > aj )) ∧ ∃k∃l(a1 = ak ∗ al )}
    Exercise 3. Create the Java implementation for the preconditions above as a body of a boolean
    function! We suppose that a1 , a2 , . . . , a12 are integers, and they are accessible in the function body as a[1],
    a[2], . . ., a[12].

    answer :
  3. Set of goal states:
    G = {(a1 , a2 , . . . , a12 ) ∈ N12 | ∀i∃j((ai + aj > 20) ⊃ (ai ∗ aj < 200))}
    Exercise 2. Create the Java implementation for the goal condition above as a body of a boolean
    function! We suppose that a1 , a2 , . . . , a12 are integers, and they are accessible in the function body as a[1],
    a[2], . . ., a[12]

    answer :
  4. ∀i(∃j((aj < ai ) ∨ (aj = 1000)) ⊃ (ai > 0) ∨ ∃j(aj = 50))
    where i ∈ {1, 2, . . . , 6} and j ∈ {1, 2, . . . , 6}
    Exercise 1. Create the Java implementation for the formula above as a body of a boolean
    function! We suppose that a1 , a2 , . . . , a6 are integers, and they are accessible in the function body as a[1],
    a[2], . . ., a[6].

    answer :
  5. hello ,
    i need some answers of some questions ,

    1.all i exists j a[i] > a[j] or a[1] = a[4]

    all i ( exists j ( (a[j] < a[i]) or not (a[j] = 1000) ) implies ( a[i] > 0 or exists j ( a[j] = 50 ) ) )

    implementation in java :
Showing Visitor Messages 1 to 5 of 5
About sahin11

Basic Information

About sahin11
Java Skill Level:
Beginner

Statistics


Total Posts
Total Posts
1
Posts Per Day
0.00
Visitor Messages
Total Messages
5
Most Recent Message
May 25th, 2013 12:12 AM
Total Thanks
Total Thanks
0
  • Thanked 0 Times in 0 Posts
General Information
Last Activity
May 25th, 2013 12:43 AM
Join Date
May 24th, 2013