equal
deleted
inserted
replaced
304 \hrulefill |
304 \hrulefill |
305 |
305 |
306 \begin{tabbing} |
306 \begin{tabbing} |
307 1\=postcond \=: \= \= $\;\;\;\;$\=\kill |
307 1\=postcond \=: \= \= $\;\;\;\;$\=\kill |
308 \>given \>:\> Expression of z \\ |
308 \>given \>:\> Expression of z \\ |
309 \> \> \> \>(X (z::real\,+z::imag),3/(z-1/4-1/8\,z\textasciicircum{}(-1)))\\ |
309 \> \> \> \>(X (z::complex),3/(z-1/4-1/8\,z\textasciicircum{}(-1)))\\ |
310 \>precond \>:\> TODO\\ |
310 \>precond \>:\> TODO\\ |
311 \>find \>:\> Expression of n\\ |
311 \>find \>:\> Expression of n\\ |
312 \> \> \> \>$h[n]$\\ |
312 \> \> \> \>$h[n]$\\ |
313 \>postcond \>:\> TODO\\ |
313 \>postcond \>:\> TODO\\ |
314 \end{tabbing} |
314 \end{tabbing} |
386 {\small |
386 {\small |
387 \begin{itemize} |
387 \begin{itemize} |
388 |
388 |
389 \item Pre and Post conditions |
389 \item Pre and Post conditions |
390 \item Exact mathematic behind functions |
390 \item Exact mathematic behind functions |
391 \item accurate mathematic notation |
391 \item Accurate mathematic notation |
392 |
392 |
393 \end{itemize} |
393 \end{itemize} |
394 } |
394 } |
395 |
395 |
396 Goals: |
396 Goals: |