TDDC36 Logic (6 ECTS)

HT2

Exercises for seminars (from the book)

• seminars 1-3:
  • older editions of the book: exercises 1, 4, 5, 8, 12 (Section 2.9), exercises 1, 4, 7, 8, 9 (Section 3.7), exercises 1, 5, 6 (Section 4.5)
  • new edition of the book: exercises 1, 3, 4, 14 (Section 2.10), exercises 1, 4, 10 (<- implication only), 9, 12 (Section 3.12), exercises 1, 4, 5 (Section 4.8)
• seminar 4:
  • older editions of the book: exercises 1, 2, 3, 4, 6, 7 (Section 5.9)
  • new edition of the book: exercises 1, 3, 2, 4, 8, 9 (Section 7.9)
• seminar 5:
  • older editions of the book: exercises 1, 3, 4, 5, 6 (Section 6.5)
  • new edition of the book: exercises 1, 3, 4, 5, 7 (Section 8.8)
• seminar 6:
  • older editions of the book: exercises 1, 3, 6, 8, 10 (Section 7.9)
  • new edition of the book: exercises 1, 3 (Section 9.7) and 2, 4, 10 (Section 10.8)
• seminar 7:
  • exercises concerning deductive databases (not included in the book) -- see this pdf
• seminar 8:
  • older editions of the book: exercises 2, 6, 10 (Section 11.6)
  • new edition of the book: exercises 2, 7 (Section 13.9)
• seminar 9:
  • older editions of the book: exercises 1, 3, 4, 5 (Section 12.6)
  • new edition of the book: 1 (second half missing), 4, 5, 6 (Section 14.7)

Other exercises

• Lektion 1 (semantiska tablåer)
• Lektion 2 (Gentzen, Hilbert)
• Lektion 3 (resolution)
• Lektion 8 (PTL, updated 23 November 2011)
• Sammanfattning av begrepp på svenska
• Frågeställningar och metoder inom logik

Page responsible: Andrzej Szalas
Last updated: 2012-12-02