Provisional COMP2111 marks are now available through webCMS or by running 2111 classrun -sturec
The field CourseResult contains what I expect will be your final mark for COMP2111.
Hopefully CourseResult contains a mark >= 50 and a grade of PS, CR, DN or HD. If so (provisionally) you have met all hurdles and other requirements and have passed COMP2111.
Provisional marks can change, for example when calculation errors are discovered, or grade boundaries are adjusted, but it is not usual to change a provisional PS to a FL.
If your CourseResult field contains the grade FL, UF, or AF unfortunately you have not passed COMP2111 and are not being offered further assessment. A grade of UF indicates that you failed to meet the exam barrier for this course, and have not passed, even if your overall mark is above 50.
If your CourseR esult field contains the grade WD or WC this indicates your mark and grade are yet to be determined, most likely through a supplementary exam. There are two possible reasons for these grades:
1) You were absent from the final exam due to illness etc - the supplementary exam will be used in place of the final exam to calculate your final mark.
2) You have not met the requirements to pass COMP2111, but only narrowly. You are being given another opportunity to prove that you deserve to pass the course. If you do not take this opportunity you will not pass COMP2111.
Please contact me if you believe there have been any gross omissions or wish to discuss the COMP2111 assessment further. Arrangements can be made if you wish to inspect your marking, however note that it is faculty policy that, for example, falling 1 mark short of a HD/DN/CR, is not sufficient reason to review a student's assessment. Unfortunately, with around 180 students there are going to be students that fall one mark short of the next grade.Hi all,
I hope there were not too many bad surprises in today's exam.
The marking for Assignment 3 is complete - if you haven't received a mark, then we didn't receive a submission. Please let me know if you believe there were any gross omissions in your marks and I will review your assessment.
Regards,
Paul
Hi all,
Assignment 2 marking is now complete apologies to those who had a delay in receiving their results. If you do not have a mark then your assignment was not successfully submitted.
If you have any issues with the marks, let me know - all marks will be finalized next week, so there is ample opportunity for corrections. Issues with understanding concepts may be better addressed to the forum; as assignment corrections may not be completed until after the exam.
Assignment 3 is being marked, results for that are available as soon as they have been marked; but hopefully everyone's marks (possibly without comments) will be available by tonight.
See you tomorrow...
Paul
Hi all,
I've put up the solutions to the final tutorial (one DFA is missing, that will be completed when I have a few minutes).
Note that there was an error in the final lecture with the Predicate Logic Natural Deduction proof: I incorrectly applied the ∃-E rule. The correction is simple: the line which I labelled ∃-E should have been a new premise and when ⊥ was derived (under the assumption of that new premise) - that assumption could have been discharged with an application of ∃-E, giving ⊥ under fewer premises. The proof is correctly written out in the tutorial solutions and I will update the lecture slides shortly.
Best,
Paul
Hi all,
I have uploaded, to the "Additional resources" section an example L+ program together with an annotated proof of correctness. The + and pred commands are covered, the * command is not, however it is a simplified version of a while-command annotation.
Paul
Hi all,
There was a glitch in the original Q&A poll that did not let you select multiple topics. Due to the way webCMS handles such Activities, in order to fix this issue I had to create a new poll and unfortunately lose the results of those who have already voted. So please vote again (this time you should be able to select multiple topics).
Paul
Hi all,
I have uploaded:
If I get a chance I may add more questions to the Practice questions over the next week or so (especially sets 6 & 7). Solutions to the new problem sets will come out at a later date. Meanwhile I will be working on tidying up the existing content (e.g. removing typos, completing outstanding solutions).
All questions are roughly exam standard.
I have posted a poll to get your opinion on which topics you would most like me to cover in the final lecture on Monday 29th. The top topics will be covered in the Week 11 lecture and the remaining ones I will direct to the tutors to cover (in Week 10 for most of you). As the first of these tutorials is on this Tuesday, you need to register your decision by the end of Easter...
A reminder that:
Happy revising
Paul
Hi all,
I've updated the sample.tex file in the Additional resources section to include a demonstration of how to easily do automata and a user-defined command for doing the semantics brackets.
Paul
The masses have spoken.
With apologies to the 16 people who wanted the answers in the last lecture, the later due date was
overwhelmingly
voted for. Even though voter turnout was only around 60% it was still favoured by more than half of all students...
Assignment 3 is now available, it will be due on
Monday 29th April, 23:59
. I will make some comments about it on Monday where I will also talk about the second Assignment.
Note that the final question has changed since the preview,
Paul
Hi all,
To aid in your decision for the Assignment 3 due date poll I've [finally] uploaded a preview of Assignment 3 - it will be finalized later tonight, when the poll results are in.
If you haven't voted for the due date, there's still time (poll now closes at 17:00)
If you have already voted you can change your vote.
Paul
Hi all,
Everyone's Assignment 1 has now been marked, thank you for your patience. You should be able to see your grade and collect your assignment comments through webCMS. Please drop me an email if there are any issues.
Paul
Note: Students that still have outstanding Assignment 1 grades
do not
have to resubmit Assignment 1 (original submissions were collected earlier)
Hi all,
I have just been made aware that I had a typo in the specification file which means that any Assignment 2 submission made before now was redirected into the wrong folder (essentially replacing your Assignment 1 submission).
If you have already made your submission for Assignment 2
,
please resubmit at some point before the due date.
Submissions made from now on will be directed to the correct folder.
Sorry for the mix-up,
Paul
Hi all,
The majority of Assignment 1 has been marked - there are still a few papers to be done, they should be complete by tomorrow: I will send out a second announcement when all received assignments have been marked.
For the assignments marked I have made the marks/assignments available for viewing & collection.
Please contact me and/or your tutor if you believe there has been a significant omission in your marking - clearly outlining where you believe the mistake to have been made. There may be a delay in handling your request (depending on the amount of requests I receive). Note that a review of your assignment may result in a grade decrease if the reviewer notices something the original marker missed.
Best,
Paul
Hi all,
Assignment 2 is now available.
As with the last assignment, I have adjusted the due date to Monday 8th April 23:59 to give you the opportunity to use the lecture and consultation hour on Monday for any last minute questions.
Paul
Hi all,
It appears only the first hour of the lecture on Monday was captured. I have contacted the university to see if the second half can be tracked down, but it may be lost forever.
For the record, the second half of the lecture, covering CNF and DNF will not be deeply assessed - i.e. you should be familiar with the definitions (which can be taken from the slides) and any of the procedures for turning a formula into CNF or DNF, but you will not be assessed on e.g. deriving specifically the canonical DNF/CNF, or using a Karnaugh map.
Sorry for the inconvenience,
Paul
Hi all,
I have decided to change the approach to Natural Deduction that I was planning to use so that we can use an online tool for experimenting.
Consequently, the original Q4 on the assignment is now significantly easier than it was, so I have added a second part to the question.
Paul
Hi all,
Assignment 1 is now available for download. I have extended the deadline by 24 hours to Monday 18 March, 23:59 to give you the opportunity for a final consultation time before the assignment is due.
Paul
Hi all,
I have added a consultation hour after the Monday lecture (rm 204 in K17). Note that the room is quite small and the time is limited, so this time is primarily reserved for issues that cannot be resolved in the lectures, tutorials, course forum, or via direct email (if they are not appropriate for a public forum). Please be considerate of others' needs and consider these options when you have questions about the course material.
Regards,
Paul