Search for tag: "o."

CL - 11e - CNF by KM (II)

Description Pending

From  Haoran Peng 0 likes 206 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 0 likes 398 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 0 likes 131 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 0 likes 85 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 0 likes 251 plays 0  

Predicting

Predicting

From  Nigel Goddard 1 likes 1,946 plays 0