Die Suche ergab 6 Treffer

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

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.
von aditya_oak
20. Jan 2020 17:05
Forum: Konzepte der Programmiersprachen
Thema: Assignment 10 Task 1
Antworten: 3
Zugriffe: 285

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).
von aditya_oak
17. Okt 2019 15:54
Forum: Konzepte der Programmiersprachen
Thema: Importance of exercise topics
Antworten: 1
Zugriffe: 273

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.
von aditya_oak
10. Mär 2019 02:00
Forum: Konzepte der Programmiersprachen
Thema: Solutions Exercise 14
Antworten: 2
Zugriffe: 367

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) 84-mal heruntergeladen
von aditya_oak
3. Mär 2019 22:19
Forum: Konzepte der Programmiersprachen
Thema: Scope in Lambda Calculus
Antworten: 2
Zugriffe: 355

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,
Aditya
von aditya_oak
8. Nov 2018 14:31
Forum: Konzepte der Programmiersprachen
Thema: Section 3.5 of the PLAI book
Antworten: 2
Zugriffe: 327

Re: Section 3.5 of the PLAI book

Hi,

Please refer to the 2007 edition of the book, url for which is provided further below in the webpage you have mentioned.
i.e. http://cs.brown.edu/~sk/Publications/Bo ... -04-26.pdf

Zur erweiterten Suche