Here is the web page describing the logic lectures at http://logic-1.butterfill.com

This is for the regular (twice-weekly) lectures

You might need to switch to the fast set of lectures, for which there are different exercises. (Choose the right page for the lectures you are attending.)

For each set of lectures, you can choose between ‘regular exercises’ and ‘fast exercises’. The ‘normal’ exercises are aimed at students who did not take a mathematical subject at A-Level or equivalent. The ‘fast’ exercises are for students who find logic relatively easy and want to focus on more difficult questions. You can switch between fast and normal exercises at any time.

When you hit the link for ‘regular exercises’, you’re told to sign in. But you can’t because you don’t yet have a password.

You need to register the first time you use logic-ex.

This is the registration form. Note that this isn’t a secure web page (no ssl).

The email you use should be your university email. Otherwise your tutor won’t know who you are and won’t grade your work.

After you sign up, you might be taken to the wrong page. So go back to http://logic-1.butterfill.com and hit the exercises link again.

Now we’ve made it into zoxiy. Here’s my motivational progress donut. It’s very motivating.

Selecting ‘follow’ will make it easier to find the exercises later, so I’ll do that.

Scroll down to see the exercises.

Here are the exercises. Each of the links is an exercise.

Click on the first exercise link to get started.

Oh look, it’s asking me to define logically valid argument. This is the first exercise, so it must be important.

Complete the exercise.

Submit the exercise by pressing the button.

After you submit, it should tell you you answered the question. This can take a while to come up. Sometimes it will tell you whether you were right or wrong, but this time it doesn’t.

You can go direct to the next exercise.

I’m not going to do this one now, I’ll save it for later.

Instead I want to go back to the list of exercises.

My progress has been updated

If I scroll down, I can also see that it recorded that I submitted the exercise here. (So I can easily see where to start from next time.)

But go back up, I want to show you something else.

Click on ‘zoxiy’ (top left) to get to the home page.

Here’s what I see when I go to \url{https://logic-ex.butterfill.com}.

There’s a link that will take me straight to the exercises I’m currently working on (the normal exercises for the normal lectures).

Also, I need to tell zoxiy who my tutor is so that she can mark my work and check my progress.

Let’s see how the page changes once I’ve done that...

I added my tutor a while ago, and in the meantime she’s graded my answer.

I can tell she’s graded my answer because there’s a message. (This message only appears when there are new grades, grades I haven’t seen yet.)

Follow the link to see the feedback.

The exercise I just submitted has already been marked. (Usually your work will be marked an hour or two before your seminar.)

Let’s see whether I got it right ...

Here’s my answer again.

And look, it’s been marked correct