Art und Inhalt |
|
| Titel: | Programs and Proof: Introduction to Program Verification |
| Veranstalter: | Völzer |
| Einordnung: | Proseminar Diplom-Studiengang + Bachelor-Studiengang |
| Inhalt: | Exercises in program correctness and presentationWe practise the presentation of scientific content through examples from the area of program verification. The challenge we will face is to present, in a short talk, a problem, its algorithmic solution, and its proof of correctness in such a way that your audience is fully convinced that you have indeed presented a solution to the presented problem. In English. |
Vorlesung |
|
| Veranstalter: | Völzer |
| Umfang: | 2 SWS, 4 ECTS |
| Termine: | Mo. 10.00h-12.00h, ITCS-Seminarraum 21, 2. OG., Geb. 64 |
