eth-janishutz/eth-summaries
1
0
Fork 0
mirror of https://github.com/janishutz/eth-summaries.git synced 2026-07-27 21:29:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

[FMFP] Notes on tasks

Browse Source
This commit is contained in:
janishutz
2026-07-22 12:26:21 +02:00
parent 084167cef7
commit 5c56561acc
2 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
semester4/fmfp/formal-methods-functional-programming-summary.pdf
BIN
View File
Binary file not shown.
semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex
+2
View File
@@ -68,3 +68,5 @@ Remember:
\item in the base case / simple case, fix $n$ \item in the base case / simple case, fix $n$
\item in the end state that since it holds for all $n$, it, in particular, holds for $n = 0$ (or equivalent) \item in the end state that since it holds for all $n$, it, in particular, holds for $n = 0$ (or equivalent)
\end{itemize} \end{itemize}
For generalizing, a very helpful tactic is to think about the statement some, come up with the generalization you think is correct, then doing the base case in the proof
after only a very short amount of time, as the correct generalized statement will become apparent there very quickly