Studies
/
ETH_CS_Resources
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
ETH_CS_Resources/21-1_FMFP-S
History
Jean-Claude 248a845d6a
NEW: FMFP readme 		2021-09-20 22:51:50 +02:00
..
01_Introduction.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
02_NaturalDeduction.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
03_Correctness.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
04_Lists.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
05_Abstraction.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
06_Types.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
07_AlgebraicDataTypes.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
08_LazyEvaluation.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
09_CaseStudies.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
10_Introduction.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
11_Imp.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
12_OperationalSemantics.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
13_AxiomaticSemantics.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
14_ModelChecking.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
15_Prelude.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
16_List.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
README.md NEW: FMFP readme 2021-09-20 22:51:50 +02:00
main.tex IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
main_final.pdf NEW: precompiled version 2021-09-20 22:48:58 +02:00
math.sty IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
prooftree.sty IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
prooftree_macro.sty IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00
summary.sty IMPROVE: Move to adequate subfolder 2021-09-20 22:48:41 +02:00

README.md

Formal Methods and Functional Programming

Lecture summary for the Formal Methods and Functional Programming class, held by Prof. David Basin and Prof. Peter Müller in FS 2021.

You can get a pre-compiled version of the summary here. However, I suggest you to rather compile it yourself to make sure that it really contains all the lastest changes.

Disclaimer

This summary has not been proof-read and certainly contains many typos and errors. Further, it is not guaranteed to contain all material covered in the designated lecture. Do not hesitate to report them to me or fix them yourself and create a PR.

Credits

This summary is mainly based on the lectures and exercise sessions.