Hide menu

TDDD72 Logic (6 ECTS)

HT1

Exercises for seminars (from the book)

  • seminars 1-3:
    3rd edition Comments 2nd edition
    2.10.1 2.9.1
    2.10.3 2.9.4
    2.10.4 2.9.5
    2.10.14 2.9.8
    3.12.1 3.7.1
    3.12.4 3.7.4
    3.12.10 <- only 3.7.7
    3.12.9 3.7.8
    3.12.12 3.7.9
    4.8.1 4.5.1
    4.8.4 4.5.5
    4.8.5 4.5.6
  • seminar 4:
    3rd edition Comments 2nd edition
    7.9.1 5.9.1
    7.9.3 5.9.2
    7.9.4 5.9.3
    7.9.5 5.9.4
    7.9.8 5.9.6
    7.9.9 5.9.7
  • seminar 5:
    3rd edition Comments 2nd edition
    8.8.1 6.5.1
    8.8.3 6.5.3
    8.8.4 6.5.4
    8.8.5 6.5.5
    8.8.7 6.5.6
  • seminar 6:
    3rd edition Comments 2nd edition
    9.7.1 7.9.1
    9.7.3 7.9.3
    10.8.2 7.9.6
    10.8.4 7.9.8
    10.8.10 7.9.10
  • seminar 7:
    • exercises concerning deductive databases (not included in the book) -- see this pdf
  • seminar 8:
    3rd edition Comments 2nd edition
    13.9.2 11.6.2
    13.9.7 11.6.10
  • seminar 9:
    3rd edition Comments 2nd edition
    14.7.1 second half missing 12.6.1
    14.7.4 12.6.3
    14.7.5 12.6.4
    14.7.6 12.6.5

    Other exercises


    Page responsible: Andrzej Szalas
    Last updated: 2013-09-16