Λίστα με τα μαθήματα Εγγράφομαι Συνδεθείτε

Information

Deadline Καμία προθεσμία
Submission limit No limitation

Συνδεθείτε

Συνδεθείτε

[3.1] Assertions vraies ?

Question 1:

Sachant que a et b sont des int, que vaut l'assertion suivante :

\begin{equation*} \{a > 0 \land b > 0\} \; a = a*b; \; \{a > 0 \land b > 0 \} \end{equation*}
Question 2:

Sachant que a et b sont des int, que vaut l'assertion suivante :

\begin{equation*} \{0 < a < 100 \land 0 < b < a \} \; a = a*b; \; \{a > 0 \land b > 0 \} \end{equation*}
Question 3:

Sachant que a et b sont des int, que vaut l'assertion suivante :

\begin{equation*} \{0 < b \le a \} \; a = a - b; \; \{a > 0 \land b > 0 \} \end{equation*}
Question 4:

Sachant que a et b sont des int et que tab est un int[], que vaut l'assertion suivante :

\begin{equation*} \{i = 0 \land \forall j : 0 \le j \le 3 : tab[j] > 0 \} \; a = tab[i]; \; \{ a > 0 \} \end{equation*}
Question 5:

Sachant que a et b sont des int et que tab est un int[], que vaut l'assertion suivante :

\begin{equation*} \{i = 0 \land 0 \le i \le 3 \land \forall j : 0 \le j \le 3 : tab[j] > 0 \} \; a = tab[i]; \; \{ a > 0 \} \end{equation*}