Zoxiy is a web application for learning and teaching first-order formal logic to the level of a good first undergraduate course at university.
Instructors, their students and independent learners.
Anyone teaching first-order or propositional logic at undergraduate level or below can use zoxiy for a course.
Instructors can select or create a course of exercises for their students. Students’ overall progress can be monitored (there are some charts) and tutors can grade individual exercises, optionally providing comments on incorrect answers.
Students can complete logic exercises and monitor their progress.
Most of the exercises are graded immediately, and some advice on errors is provided automatically.
Use zoxiy to learn independently; several fairly comprehensive sets of exercises are available to all users.
Set and answer exercises involving proofs, truth-tables, translations, possible situations, counterexamples, and more.
Students get from one exercise to the next with a single click.
Most exercises are graded automatically.
Tutors can easily provide advice and feedback to students on their incorrect answers. This feedback is re-used when other students provide comparably incorrect answers.
When setting exercises you can link to helpful resources such as lecture slides or a section of a textbook.
Tutors can review students’ progress and comment on their incorrect answers.
Zoxiy allows instructors to monitor tutors’ grading.
Use an existing set of exercises or create a custom set of exercises linked to your own teaching schedule.
Use zoxiy in any current web browser: there’s nothing to install.