Assignment: Assignment 1: DSLs, sets and von Neumann

DSLsofMath 2025 (DAT326 / DIT983)
2025-01-03T13:59:12Z

Due: 4 Feb 2025 by 23:59

DSLs, sets and von Neumann

In this assignment the focus is on the following three learning outcomes:

organize areas of mathematics in DSL terms

develop adequate notation for mathematical concepts

discuss and compare different software implementations of mathematical concepts

You can find the core of the assignment in PDF form as subsection 2.3.1 of the course book, but please read the full chapter before starting.

Admin:

Groups: For this assignment you will be divided into new groups (of 3 students each) by us. The set of groups can then be seen here.

Submission: Assignments are to be submitted via Canvas (on this page). One student in the group submits, but make sure to include the group number + names of all group members in the uploaded file(s).

Grading: Discussions with each of the teams during the slot 2024-02-10, 8.30–12 or 13.30–17. The slot schedule will be presented within a week and each group should pick a slot before handing in the assignment.

DSLs, sets and von Neumann

In this assignment the focus is on the following three learning outcomes:

organize areas of mathematics in DSL terms

develop adequate notation for mathematical concepts

discuss and compare different software implementations of mathematical concepts

You can find the core of the assignment in PDF form as subsection 2.3.1 of the course book, but please read the full chapter before starting.

Admin:

Groups: For this assignment you will be divided into new groups (of 3 students each) by us. The set of groups can then be seen here.

Submission: Assignments are to be submitted via Canvas (on this page). One student in the group submits, but make sure to include the group number + names of all group members in the uploaded file(s).

Grading: Discussions with each of the teams during the slot 2024-02-10, 8.30–12 or 13.30–17. The slot schedule will be presented within a week and each group should pick a slot before handing in the assignment.