TP9 - Question 1 - Demande de précisions

[bord_a]

Bonjour,

Concernant la question 1 du TP9, partie "AST_Fact" de l'énoncé, j'aimerais seulement savoir, s'il vous plait, ce que signifie

Code : Tout sélectionner

while (~(xxx=0)) do

(le "(~(xxx=0))")
Ainsi que

Code : Tout sélectionner

ftp

(à part File Transfer Protocol je ne vois absolument pas ce que c'est, ni ce que je dois en faire...)

Vous remerciant,

Cordialement,

[douinj]

Bonsoir, c'était des extraits d'un cours d'algo avec des preuves de programmes, en NFP120 il y a quelques années ...

while (~(xxx=0)) do

tantQue(not(xxx==0)) faire
...
ftq (à la place de ftp)

bonne fin de tp9

en complément http://www.i3s.unice.fr/~map/Cours/DUT_ ... deBase.pdf
page 20

[bord_a]

Ah d'accord, j'en déduis que c'est un "fintantque"

Merci bien,

Bonne soirée,