Course modules

Lectures

Lectures Lectures

Attachment

Course organisation Course organisation 1

attachment 576513 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 0: History and motivation Lecture 0: History and motivation 2

attachment 612759 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 1: Recap logic, sets, relations and functions Lecture 1: Recap logic, sets, relations and functions 3

attachment 576514 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 2: Recap induction sets and induction Lecture 2: Recap induction sets and induction 4

attachment 576515 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 3: Natural deduction for propositional logic (I) Lecture 3: Natural deduction for propositional logic (I) 5

attachment 576516 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 4: Natural deduction for propositional logic (II) Lecture 4: Natural deduction for propositional logic (II) 6

attachment 576517 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 5: Semantics and soundness of propositional logic Lecture 5: Semantics and soundness of propositional logic 7

attachment 576518 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 6: Completeness of propositional logic and normal forms Lecture 6: Completeness of propositional logic and normal forms 8

attachment 576519 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 7: Natural deduction for predicate logic Lecture 7: Natural deduction for predicate logic 9

attachment 576520 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 8: Semantics of predicate logic Lecture 8: Semantics of predicate logic 10

attachment 576521 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture9: Undecidability of predicate logic Lecture9: Undecidability of predicate logic 11

attachment 576522 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 10: Decidable Cases Lecture 10: Decidable Cases 12

attachment 576523 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture11 : Compactness Theorem Lecture11 : Compactness Theorem 13

attachment 576524 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture 12 : syntax and semantics of LTL Lecture 12 : syntax and semantics of LTL 14

attachment 576525 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture13 : CTL and fixed-point theorem Lecture13 : CTL and fixed-point theorem 15

attachment 576526 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture14 : Model Checking for CTL Lecture14 : Model Checking for CTL 16

attachment 576527 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Lecture15: Model Checking for LTL Lecture15: Model Checking for LTL 17

attachment 576528 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Exercises

Exercises Exercises

Attachment

Exercises for week 1: Recap exercises Exercises for week 1: Recap exercises 1

attachment 576530 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Exercises for week 2 to 8 Exercises for week 2 to 8 2

attachment 576531 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Solutions to marked exercises from the book Solutions to marked exercises from the book 3

attachment 576532 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 1: Notes on some exercises on induction (from 2020) Week 1: Notes on some exercises on induction (from 2020) 4

attachment 576533 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 2 [Part 1]: Notes on some exercises on natural deduction for propositional logic (from 2020) Week 2 [Part 1]: Notes on some exercises on natural deduction for propositional logic (from 2020) 5

attachment 576534 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 2 [Part 2]: Notes on some exercises on natural deduction for propositional logic (from 2020) Week 2 [Part 2]: Notes on some exercises on natural deduction for propositional logic (from 2020) 6

attachment 576535 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 2: Exercise 1.2.6 is recommended in these notes Week 2: Exercise 1.2.6 is recommended in these notes 7

attachment 576536 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 3 [Part 1]: Notes on some exercises on semantics of propositional logic (from 2020) Week 3 [Part 1]: Notes on some exercises on semantics of propositional logic (from 2020) 8

attachment 576537 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 3 [Part 2]: Notes on some exercises on semantics of propositional logic (from 2020) Week 3 [Part 2]: Notes on some exercises on semantics of propositional logic (from 2020) 9

attachment 576538 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 4 [Part 1]: Notes on some exercises on natural deduction for predicate logic (from 2020) Week 4 [Part 1]: Notes on some exercises on natural deduction for predicate logic (from 2020) 10

attachment 576539 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 4 [Part 2]: Notes on some exercises on natural deduction for predicate logic (from 2020) Week 4 [Part 2]: Notes on some exercises on natural deduction for predicate logic (from 2020) 11

attachment 576540 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 5 [Part 0]: Recap notes on semantics of predicate logic (from 2020) Week 5 [Part 0]: Recap notes on semantics of predicate logic (from 2020) 12

attachment 576541 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 5 [Part 1]: Notes on some exercises on semantics of predicate logic (from 2020) Week 5 [Part 1]: Notes on some exercises on semantics of predicate logic (from 2020) 13

attachment 576542 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 5 [Part 2]: Notes on some exercises on semantics of predicate logic (from 2020) Week 5 [Part 2]: Notes on some exercises on semantics of predicate logic (from 2020) 14

