Course codes: 
CS304, CS310

Lecturer: 
Dr Alexander D. Rahm, ADB2002, Arás de
Brún. Phone: 091494275, Email:
Alexander(DOT)Rahm(AT)nuigalway.ie

Lectures: 
Tuesday 12:0012:50 in AM150
Friday 10:0010:50 in ADB1020

First Lecture: 
Tuesday, 9^{th} September 2014 
Tutorial: 
Starts in Lecture Week 3. 
Course Content: 
Logic, propositional
logic/calculus, basic machines, Boolean algebra,
semantic tableau, resolution. Predicate calculus.

Recommended texts: 
The primary texts are:
 Mordechai
BenAri, Mathematical Logic for Computer Science.
There are 3
copies in the library at 511.3
BEN, with more on order. It is available for about € 30 from, for
example,
the
Book Depository.
 John Kelly, The Essence of Logic (511.3 KEL). This is
particularly good for some of the aspects of predicate calculus
Other highly recommended texts and sources are:
 Kenneth Rosen, Discrete Mathematics and its applications
(511.1 ROS). Chapter 1 gives a very nice, readable introduction to the basic
of logic.
 Huth and Ryan, Logic in Computer Science, 005.1015113
HUT.
 Stefan Waner and Steven
R. Costenoble, Introduction
to Logic (online)
 Ian Chiswell and Wilfred Hodges, Mathematical
Logic (511.3 CHI).
 Richard Johnsonbaugh, Discrete mathematics
 S.N. Burris, Logic of Mathematics and Computer Science.
 Gowers's Weblog, a
blog by Fields Medal winner, Tim Gowers, has several entries on
elementary. The postings
on connectives
is particularly useful

Further resources: 
Course material is posted on
NUIGalway.Blackboard.com,
which is also used for announcements, emails and the Grade Centre.

Previous year's exam questions:
2013 is available here, 2012 and 2011 are uploaded on Blackboard Learn, and for
older papers enter the module code "CS304" at the James Hardiman Library collection server.
