Search for tag: "symbols"

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 8 plays 0  

CL - 15a - Regular Languages (III) : DFA-regular

Our third definition: we say a language is DFA-regular if it is the language recognised by some DFA.We show that the complement of a DFA-regular language is DFA-regular.

From  Haoran Peng on November 22nd, 2020 0 likes 339 plays 0  

CL - 13d - Black holes and DFA

We begin with a short discussion of the history and some applications of FSM. We then introduce Deterministic Finit-state Automata (DFA), and the use of the black hole convention when presenting…

From  Haoran Peng on November 18th, 2020 0 likes 293 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 268 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 332 plays 0  

Kaltura Capture recording - October 13th 2020, 7:27:41 am

In this video I discuss transcription of verbal data using Jefferson's system of notation.

From  Susan Widdicombe on October 13th, 2020 0 likes 56 plays 0  

CL - Lecture 3h - Operator Precedence

In this video, we introduce operator precedence. An expression such as a ⋀ b ⋁ c, without parentheses, could represent either (a ⋀ b) ⋁ c or a ⋀ (b ⋁ c). To specify which we mean, we either need to…

From  Haoran Peng on October 4th, 2020 0 likes 382 plays 0  

CL - Lecture 3b - Particular Propositions

You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular…

From  Haoran Peng on October 3rd, 2020 0 likes 465 plays 0  

CL - Lecture 1.a - Binary Data

In this video, we introduce binary data as a simple example of information, and show how apparently more-complex examples can be encoded as binary data.

From  Claudia Chirita on September 11th, 2020 0 likes 670 plays 0  

Topic 12: Classical Probability (PETARS, Chapter 3)

This video builds on empirical probability and defines the classical definition by considering equally probable outcomes. The video discusses several examples using that can be easily studied with…

From  James Hopgood on September 3rd, 2020 0 likes 107 plays 0  

Prof Agustin Fuentes - Why do we believe_

Prof Agustin Fuentes - Why do we believe_

From  Lesley Middlemass on April 9th, 2019 0 likes 46 plays 0  

Learning Technology Showcase March 2018, Part 2

Lecture Technology Showcase (run by the Learning Teaching and Web division of Information Services, University of Edinburgh) of 29th March 2018 on the subject of lecture recording. Part 2. Speakers:…

From  Brendan Hill on April 20th, 2018 0 likes 69 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 22 plays 0