Search for tag: "symbol"

ASR Lecture 9 part I

ASR Lecture 9: WFSTs for ASR (partial lecture due to technical issues)

From  Peter Bell on February 15th, 2021 0 likes 14 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 124 plays 0  

11.a

The first video of the Inf2d lecture on Unification.

From  Claudia-Elena Chirita on February 2nd, 2021 0 likes 180 plays 0  

10.b

Second video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 188 plays 0  

8.a

The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 189 plays 0  

7.c

Third video of the Inf2D Reasoning and Agents lecture on Logical Agents.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 185 plays 0  

8.c

The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 155 plays 0  

8.b

The second video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 160 plays 0  

AVLSI Demo 1 - Symbol Creation

A demo on how to create symbols in Cadence Virtuoso, along with some tips on using the schematic editor

From  Filip Taneski on January 13th, 2021 0 likes 10 plays 0  

CL - 15d - Using ε-transitions

We present a first example of the use of ε-transitions to concstruct new mahines, and pose a problem to be answered in the following video.

From  Haoran Peng on November 23rd, 2020 0 likes 238 plays 0  

CL - 14b - Machines in Haskell (II)

In this video we present the formalisation of the accepts function in Haskell.In this video we use lists to represent the sets used in the mathematical definition. In the code for tutorials we use…

From  Haoran Peng on November 18th, 2020 0 likes 269 plays 0  

CL - 13c - Machines in Haskell

In this video we formalise the definition of an FSM, describe how a machine and its behaviour may be represented in Haskell.In this video we use lists to represent the sets used in the mathematical…

From  Haoran Peng on November 17th, 2020 0 likes 335 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

From  Haoran Peng on October 20th, 2020 0 likes 337 plays 0  

Introduction to the Digital Education Programme Teams group

A brief introduction to the Teams group for the Digital Education programme at Moray House School of Education and Sport

From  Michael Gallagher on September 15th, 2020 0 likes 20 plays 0  

Editing Wikipedia: Communicating with others using the Talk page and Help Desk

This video demonstrates how to create a Talk page, how to sign your username on a Talk page and where to go to ask for help from the Wikipedia community.

From  Ewan McAndrew on September 15th, 2016 0 likes 23 plays 0