Algoritmos y Programación en Pascal

30 Capítulo 3. Tipos de datos básicos
+ suma
- resta
* multiplicación
div división entera
mod resto de la división entera
Su funcionamiento es similar al que tienen en Matemáticas: son operaciones
binarias (tienen dos argumentos, salvo la operación -, usada también para hallar
el opuesto de un entero) e infijas (en las expresiones, se sitúan entre sus dos
argumentos). Emplearemos la notación matemática
div : Z × Z −→ Z
para expresar que los dos argumentos son de tipo entero y su resultado también lo
es. Todas las operaciones presentadas responden a este esquema. Las operaciones
div y mod expresan respectivamente el cociente y el resto de la división entera: 3
7 div 2 ❀ 3
7 div -2 ❀ -3
-7 div 2 ❀ -3
-7 div -2 ❀ 3
Obsérvese que verifican la conocida regla:
7 mod 2 ❀ 1
7 mod −2 ❀ 1
−7 mod 2 ❀ −1
−7 mod −2 ❀ −1
dividendo = divisor ∗ cociente + resto
Además, existen las siguientes funciones predefinidas:
Abs valor absoluto del entero
Sqr cuadrado del entero
Pred entero predecesor
Succ entero sucesor
que son monarias (se aplican a un argumento único) y se aplican en forma prefija
(preceden a su argumento, dado entre paréntesis).
Estas operaciones y funciones son internas, puesto que convierten argumentos
integer en integer:
Abs : Z −→ Z
Sin embargo, debe observarse que las limitaciones que pesan sobre el tipo
integer afectan a las operaciones y funciones, cuyo resultado será correcto sólo
cuando no rebase los límites del dominio.
3 Usaremos el símbolo ❀ para expresar la evaluación de una operación o función.