I have recently introduced

uh, denotational semantics for call by name, call by value.

Yes.

To Friday. Why?

Really?

Yeah. But the thing is, uh,

I want to receive your exercises so that we discuss it right at the,

uh, right on Wednesday. Yes. And that's,

that's what I wanted to ask you. So please, uh, uh,

send me, uh, the, the solutions. Uh, if this is a,

is this a programs before they, uh,

we start the classes and, um, give them, I mean,

the written exercise is also before, I mean,

I don't know how to do it better.

That was the plan that I already, uh, count on.

No, uh, I mean this, the,

the one for which the deadline is tomorrow is going to be discussed tomorrow

and the day and the next time. So you get this, uh,

the exercise sheets every two weeks and, uh, we assume,

I assume that we discuss it two weeks for two weeks.

So like we discussed the first part, uh,

one week and then the second part next week. All right.

Okay. And, and the points of the exercises will be for the,

um, easy note at the end.

Yes. That's half of the note.

I mean, so the exercise are going to be available two weeks ahead.

So plan ahead and start earlier.

Right. Uh,

so I would ask you to, uh,

to send the programs as emails so that it could run them.

Okay. And the,

the reading exercises was proof, et cetera, just as, uh,

as normal, uh, reading exercises. Okay.

Any questions about it? Right.

So the denotation of semantics that I've presented recently,

uh, so basically for,

from the formal point of view, this is all you need.

Uh, but of course, uh,

it's going to difficult to do it without any examples.

So I prepared an example for today and, uh,

I tried to do it before this classes and it turned out that, uh,

uh, that's, that's quite involved. So there are lots of bureaucracy.

If you do it in every single detail, that it occupies lots of time.

So maybe I tried to, to shorten it somehow,

but I cannot skip it also because without,

uh, a concrete example,

you probably wouldn't get the feeling how it works.

And we want to get this fitting and carry it further because, uh,

because I want to use this example, uh, well,

so this denotation semantics business is a motivation for the, for the things.