Presentation is loading. Please wait.

Presentation is loading. Please wait.

Diagram : Task 1 Proof Version 1

Similar presentations


Presentation on theme: "Diagram : Task 1 Proof Version 1"— Presentation transcript:

1 Diagram : Task 1 Proof Version 1

2 Diagram : Task 1 Proof Version 2

3 Diagram : Task 4 Part 1 A56 A26 A55 S61 S62 S63 S64 S65 Resolve Factor
Paramodulate S62 S63 S64 S65

4 Diagram : Task 4 Part 2 A58 A6 A43 A13 A59 S68 S66 S69 S67

5 Diagram : Initial Setup
Rail 1 Rail 3 Train 1 Train 2 Rail 2 Rail 4

6 Diagram : Layout 1 : Situation 1
Rail 1 Rail 2 Train 1 Rail 4 Rail 3 Train 2

7 Diagram : Layout 1 : Situation 2
Rail 1 Rail 2 Train 1 Rail 4 Rail 3 Train 2

8 Task 9 Diagram : Layout 2 : Situation 1
Rail 1 Rail 3 Train 1 Train 2 Rail 2 Rail 4

9 Task 4 Diagram : Layout 2 : Situation 2
Rail 1 Rail 3 Train 1 Train 2 Rail 2 Rail 4

10 Task 4 Diagram : Layout 2 : Situation 1
Rail 1 Rail 3 Train 1 Rail 2 Rail 4 Train 2

11 Task 4 Diagram : Layout 2 : Situation 2
Rail 1 Rail 3 Train 1 Rail 2 Rail 4 Train 2

12 Task 4 Diagram : Layout 2 : Situation 1
Rail 1 Rail 3 Rail 2 Rail 4 Train 1 Train 2

13 Task 4 Diagram : Layout 2 : Situation 1
Rail 1 Rail 3 Train 1 Rail 2 Rail 4 Train 2

14 Diagram : Layout 1 Rail 1 Rail 2 Train 1 Rail 4 Rail 3 Train 2

15 Diagram : Layout 1 Rail 1 Rail 2 Train 1 Train 2 Rail 4 Rail 3


Download ppt "Diagram : Task 1 Proof Version 1"

Similar presentations


Ads by Google