attachment 576543 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Week 7: Notes on some exercises on LTL and CTL (from 2020) Week 7: Notes on some exercises on LTL and CTL (from 2020) 15

attachment 576544 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

A list of exercises from a previous year, some with comments A list of exercises from a previous year, some with comments 16

attachment 576545 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Assignments

Assignments Assignments

Assignment

Assignment 1: deadline 16/9 23:59 Assignment 1: deadline 16/9 23:59 10 1

assignment 576546 1

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Assignment

Assignment 2: deadline 23/9 23:59 Assignment 2: deadline 23/9 23:59 10 2

assignment 576547 1

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Assignment

Assignment 3: deadline 30/9 23:59 Assignment 3: deadline 30/9 23:59 10 3

assignment 576548 1

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Assignment

Assignment 4: deadline 7/10 23:59 Assignment 4: deadline 7/10 23:59 10 4

assignment 576549 1

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Assignment

Assignment 5: deadline 14/10 23:59 Assignment 5: deadline 14/10 23:59 10 5

assignment 576550 1

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Assignment

Assignment 6: deadline 21/10 23:59 Assignment 6: deadline 21/10 23:59 15 6

assignment 576551 1

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Exam Collection

Exam Collection Exam Collection

Attachment

exam_220103-solutions.pdf exam_220103-solutions.pdf 7

attachment 576558 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_220815_solutions.pdf exam_220815_solutions.pdf 8

attachment 576559 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_221024-solutions.pdf exam_221024-solutions.pdf 9

attachment 576560 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_230103-solutions.pdf exam_230103-solutions.pdf 10

attachment 576561 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_230814-solutions.pdf exam_230814-solutions.pdf 11

attachment 576562 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_231026-solutions.pdf exam_231026-solutions.pdf 12

attachment 576563 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_240103-solutions.pdf exam_240103-solutions.pdf 13

attachment 576564 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_240828-solutions.pdf exam_240828-solutions.pdf 14

attachment 576565 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_241031-solutions.pdf exam_241031-solutions.pdf 15

attachment 576566 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

exam_250107-solutions.pdf exam_250107-solutions.pdf 16

attachment 576567 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Recap Reading

Recap Reading Recap Reading

Attachment

Einar Steingrímsson's notes on set theory (There are 2 typos in the second page on set theory; the right most B in the distributive laws (1) and (2) should be an A.) Einar Steingrímsson's notes on set theory (There are 2 typos in the second page on set theory; the right most B in the distributive laws (1) and (2) should be an A.) 1

attachment 576568 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Einar Steingrímsson's notes on relations Einar Steingrímsson's notes on relations 2

attachment 576569 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Einar Steingrímsson's notes on functions Einar Steingrímsson's notes on functions 3

attachment 576570 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Notes on Inductive Sets and Induction Notes on Inductive Sets and Induction 4

attachment 576571 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Koen Claessen's notes on structural induction Koen Claessen's notes on structural induction 5

attachment 576572 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Interesting Links and Extra Reading

Interesting Links and Extra Reading Interesting Links and Extra Reading

Attachment

Other presentation of predicate logic Other presentation of predicate logic 1

attachment 576573 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
External URL

A prover to practice natural deduction (only for propositional logic) A prover to practice natural deduction (only for propositional logic) 2

external_url 576574 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
External URL

A proof checker for natural deduction A proof checker for natural deduction 3

external_url 576575 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

A text on the tree method (looking systematically for a countermodel) A text on the tree method (looking systematically for a countermodel) 4

attachment 576576 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Possible nontraditional methods for establishing the deducibility ofpropositional formulas Possible nontraditional methods for establishing the deducibility ofpropositional formulas 5

attachment 576577 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Automatic verification of finite state concurrent system using temporal logic specifications a practical approach.pdf Automatic verification of finite state concurrent system using temporal logic specifications a practical approach.pdf 6

attachment 576578 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

Automatic_verification_of_asynchronous_c.pdf Automatic_verification_of_asynchronous_c.pdf 7

attachment 576579 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Attachment

The Birth of Model Checking.pdf The Birth of Model Checking.pdf 8

attachment 576580 0

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least Score at least % Must score at least % to complete this module item Scored at least % Module item has been completed by scoring at least % View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark completed Must mark this module item done in order to complete Marked completed Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete