Home Page > > Details

COMP 3007 A/B (Winter 2023) − "Programming Paradigms"

Specification for Assignment 2

Your submission for this assignment must be commented and must include both your name and your

student number as a comment at the top of every source file you submit. Each of your submitted files must

use a file name beginning 'comp3007_w23_#########_assignment_02' (replacing the number signs with

your own student number) and any submissions that crash (i.e., terminate with an error) on execution will

automatically receive a mark of 0.

Officially, the Due Date for this Assignment is:

Friday, February 3rd, 2023, at 11:59pm EST.

Late Submissions are Accepted Without Penalty Until Sunday, February 5th, by 11:59pm EST.

Submissions received after that will not be accepted and will receive a mark of 0.

The objective of this assignment is to have you review some of the basics of -calculus by completing two

simple exercises. As the purpose of the -calculus module was to develop a foundation of understanding

about the system from which the Haskell programming language was derived, you must show all your work

to receive full credit. You are not permitted to "skip" any operations when performing these reductions.

For the first exercise, you must perform a β-reduction on the expression below that corresponds to *your*

unique student identification number.

If the LAST TWO DIGITS of your student number is in the range from 00 to 24 inclusive, then you must reduce:

(𝜆𝑔. (𝜆𝑗. 𝑔)) (𝜆ℎ. (𝜆𝑘. 𝑘)) (𝜆𝑖. (𝜆𝑚. 𝑖))

If the LAST TWO DIGITS of your student number is in the range from 25 to 49 inclusive, then you must reduce:

(𝜆𝑛. (𝜆𝑞. 𝑞)) (𝜆𝑜. (𝜆𝑟. 𝑜)) (𝜆𝑝. (𝜆𝑠. 𝑠))

If the LAST TWO DIGITS of your student number is in the range from 50 to 74 inclusive, then you must reduce:

(𝜆𝑡. (𝜆𝑤. 𝑤)) (𝜆𝑢. (𝜆𝑦. 𝑦)) (𝜆𝑣. (𝜆𝑧. 𝑣))

If the LAST TWO DIGITS of your student number is in the range from 75 to 99 inclusive, then you must reduce:

(𝜆𝑎. (𝜆𝑑. 𝑎)) (𝜆𝑏. (𝜆𝑒. 𝑏)) (𝜆𝑐. (𝜆𝑓. 𝑓))

For the second exercise, you must first write the -calculus expression corresponding to the Church encoding

of the LARGEST digit in your student number. You must then perform a β-reduction on the expression below,

eventually replacing both zero and yourdigit with their corresponding Church encodings.

𝜆𝑎. (𝜆𝑏. (𝜆𝑐. (𝜆𝑑. ((𝑎 𝑐)((𝑏 𝑐) 𝑑))))) 𝑦𝑜𝑢𝑟𝑑𝑖𝑔𝑖𝑡 𝑧𝑒𝑟𝑜

For this assignment:

• your submission must be a single pdf document that you created electronically (using a word

processor like Microsoft Word or Google Docs), and please note that scans or digital photographs of

handwritten submissions will not be accepted and will receive a mark of zero

• you must include your full name and student number at the top of your submission

• you must show *all* your work and perform no more than one operation per line when reducing

Contact Us(Ghostwriter Service)

- QQ：99515681
- WeChat：codinghelp
- Email：99515681@qq.com
- Work Time：8:00-23:00

- Ghostwriter Cs1b Spring 2024 Tth Hw08h... 2024-04-19
- Help With Managing Financial Risk Prob... 2024-04-19
- Ghostwriter Cs 0449 – Project 5: /Dev/ 2024-04-19
- Ghostwriter Elec 2141 Digital Circuit ... 2024-04-19
- Help With Csc171 — Videogame Projecthe 2024-04-19
- Help With Comp3411 Artificial Intellig 2024-04-19
- Help With Stat3061: Random Processes &... 2024-04-19
- Ghostwriter Accounting 452, Spring 202... 2024-04-19
- Ghostwriter Finc5001 Foundations In Fi... 2024-04-19
- Ghostwriter 7Ssmm712 – Topics In Appli 2024-04-19
- Help With Com 337 - Film Studies For T... 2024-04-19
- Ghostwriter Mes202tc - Digital Vlsi Sy... 2024-04-19
- Ghostwriter Geography 2041B Distance S... 2024-04-19
- Ghostwriter Ecos3006 International Tra... 2024-04-19
- Help With Fit5225 2024 Sm1 Creating An... 2024-04-19
- Help With Cit 593: Introduction To Com... 2024-04-19
- Help With Math 4931: Take Home Examgho... 2024-04-19
- Ghostwriter Csci 547|Info 533: Systems... 2024-04-19
- Ghostwriter Cs536-S24 Intro To Pls And... 2024-04-19
- Help With Fit5212 - Assignment 1Ghostw... 2024-04-19

Contact Us - Email：99515681@qq.com WeChat：codinghelp

© 2021 www.asgnhelp.com

Programming Assignment Help！