## Die Suche ergab 6 Treffer

5. Feb 2020 13:48
Forum: Konzepte der Programmiersprachen
Thema: Announcement: No exercise session tomorrow (06 Feb)
Antworten: 0
Zugriffe: 62

### Announcement: No exercise session tomorrow (06 Feb)

There will be no exercise session tomorrow (06th Feb). The next exercise session will take place on 13th Feb as usual.
20. Jan 2020 17:05
Forum: Konzepte der Programmiersprachen
Thema: Assignment 10 Task 1
Antworten: 3
Zugriffe: 156

### Re: Assignment 10 Task 1

Yes, they can contain numbers too.
To be specific, as described in the previous reply, splitting of a string into individual words is defined by the function "words" (mentioned in the hint of Task 1.a).
17. Okt 2019 15:54
Forum: Konzepte der Programmiersprachen
Thema: Importance of exercise topics
Antworten: 1
Zugriffe: 212

### Re: Importance of exercise topics

Exercise sheets and their solutions will be available online. Anything else is difficult to be commented on at this point.
10. Mär 2019 02:00
Forum: Konzepte der Programmiersprachen
Thema: Solutions Exercise 14
Antworten: 2
Zugriffe: 275

### Re: Solutions Exercise 14

Solution for the Exercise 14 was uploaded. It seems like due to some server issues, recent changes in the repository are not visible.
I am attaching the solution here.
examprep-solution.pdf
(124.43 KiB) 72-mal heruntergeladen
3. Mär 2019 22:19
Forum: Konzepte der Programmiersprachen
Thema: Scope in Lambda Calculus
Antworten: 2
Zugriffe: 262

### Re: Scope in Lambda Calculus

Hello,

Here, the left-most (outer) lambda is not being reduced, it remains untouched.
\beta reduction is being performed in the body of the outer lambda.

like this :
(added square brackets for clarity)

λn.[ (λn.f(n + 1)) (n + 1) ]
= λn.[ f(n+2) ]
= λn.f(n+2)

Regards,