Examination - COVID-19 version
General information
There will be an oral exam, due to the current COVID-19 restrictions. Zoom will be used, but If you want to come in person, you can.
Exam language: English or Czech (Slovak), according to your preference.
To somewhat simulate the midterm exam, the exam has two parts:
- Part I - theory behind functional programming: covers lectures II.-IV. (the history of lambda calculus and functional programming will not be examined)
- Part II - modern concepts of functional programming languages: covers lectures V.-IX.
- These parts can be taken either separately (on two different dates), or at the same time (your choice).
- You have to succeed in both parts to get a passing grade (A-E).
- In the case of taking both parts on one day, and failing exactly one part, only that part you fail needs to be retaken.
- Each student is allowed at least three attempts at each of the two parts.
- For the first part of the exam you are allowed to consult the Lambda Calculus Cheatsheet as often as you like.
Organization
- You have to register at least two days in advance, by signing-up for one of the exam dates published in the IS.
- The exact time will be agreed by email a day in advance - I will try to accommodate any reasonable requests.
- Generally expect times between 9 and 16, starting in the morning (we can also start at 8 if you wish so).
- The allocated time is 30 minutes for each part (i.e. 60 minutes if you take both parts at the same time).
Technical information
I will use Zoom for the exams. You need to log-in using eduID.cz ("Sign with eduID.cz", organization: Masarykova univerzita; the use your UČO and primary IS MU password). [Note: If you use the Zoom plugin in your browser, you need to choose "Sign with SSO" and "cesnet.zoom.us".] I will send you your Meeting ID by email. The waiting room will be
used - you need to wait there for your turn. Please make sure everything works (including logging-in using eduID) well in advance, so everything is OK on the day :)
I will need to see your face during the exam, but there is no need to show me the room or desk; I trust you all to play fair :)
For Part I I may ask you to open one of the following tools and share your screen with me. Be ready for this. The tools should be familiar to you:
- The Lambda evaluator: https://kdlcj.gitlab.io/lambda/
- Lambda Tree derivation tree builder: https://www.fi.muni.cz/~xobdrzal/lambda-tree/
- Any general purpose editor of your choosing - e.g. Vim, Nano, Notepad, Gedit ... (generally simpler is better, what you do not want are automatic spelling corrections).
You may also consult a printed copy of the Lambda Calculus Cheatsheet.
For Part II we will need just an editor.