INF1A: Course Materials

Please see the Weekly pages (accessed via the right hand menu) for course materials relevant to each week.

CL Tools

Here are some tools for practising CL materials:

CLPractice: https://cltools.inf.ed.ac.uk/  (made by Peter Manas)

If you want to test your knowledge of the concepts you've learned CL and practice a bunch of problems you've never seen before, you might find CLPractice quite invaluable. 

Several questions, particularly: Arrow rule, Truth valuation counting, Karnaugh Maps, Gentzen/Reduction rules, are written as generators, which give you a new question every time (well, almost...). When you answer a question, you get immediate feedback if it was correct, or what the correct solution should be and how you can get to it.

Instead of looking through past papers and quizes, pick the questions you're interested in and practice for as long as you want!

Logic Analyser: http://pravar.pythonanywhere.com/  (made by Pravar Seth)

This tool helps with understanding logical statements and CNF conversions. Please provide feedback through this link: https://forms.gle/GTznLxShdGjmuBTQ6 which is also displayed on the web tool. The web-tool and the feedback form will not collect any personal or identifying information and you will be completely anonymous.

Karnaugh Map Quiz: https://docs.google.com/forms/d/e/1FAIpQLScBw2sOWYtd-tu-klRVonRj_Omve4AZdEaUVXJS9ADpm1GUHg/viewform (made by Sarah Lappin)

Test your K-Map skills with a practice quiz! This is an unassessed quiz, the answers of which will be used for research purposes. Your answers are anonymous, and you will receive feedback on each question. There is a total of 13 questions, split into 3 sections, with some additional feedback questions dispersed throughout the quiz. The quiz should take 30-40 minutes to complete.

Lecture Recordings

All lecture recordings should be accessed via Learn; you will need to log in using your EASE account. (Learn provides you with access to any lecture recordings available for this course. You will need to select the "lecture recording" link once, before you can access any direct links to a lecture recording.)