Search for tag: "o"

CL - 11e - CNF by KM (II)

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 191 plays 0  

CL - Lecture 4.i - Reduction 1

We use the rules to reduce a sequent to a conjunction of simpler sequents. In this example we find that the expression asserted by the sequent is a tautology — it is equivalent to the empty…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 379 plays 0  

SEP team: Spotlight on. . .part two

In the second part of our spotlight on SEP team, members of the Service Excellence Programme (SEP) share their current activities and hopes for the University as a result of SEP.

From  Tim Gray on May 16th, 2018 0 likes 123 plays 0  

Isabella Skea - writing the Wikipedia article on "The Lass o' Pairts"

Isabella Skea - writing the Wikipedia article on "The Lass o' Pairts" Timelapse demonstration of the process of drafting a new page and then publishing it on Wikipedia.

From  Ewan McAndrew on May 7th, 2018 0 likes 23 plays 0  

SEP team: Spotlight on. . .

Members from the Service Excellence Programme (SEP) share their current activities and hopes for the University as a result of SEP.

From  Tim Gray on March 25th, 2018 0 likes 237 plays 0  

Predicting

Predicting

From  Nigel Goddard on September 25th, 2016 1 likes 1,105 plays 0