Warning: Your browser doesn't support all of the features in this Web site. Please view our accessibility page for more details.

Search Web Site [?]WHAT IS THIS?
Performs a not very reliable search of the Web site and displays results in a new window.

This is the archived CS304/CS310 web page from 2013/2014.
If you are looking for the page for the current academic year, please see nuigalway.blackboard.com, or contact the module's lecturer.

CS304 / CS310

Mathematical and Logical Aspects of Computing (13/14)

Course Information

Course codes:	CS304, CS310
Lecturers:	Dr Niall Madden, ADB-1013, Arás de Brún. Phone: 091 493803, Email: niall.madden@nuigalway.ie and 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, 3^rd September 2013
Tutorial:	Wednesday, 5pm in AM112. Starts 18/09/13
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
Course website:	Information and course documents, in particular lecture slides, will be posted here. We'll also use NUIGalway.Blackboard.com, primarily for announcements, emails and the Grade Centre.

Lecture Summaries

Below are copies of slides used in lectures. They don't contain the hand-written notes from class, or the plastic slides used additionally on the overhead projector. If you print them, please use the options "4 pages on 1" and "double-sided".

For some classes, an annotated version is available. These includes the scribbling that were done in class on the tablet, but not on the white board. The might be useful for reference, but I wouldn't bother printing them.

Part 1: Propositional Logic (Niall Madden)
03/09/13	Lecture 1	Introduction to "Logic".
06/09/13	Lecture 2	Half-adders, Boolean Expressions, and logical equivalence
10/09/13	Lecture 3	de Morgan's laws; nor and nand; equivalence and implication.
13/09/13	Lecture 4	Venn diagrams and disjunctive normal form.
17/09/13	Lecture 5	Functional completeness; Tautologies and contradictions.	(annotated)
20/09/13	Lecture 6	Logical consequences.	No annotated version (sun was too bright!)
24/09/13	Lecture 7	From valid arguments to the semantic tableau.	(annotated)
24/10/13	Problem Set 1		Deadline: 08/10/13
27/09/13	Lecture 8	The semantic tableau.	Data projector was broken :-(
01/10/13	Lecture 9	Using the tableau method.	(annotated)
04/10/13	Lecture 10	Conjunctive Normal Form	(annotated)
08 and 11/10/13	Lectures 11 and 12	Clause form and Resolution	(annotated)
14/10/13	Problem Set 2		No deadline (just for practice)
Part 2: Predicate Logic (Alexander Rahm)
15 to 22/10/13	Lecture 13 : Natural Deduction		(held in three sessions)
25 and 29/10/13	Lecture 14 : Predicate Logic		(held in two sessions)
1/11/13	Lecture 17 : Parse Trees		(following Chiswell and Hodges)
5/11/13	Lecture 18 : Parse Trees and Equivalences
8/11/13	Lecture 19 : Quantifier Equivalences
11/11/13	Problem Set 3
11/11/13	Problem Set 4		Deadline: Tutorial Wednesday 20/11/13
12/11/13	Lecture 20 : Semantic Tableaux (for Predicate Logic)
15/11/13	Lecture 21 : Semantic Tableaux for formulae with predicates
19/11/13	Lecture 22 : Logical consequences
22/11/13	Lecture 23 : More examples of logical consequences

Other things

Here is the 2011/12 Summer exam for sitting of CS304/CS310. (For some reason it is not available from the usual university website). There was no Autumn exam in 11/12 second-sitting.
Here is the Semester 1 2012/13 exam for sitting of CS304/CS310.

School of Mathematics, Statistics and Applied Mathematics
National University of Ireland, Galway, University Road, Galway, Ireland.
Phone: +353 (0)91 492332 (direct) , +353 (0)91 524411 x2332 (switchboard)
Fax: +353 (0)91 494542 Email: Mary.Kelly@nuigalway.ie
This page was last updated Thursday, September 24