Page 1 sur 1

TP9 - Question 1 - Demande de précisions

Publié : 18 déc. 2020 17:56
par 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 (à part File Transfer Protocol je ne vois absolument pas ce que c'est, ni ce que je dois en faire...)

Vous remerciant,

Cordialement,

Re: TP9 - Question 1 - Demande de précisions

Publié : 18 déc. 2020 18:19
par 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

Re: TP9 - Question 1 - Demande de précisions

Publié : 18 déc. 2020 18:37
par bord_a
Ah d'accord, j'en déduis que c'est un "fintantque"

Merci bien,

Bonne soirée,