General handbook
 LaundryView
 Common Outside Course Options for Informatics Students (2016/17)
 Year 1 Google Drive
 mailing list archives  ug1students
 if you have a learning disability go to the disability service! make sure you go there long before the exams, it only takes few hours and can help you quite a bit.
 Semester 2: Programming Club
Calculus and its Applications piazza, webassign, drps
 Course outline
 MathBase timetable
 Notes from an awesome person who did the course last year, Joe (src)
 SympyGamma  a tool similar to WolframAlpha, but also offering explanation for derivations.
 Answers for Essential calculus
 Riemann sums online calculator
 Lots of formulae
 Amazing mindmap
 Tests of Convergence: cheat sheet, flow chart
Data and Analysis fb, tutorials, piazza
 Last year’s blog
 SQLite Browser is a useful tool exploring and creating SQL databases that can be saved to a single file.
 DbDesigner allows you to design databases online, and convert them to their related SQL queries.
 DTD examples
 XPath Tester
 XPath Tutorial
 A Level Database Wikibook (make sure you visit this on the desktop)
 Visgean’s incomplete notes covering most of the coursework
Logic 1 course page, homework, tutorial videos
 These notes assume you have done INF1CL.
 if P, then Q
 P is the antecedent
 Q is the consequent
 English to implication
P > Q
: If P, QP > Q
: P, only if QQ > P
: P, if QQ > P
: Only if P, Q
 Inference rules:
dn
, double negation:P
becomes~~P
r
, repetition:P
becomesP
mp
, modus ponus:P > Q
,P
becomesQ
mt
, modus tollens:P > Q
,~Q
becomes~P
 Kinds of derivations:
dd
, direct derivation (2,dd
means that rule 2 is the derivation) When a line (which is not a show line) is introduced whose sentence is the same as the sentence on the (closest previous uncancelled) show line, one may, as the next step, write “dd” following the justification for that line, draw a line through the word “Show”, and draw a box around all the lines below the show line, including the current line.
cd
, conditional derivationid
, indirect derivation
 Definitions:
 An argument is a sequence of sentences, consisting of premises and a conclusion, where the conclusion is what is trying to be established, and the premises, taken together, are alleged to support the conclusion.
Object Oriented Programming labs, piazza
 Allocations: tutorials, labs
 Offline version of lab work
 Online book
 Past papers, and their additional files
 Automarker service  use this to mark your past papers
 Lambda functions tutorial
About the exam
 The exam is 2 hours. It used to be 3 hours in previous years. They will not pressure you for time, don’t worry.
 There is a mock exam in week 11.
 All code must compile for ANY credit at all. If you miss a single semicolon, you get 0 marks. Tripcheck if it compiles and is the right file before submitting!

Your code must also pass the very basic tests (JUnit tests, these will be provided in the exam for you to check) to get any credit at all.
Proofs and Problem Solving
 The course will follow the book A Concise Introduction to Pure Mathematics, by Martin Liebeck, 4th Ed. 015, CRC Press, £25.99
 To pass the course you must achieve an average of more than 40% AND at least 40% in the examination.