mod_div_lems: THEORY
%------------------------------------------------------------------------
%
% Author: Rick Butler
%
%------------------------------------------------------------------------
BEGIN
IMPORTING rem
i: VAR int
j: VAR nonzero_integer
n: VAR nat
m: VAR posnat
mod_div : LEMMA mod(n,m) = n - m*div(n,m)
mod_rem: LEMMA mod(i,j)= IF sgn(i) = sgn(j) OR integer_pred(i/j) THEN
rem(i,j)
ELSE j + rem(i,j)
ENDIF
END mod_div_lems
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Laden
Fehler beim Verzeichnis:
in der Quellcodebibliothek suchen
Entwicklung einer Software für die statische Quellcodeanalyse
|