Course codes: |
CS304, CS310
|
Lecturer: |
Dr Alexander D. Rahm, ADB-2002, Arás de
Brún. Phone: 091-49-4275, Email:
Alexander(DOT)Rahm(AT)nuigalway.ie
|
Lectures: |
Tuesday 12:00-12:50 in AM150
Friday 10:00-10:50 in ADB-1020
|
First Lecture: |
Tuesday, 9th 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
Ben-Ari, 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 (on-line)
- 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.
|