Coinductive Proofs

Sample Solution for Problem Set 1 Problem 3

Written on 08.05.25 by Iona Kuhn

Dear students,

we just published a sample solution for Problem 3 on Problem Set 1. This is an important exercise showcasing coinduction and induction, which we discussed in the last two tutorials. Please feel free to reach out if you have further questions about it.

See you tomorrow in the tutorial!

No Lecture Next Week

Written on 25.04.25 by Arthur Correnson

Hi all!

This is a reminder that there will be no lecture next Tuesday (April 29).

We will however still offer a tutorial session next Friday (May 2nd).

Have a nice weekend!

First Problem Set and First Tutorial

Written on 23.04.25 by Arthur Correnson

Hi all!

The slides from yesterday's lecture are online, and we also released the first problem set!
We will discuss it during the first tutorial session (this Friday at 10:15 in SR 014).

See you on Friday!

First Lecture

Written on 07.04.25 (last change on 07.04.25) by Arthur Correnson

Hi all!

The semester's first lecture will take place tomorrow (08/04/2025) at 10:15 in E1.3 HS 003.
We are looking forward to meeting you there!

See you tomorrow!

PS: If you have questions about the lecture, you can write an email to arthur.correnson@cispa.de