Eine solche Formelregel besagt: "Wenn ein Widerspruch in der Lösung mit der Variablen A auftritt, ist A falsch".
Such a formula-rule says: "If a contradiction arises in the solution with variable A, A is false".
Das wird eine Liste erstellen, die die Werte der Variablen a, b und c enthält, und diese zurückgeben.
This will compose and return a list containing the values held by the variables a, b and c.
gradef(a, x, expr) definiert die Ableitung der Variablen a in Bezug auf die Variable x als expr.
gradef (a, x, expr) defines the derivative of variable a with respect to x as expr.
Die folgende Anweisung erzeugt einen Zeilenvektor mit den Elementen 6, 4 und 13 und weist ihn der Variablen a zu
The following statement will generate a row vector with the three elements 6, 4 and 13 and assign the vector to the variable a
Beachten Sie, dass der Inhalt der Hand genau ist der Wert der Adresse der Variablen a und b, die von der OS zu Beginn des Programms gegeben wurden.
Note that the content of the hands is exactly the value of the address of the variables a and b that were given by the OS at the beginning of the program.
In diesem Befehl wird mit dem Cmdlet Rename-Item der Name der Variablen a in processes geändert.
This command uses the Rename-Item cmdlet to change the name of the a variable to processes.
Ähnlich ergäbe %A den Inhalt der Variablen A als Binärzahl.
Similarly, the input of %A would result in the variable content A as a binary number.
Wenn sich in der Lösung herausstellt, dass das Vorhandensein der Variablen A zu Ergebnissen führt, die von B verschieden sind, dann wird die Falschheit von A bewiesen.
If in the solution it turns out that the presence of the variable A leads to results different from B, then the falsity of A. is proved.
Berechnungsverfahren nach Anspruch 1, dadurch gekennzeichnet , daß die vorgegebene Iterationszahl erreicht wird, wenn alle Abschnitte ai der Variablen A benutzt sind.
A calculation method as claimed in claim 1, characterized in that said given number of iterations is reached when all the extracts ai of the variable A have been used.
Speichert das aktuelle BASIC-Programm mit dem Namen, der in der Variablen A$ festgelegt ist, auf Datasette.
loads a program with file name stored in the string FILE$ absolute from datasette