Dear Team 9020,
I am wishing you all great success and the very best of luck with your exam tomorrow!
Please eat well, get a good night's sleep, and remember to pace yourselves : )
You have got this!!
All best,
Seb
EDUT - DATE CORRECTION!!
Hello everyone,
Greetings from Mississippi!
A help session has been organised by Edward (thank you Edward!) for 11am - 2pm this Thursday - August 14 - in Colombo LG01.
This is a great opportunity for you to get all and anyof your questions answered before the exam : )
All best,
Seb
Hi everyone - greetings from Tennessee!
Your practice examinations are now available on webcms under Course Work>Practice Examination. All three practice examinations are combined into a single pdf.
Happy practicing, and see you soon!
All best,
Seb
Hi everyone,
Greetings from Memphis Tennessee!
This is just a quick note from me to wish you all the very best for your final week of term. You are nearly there! Congratulations in advance : )
I promise you all that one's first term is always that hardest, so if you have made it this far then you will make all the way. I shall be back in Sydney in two weeks and am looking very forward to seeing you all around campus and next term. Please do say hi!
Happy 10th Week,
Seb
Dear all,
I hope that everyone is doing well and that you are all enjoying Haris's fantastic lectures!
I have two important announcements for you, the first is with regard to the exam, and the second is with regard to my impending travel to the USA.
Practice Exam
- you will receive THREE practice exams on webcms at the end of Week 10. Your final exam will be very similar to these practice exams. There are instructions on the practice exams with regard to how you might use them to best practice for your actual exam. our practice exams will appear on webcms under Course Work>Practice Examinations on the left-hand menu.
Please note that although I had told you that the pass mark for the final exam was 50%, this is now 40%. This is because the passing mark of 40% of the final exam is hard-coded into the course handbook and I cannot change it. So this is bad news for me...but good news for you!
I am travelling to the USA
- Due to some very urgent family matters, I must travel to the USA immediately. I am leaving this coming Wednesday July 30, and I am returning on Monday August 18. I am very sorry about this, but I am afraid that it is important. I am there in your lectures with you in spirit, and I shall be available online as usual. Your tutors and I shall be in contact constantly, and I know that all of you will be extremely well! You have been doing brilliantly in your problem sets, and your tutors speak very highly of all of you : )
Okay - study hard, help each other, and practice practice practice....
All best,
Seb
Hi everyone!
I have just now (Monday July 14, 4:03pm) uploaded an updated version of PS5 onto webcms.
The only change made is with regard to Question 1, so that it is a bit easier : )
All best,
Seb
Hi everyone,
I just wanted to send you all a quick note to congratulate you on doing so well in the first half of this course. Thank you for all of your hard work and your excellent questions!
I know that a lot of you will have assessments over the break, but do try to get a little time off as well. Study works best with rest.
Take care, and welcome back in advance for Week 7!
All best,
Seb
Dear All,
Please do not come to campus unless absolutely necessary.
There continue to be severe weather warnings for tomorrow - Wednesday July 2.
All Wednesday tutorials have been moved to online delivery.
Your tutors will be in touch shortly.
I shall most likely be in tomorrow anyhow so I shall record my lecture from the lecture theatre as usual. But please do not come in for the sake of the lecture! I have to be on campus anyhow most likely, so recording the lecture in the lecture theatre is the easiest option for me + I live very close to campus.
As with today, please take care and stay safe tomorrow. If this is your first storm in Sydney the please know that this is not a joke. Huge trees can be blown over and the air can be full of debris. Expect that the trains and light rail will stop working and that the roads may well be flooded. The campus was flooded today badly enough as things are. Tomorrow will be worse.
Very sincerely once again,
Seb
Dear All,
Please do not come to campus unless absolutely necessary.
There are severe weather warnings for tomorrow - Tuesday July 1.
All Tuesday tutorials have been moved to online delivery.
Your tutors will be in touch shortly.
I shall most likely be in tomorrow anyhow so I shall record my lecture from the lecture theatre as usual. But please do not come in for the sake of the lecture! I have to be on campus anyhow most likely, so recording the lecture in the lecture theatre is the easiest option for me + I live very close to campus.
Please take care and stay safe tomorrow. If this is your first storm in Sydney the please know that this is not a joke. Huge trees can be blown over and the air can be full of debris. Expect that the trains and light rail will stop working and that the roads may well be flooded.
Very sincerely,
Seb
Hi everyone,
Well
done with your problem sets! Your marks were released this morning on Moodle. If you have any questions about your marks or feedback, please do email your tutor about this directly. Your tutor marked your problem set so your tutor is in the best spot to answer your questions.
All best,
Seb
The link is under Lectures as usual. Thank you for all of your great questions today : )
I have uploaded a 4k video of the lecture to youtube and posted it under Lectures. I shall do this for every lecture now : )
You will need to wait until the 4K version processes on youtube before the writing on the board becomes clear!
All best,
Seb
Hi everyone,
The following two books have some good sections on models:
https://www.amazon.com.au/Logic-Wilfrid-Hodges/dp/0141003146/
https://www.amazon.com.au/Logic-Laws-Truth-Nicholas-Smith/dp/0691151636/
Please note that the Hodges book contains at error on the page at the end covering all tableaux rules, but we are not using tableaux in this course so this should not matter!
All best,
Seb
p.s. Thank you for all of your excellent questions today
Hi Everyone!
Please do not forget that
your first problem set is due on Moodle at 5pm today
.
Your instructions are as follows:
Hi everyone! Welcome to COMP9020 at UNSW!
"\(^~_~^)/"
For all course information, please see the Course Outline on the course page (called "webcms") here:
https://webcms3.cse.unsw.edu.au/COMP9020/25T2/outline
The webcms course page is where you find the lecture slides and Problem Set Questions and so on. I shall put each week's slides up the week before. The slides for Week 1 are up on webcms now. You will find them on the left hand menu under Course Work>Lectures : )
We will also use Moodle, which you can find here:
https://moodle.telt.unsw.edu.au/course/view.php?id=91900
The Moodle page is for the lecture recordings as well as the submission of your problem sets. I shall explain everything you need to know about the problem sets and more in the lectures, but all dates and so on can be found in the course outline on the webcms course page via the link above.
We also have a course forum, the Discourse Forum --> https://discourse02.cse.unsw.edu.au/25T2/COMP9020/
I am looking forward to meeting all of you at the first lecture on Tuesday, and I may meet some of you tomorrow at the School Welcome!
All best,
Seb