ϵ">]>
Module |
Remark
VASE MENO: ?
VERZIA CL: 5.81.16
DATUM: utorok 21.2.2006
******************************************************************************
MAIL: komara@nw.fmph.uniba.sk
WWW: http://www.ii.fmph.uniba.sk/cl/view.php/courses/1-INF-465-dp/0506ls/
******************************************************************************
SKUSKA (toto je len zakladny ramec, viz. tiez 1. prednaska):
A = aspon 90 bodov
B = aspon 80 bodov
C = aspon 70 bodov
D = aspon 60 bodov
E = aspon 50 bodov
|
Remark
Uvodna poznamka. Toto cvicenie je venovane rekurzii s mierou a definiciam predikatov.
Tieto subory sa musia skompilovat v spravnom poradi; presny postup je uvedeny v subore readme.txt . |
Remark
******************************************************************************
********************************* EXERCISES **********************************
******************************************************************************
|
Remark
[CL] Bounded formulas. Examples:
|
Remark
[CL] Explicit definitions of predicates with bounded formulas. Examples: Predicate
Predicate
Predicate
Predicate
|
Remark
-predicates. -predicates are defined by bounded formulas in the language of first-order arithmetic (decimal constants, addition, multiplication, comparision predicates). |
Remark
Sum of two squares. Find a -definition of the predicate which holds if is the sum of two squares. |
Query: |
|
Results: |
|