CISC-204*
Logic for Computer Scientists
Winter 2012
Announcements
External Links
Personnel
Course Information
Schedule
Practice Problems
Course Notes
Recommended Readings
Example Tests
|
|
CISC-204*Logic for Computer ScientistsWinter 2012
|
|
Announcements
Welcome to CISC 204!
Please read this note on Academic Integrity Arts and Science, more information can be found here
Please read this note on Copyright, more information can be found here
Quiz solutions:
Important Quiz Information:
Students will be split into two rooms for the 5 quizes:
Students with last name beginning A - L will write in usual classroom
Students with last name beginning M - Z will write in:
Dunning 14 for quizes 1-4
Dupuis 215 for quiz 5
Bring student picture ID to all quizes
External Links
| Queen's
School of Computing |
|
Computing Students' Association |
Personnel
|
Instructor |
Dr. Janice Glasgow |
 |
| Office: Goodwin 662 (inside Goodwin 660) | ||
E-mail:
|
||
| http://www.cs.queensu.ca/home/janice/ | ||
| Phone: 533 6058 (but please use email instead of telephoning) | ||
| Office Hours: by appointment |
|
TAs |
|
Course Information
| Calendar Description |
Elements of mathematical logic with computing applications. Formal proof
systems for propositional and predicate logic. Interpretations, validity,
and satisfiability. Introduction to soundness, completeness and
decidability. |
| Text |
Logic in Computer Science: Modelling and
reasoning about systems, Second Edition, Huth & Ryan, 2004, Cambridge
University Press |
| Syllabus |
From the text: Chapter 1, Chapter 2,
parts of Chapters 3, 4, and 5 From other sources: enrichment material as appropriate |
| Marking Scheme |
There will be five 50-minute tests.
Out of the 5 tests, the lowest grade will be worth 10% of the final grade,
and the other four will each be worth 22.5% of the final grade. |
| Picking-up your marked tests |
Marked tests will be returned in class. Unclaimed tests will be discarded
after one week.
If you have any question about your mark, please fill out this form. Include the form and your marked test in an envelope and hand them in to the instructor no later than one week after the marked test is returned. Your entire test will then be re-marked and, as a result, your mark may go up or down, or remain unchanged. Please note that no request for a re-mark will be considered if your answers were written in pencil or erasable ink. |
Schedule
| Class Meeting Schedule |
Tuesday 9:30 - 10:30 Thursday 8:30 - 9:30 Friday 10:30 - 11:30 |
All lectures will be held in Dupuis Hall 217 |
| Quiz Schedule |
Quiz1: Friday, Feb 3 Quiz2: Friday, Feb 17 Quiz3: Friday, Mar 9 Quiz4: Friday, Mar 23 Quiz5: Thursday, Apr 5 |
Dupuis Hall 217 |
| Tutorials Schedule |
Thursday, Feb 2 Thursday, Feb 16 Thursday, Mar 8 Thursday, Mar 22 Tuesday, Apr 3 |
All tutorials will be held in Goodvin 660, 3:30 - 4:30 |
Practice Problems
All problems listed are from Huth & Ryan
| Exercise Set |
Exercises |
| 1.1 | 1(a), 1(d), 1(j), 2(d) |
| 1.2 | 1(a), 1(e), 1(m), 1(s), 2(b), 2(g), 2(h), 3(c), 3(g), 3(u), 7 |
| 1.3 | 1(d)(h), 4(b), 5 |
| 1.4 | 1, 2(a)(h), 5, 6, 7(a)(d), 12, 13,(c), 16(a)(j) |
| 1.5 | 2(b)(d), 5, 6(b)(d), 7(b), 15(b)(c) |
| 2.1 | 2, 4 |
| 2.2 | 2, 4 |
| 2.3 | 1(a), 6(b)(c), 7(b), 9(a)(c)(h)(o), 11 |
| 2.4 | 1, 3, 11(a)(c), 12(b)(h) |
| 3.2 | 1(d), 2(a)(c)(e), 3(second equivalence), 7 |
| 3.3 | 2 |
| 3.4 | 8(a), 10(a)(b)(c)(d), 11(a) |
|
Fuzzy Logic Practice Set 1 |
|
|
Fuzzy Logic Practice Set 2 |
|
Solutions to designated exercises, Michael Huth and Mark Rayan, 2nd ed.
Course Notes (in pdf)
| Tuesday, January 10 Lecture 1 |
Thursday, January 12 Lecture 2 |
Friday, January 13 Lecture 3 |
| Tuesday, January 17 Lecture 4 |
Thursday, January 19 Lecture 5 |
Friday, January 20 Lecture 6 |
| Tuesday, January 24 Lecture 7 |
Thursday, January 26 Lecture 8 |
Friday, January 27 Lecture 9 |
| Tuesday, January 31 Lecture 10 |
Tuesday, February 2 Lecture 11 |
Friday, February 3 Quiz 1 |
| Tuesday, February 7 Lecture 12 |
Thursday, February 9 Lecture 13 |
Friday, February 10 Lecture 14 |
| Tuesday, February 14 |
Thursday, February 16 |
Friday, February 17 Quiz 2 |
| Tuesday, February 21 Reading week |
Thursday, February 22 Reading week |
Friday, February 23 Reading week |
| Tuesday, February 28 Lecture 15 |
Thursday, March 1 Lecture 16 |
Friday, March 2 Lecture 17 |
| Tuesday, March 6 |
Thursday, March 8 |
Friday, March 9 Quiz 3 |
| Tuesday, March 13 |
Thursday, March 15 Lecture 18 |
Friday, March 16 Lecture 19 |
| Tuesday, March 20 Lecture 20 |
Thursday, March 22 |
Friday, March 23 Quiz 4 |
| Tuesday, March 27 |
Thursday, March 29 |
Friday, March 30 Lecture 21 |
| Tuesday, April 3 Fuzzy Logic Overview |
Thursday, April 5 Quiz 5 |
Friday, April 6 Good Friday |
Recommended Readings
| Source |
Section |
Read Before ... |
Comments |
| Text |
1.1, 1.2 |
January 12 |
|
| Text |
1.3 |
January 22 |
|
| Text |
1.4 |
January 29 |
|
| Text |
2.1, 2.2, 2.3.1 |
February 14 |
|
|
Peter
Suber's Symbolic Logic Notes |
pretty much all of it |
no target date |
|
|
Examples of Fallacies |
any or all |
no target date |
|
|
Waner & Costenoble |
no target date |
||
|
Earliest
Known Uses of some Mathematical Terms |
no target date |
||
|
Self-reference |
no target date |
||
| Text |
1.3, 1.4 |
||
| 2.1, 2.2, 2.3, 2.4 |
|||
| 3.1, 3.2, 3.3 |
|||
| http://www.abo.fi/~rfuller/nfs1.pdf |
This is Part 1 of a 15 part online text on fuzzy logic and neural networks.
The first 7 parts form an excellent,
fairly deep intro to FL (although the diagrams can be quite confusing).
I am using this as the text for this part of the course. We will focus
on Part 1 and Part 3. |
||
|
http://www.seattlerobotics.org/encoder/mar98/fuz/flindex.html |
Parts 1, 2 and 3
give an overview of FL Parts 4 and 5 gives an example of overlapping truth-functions Part 6 summarizes some of the different methods for de-fuzzifying the output |
||
|
http://www.austinlinks.com/Fuzzy/tutorial.html |
This is a short but
good general intro |
||
|
http://www.fuzzy-logic.com/ |
This is very informally written and its "folksy" style gets annoying, but Part 3 goes through an exercise very similar to the fuzzy controller that we will develop in class. | ||
|
http://www.doc.ic.ac.uk/%7End/surprise_96/journal/vol1/sbaa/article1.html |
Short article with
some clear diagrams showing fuzzy set intersection, union, etc. |
||
|
http://www.iau.dtu.dk/%7Ejj/pubs/logic.pdf |
This is a very
comprehensive description of FL. At times it is more mathematical than
we have been, but its coverage is excellent. |
||
|
http://www.cs.cofc.edu/%7Emanaris/ai-education-repository/fuzzy-tutorial.html |
This is a linking
page with connections to other tutorials, tools, etc. I have not
explored all the links. |
||
|
http://www.answermath.com/fuzzy_logic_sets.htm |
This is pretty lame,
except for the nice "fuzzy-laboratory" applet. |
||
|
http://www.webopedia.com/TERM/f/fuzzy_logic.html |
Another linking
page, with links to other linking pages. |
||
|
http://en.wikipedia.org/wiki/Fuzzy_logic |
You probably would
have looked this up anyway. |
||
Example Tests
Test 1 (pdf)
