Search for tag: "start"

CL - 18 - rules

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…

From  Haoran Peng on November 30th, 2020 0 likes 199 plays 0  

CL - 16 - ε-transitions and the subset construction

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.

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

CL - 15e - RS -- Concatenation

We use ε-transitions to connect two NFA and create a machine that recognises the concatenation of their languges.

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

CL - 15c - Introducing ε-transitions

We introduce NFA - automata with ε-transitions

From  Haoran Peng on November 23rd, 2020 0 likes 267 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 162 plays 0  

CL - 14c - Regular Languages (I)

We give a first definition of regular language as a language that is accepted by some FSM.

From  Haoran Peng on November 18th, 2020 0 likes 253 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  

PGR Only How to get off to an effective start with your research degree

The Institute for Academic Development team shares key tips and advice for making the most of your first few months.

From  Ravinder Panesar on September 14th, 2020 0 likes 42 plays 0  

Introduction to The Italian 1 Language and Culture Course

Italian 1 is an intensive course in spoken and written Italian, with a focus on language and grammar structures, offering classes at beginner, intermediate and advanced levels. It will also be…

From  Carlo Pirozzi on August 27th, 2020 0 likes 158 plays 0  

CIO update to all ISG staff 21st Aug 2020

CIO update to all ISG staff 21st Aug 2020

From  Gavin McLachlan on August 21st, 2020 5 likes 342 plays 0  

CIO update to ISG 12th June 2020

CIO update to ISG 12th June 2020

From  Gavin McLachlan on June 12th, 2020 3 likes 309 plays 1  

3 min Low Impact Movement to break up sedentary time with Prof Nanette Mutrie & no equipment

Prof Nanette Mutrie takes you through an accessible 3 minute strength routine to her favourite music.

From  Ileana Iacobescu on April 30th, 2020 0 likes 4 plays 0  

Solving Differential Equations in Python: First order ODEs with solve_ivp

How to the SciPy solve_ivp function to integrate first oder ODEs in Python. The 'ivp' stands for Initial Value Problem which means it can be used to solve problems where we know all the…

From  Mark Naylor on April 15th, 2020 0 likes 89 plays 0  

How to create multiple sandboxes/personal draft spaces on Wikipedia

A sandbox is where you draft content before it goes into the Wikipedia live space. Wikipedia is always going to be a work in progress but it is best practice to draft content in your personal…

From  Ewan McAndrew on October 18th, 2019 0 likes 54 plays 0  

Resource Booker Guidance

Guidance video that shows how to create, edit and cancel room bookings within Resource Booker.

From  Anastasija Mezecka on October 14th, 2019 1 likes 434 plays 0