Search for tag: "q."

12.a

The first video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 197 plays 0  

CL - 14e - DFA (II)

We look at the representation of DFA in Haskell (using lists to represent the sets of the formal definition).In this video the code isDFA is defining what counts as a DFA when we use the black-hole…

From  Haoran Peng on November 20th, 2020 0 likes 164 plays 0  

How to Review and Edit Scripts for Online Learning Videos

If you have been tasked with creating learning content for an online environment, this series of videos will help you write, edit, and present clear and engaging scripts that convey your teaching and…

From  Calum Macphail on April 1st, 2020 0 likes 142 plays 0