Hi all,
I have clarified the wording in Q1 (primarily to rule out a trivial edge case). This should not impact any genuine attempt on the question.
A reminder that, while most questions give you multiple options (e.g. prove/disprove), if you believe a question to be incorrect, an argument to the contrary will be taken as a legitimate answer. As always, I am assessing your levels of understanding and ability and such a proof will still demonstrate those.
I will continue to monitor email/ed, but may not respond in a timely manner. Please contact me if there are any other issues.
Paul
PS Tutorial solutions are now available under "Tutorial problem sheets"
Hi all,
The final exam is now available to view on the course website (under Activities). It is due at
10am (AEST) on Thursday May 4 2023
.
Submission is a single pdf file, submitted through give (webCMS provides a web interface to the submission). You may submit as often as you like prior to the deadline - your last submission will be what is marked. I strongly suggest making a dummy submission asap to check that there are no issues with submission - if there are problems, then let me know asap.
I will be available on ed/email for the next 2 hours to answer any questions/make clarifications about the exam paper; any significant points will be announced during this time.
I am currently in the process of uploading the (mostly complete) tutorial solutions - these will be available for your reference shortly.
Paul
Hi all,
I have booked Colombo ThB (usual room) for 11-1 on Friday 28 April for a recap lecture. I will be reviewing the main concepts covered since Week 6 and I will try to go through some sample problems (suggestions welcome). I have requested that the lecture be recorded if you are unable to make it, but the only way to be sure to catch the content is by attending in person.
Paul
Hi all,
The final set of formatif tasks are now visible.
To clarify the requirements:
* Complete (Task 4.1 or 4.2) and (Task 5.1 or 5.2) and (Task 6.1 or 6.2) at the appropriate level before the final exam (for best feedback, complete sooner rather than later). Completing these to a satisfactory level, along with existing Tasks 1-3 will earn the following minimum marks for the assessment component [this may be revised, though only upwards]:
- Pass level: 57% (i.e. 28.5 marks)
- Credit level: 68% (i.e. 34 marks)
- Distinction level: 75% (i.e. 37.5 marks)
- HD level: 85% (i.e. 42.5 marks)
* Students aiming at HD/D should consider completing some additional tasks (at a lower level is fine) that are not immediate consequences of higher level tasks attempted.
* All tasks attempted will receive feedback - so these will make good exam practice.
* All tasks attempted will contribute towards the bigger picture of your grade
Let me know if you have any questions
Paul
Hi all,
To celebrate the last (official) lecture of the course, I will be bringing pizzas into the area outside the lecture theatre from 1pm today. Please come along even if you can't make it to the final lecture!
Paul
Hi all,
Because of Easter, tonight's consultation will be held on Monday at 8pm .
Paul
Hi all,
I am unable to make the consultation this week, so this week's consultation will be cancelled.
Paul
Hi all,
There was sufficient interest in a flex-week recap lecture, so I will be running one on
Wednesday
2-4pm Colombo Th B
. As I said in the poll, this will consist of a brief recap of the main definitions and theorems with a substantial Q&A session.
I have requested that the lecture be recorded, though I am yet to have confirmation of that. If you are able to make it, then I strongly encourage you to attend rather than rely on the recording.
If you have any questions you would like to be specifically addressed in the session, please post them to the ed forum (as part of the poll thread) and I will try to answer those questions as a priority.
Paul
Hi all,
Apologies for the slow replying to various queries on my part. I will get around to answering the ed posts shortly.
I am still working on putting up the Formatif tasks - so don't panic if you can't see them yet. I hope to have some more up before tomorrow's lecture, with all the tasks available by the end of the week. Deadlines will be adjusted accordingly.
The main issue that has been causing delays is that there appears to be an issue with the Automata tutor that I've been trying to sort out at my end - unfortunately it seems that the automarking aspect of that tool is (currently) unusable - with no clear timeline of when it will be fixed. I'm seeing if I can set up something locally that will perform the same task, and that is currently taking up too much of my spare time.
Thank you for your patience while I sort through some of these teething issues.
Paul
Wednesday's tutorial link is: https://unsw.zoom.us/j/87887564624?pwd=UjZLNkVtOEp...
Sorry for the late notice.
Paul
Hi all,
Just a couple of quick announcements.
Please let me know if you are experiencing any issues with any of the platforms,
Paul
Hi all,
The assessment server Formatif ( https://formatif.cse.unsw.edu.au ) should now be set up for you (although with only one task visible at the moment). Please log in and attempt the current task (due by Tuesday). Note that completion may take several iterations, so please do not leave it until the last minute to attempt it, even though the deadline is soft. This task will be marked by me, but future tasks will (mostly) be marked by your tutor.
Over the weekend I will populate the server with most of the remaining course tasks so you can progress at your own pace.
Please let me know if you have any difficulties logging on or with the system itself.
Paul
Hi all,
Apologies for the late notice but because of staffing issues I've had to reschedule today's online tutorial.
For this week, the online tutorial will be
Thursday 11-1
. It will be on Zoom, details here:
https://unsw.zoom.us/j/81165954193?pwd=WTh2Wjk2VGN...
<label>Meeting ID </label> Meeting I 811 6595 4193
Passcode 234818
Paul
Hi all,
Welcome to COMP4141 Theory of Computation. This is just a brief announcement to introduce you to various aspects of the course: the website, the learning interfaces, and the staff (me).
I encourage you to familiarise yourself with the course website:
http://www.cse.unsw.edu.au/~cs4141
as it provides the starting point for all aspects of the course.
Lectures begin today at 2pm in Colombo Th B. Lectures will be recorded, and the recording will be available shortly after the lecture finishes. I plan to have livestreaming lectures set up for remote learners but this might not be ready for the first few lectures.
Tutorials begin on Wednesday (tomorrow). Details of tutorials will be available on the course website presently.
You will shortly receive an email inviting you to join the course forum on ed. The course forums also provide a platform to ask questions and discuss the course material.
Looking forward to meeting you later today
Paul Hunter
(Lecturer in Charge)