andma kirja sisust. Kui vastan kirjale, aga muudan vestlusteemat, siis muudan ka teemarida • Kirjutan võimalikult selgelt, lühidalt ja täpselt (Ei kirjuta suurtähtedes, võrgus võrdub see karjumisega ja on raskesti loetav). • Soovitav on jätta kirja iga lõigu vahele üks tühi rida. • Kirjutan korrektses keeles. • Ei kirjuta selliseid väiteid, mida võidakse tõlgendada ettevõtte ametlike seisukohtadena (eriti, kui signatuuris on asutuse nimi). • Vastan alati saadud kirjadele. Võib koostada tüüpvastuse, mille saab teele läkitada, kui mingil põhjusel ei saa parasjagu põhjalikumalt vastata. Jälgin tähelepanelikult, kuhu vastuse saadan. • Tundmatuid ja võõrastelt saabunud kirjade lisandeid (dokumendid, programmid vms -- inglise k attachment -- paljudes postiprogrammides tähistatakse neid kirjaklambri märgiga kirja juures) EI TOHI avada.
ja H = 0 o Kui F = xG, siis F = 1 parajasti siis, kui põhihulga M iga elemendi m korral G[x/m] = 1, kus [x/m] tähendab, et muutuja x väärtuseks loetakse element m o Kui F = xG, siis F = 1 parajasti siis, kui põhihulgas M leidub selline element m, et G[x/m] = 1, kus [x/m] tähendab, et muutuja x väärtuseks loetakse element m Predikaatarvutuse valemit F nimetatakse samaselt tõeseks, kui ta on tõene signatuuris igas interpretatsioonis oma vabade muutujate kõikidel väärtustustel Predikaatarvutuse valemit F nimetatakse samaselt vääraks, kui ta on väär signatuuris igas interpretatsioonis oma vabade muutujate kõikidel väärtustustel Predikaatarvutuse valemit F nimetatakse kehtestatavaks, kui ta on tõene vähemalt ühes signatuuris interpretatsioonis valemi vabade muutujate mingitel väärtustel Ütleme, et valemitest F1, F2, ..
if (m[i]<0 && m[i+1]>=0) res++; } return res; } // mmArv Andmete sisestamine Andmete lugemine käsurealt Java rakenduse käivitamisel saab käsureale klassi nime taha kirjutada programmile edastatavaid andmeid. Näit. java Euclid 15 6 Käivitatakse Java rakendus Euclid.class, millele antakse ette parameetrid 15 ja 6. Vastavaks formaalseks parameetriks, mille kaudu informatsioon programmile teatavaks tehakse, on main-meetodi signatuuris olev sõnemassiiv (String[] ). Selle massiivi esimene element vastab esimesele sõnale (antud näites "15"), teine teisele ("6") jne. Tuleb arvestada, et käsurea parameetrid on sõned, s.t. kui meile on vajalikud näiteks arvud, siis me peame rakendama tüübiteisendust sõnest arvuks. public static void main (String[] param) { int m=15; int n=6; if (param.length > 1) { m=Integer.parseInt (param [0]); n=Integer.parseInt (param [1]); }