Search for tag: "form"

CL - 14d - Regular Languages (II)

We give a second definition of regular language as the languages generated from the empty and singleton languages by the operations of, concatenation, alternation, and iteration.

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

CL - 14a - Tseytin Week 9

In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell.

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

PoS 1 Week 9 Lecture 1 Part 3

D-N model of explanation

From  Johanna Wolff on November 5th, 2020 0 likes 99 plays 0  

The phenomenon of dispersive revivals - Beatrice Pelloni

VISS online seminar series The phenomenon of dispersive revivals Beatrice Pelloni (Heriot-Watt University) 4 November 2020 An automated programme is used to generate the subtitles on this talk.…

From  GILLIAN KERR on November 4th, 2020 0 likes 16 plays 0  

CL - 8d - Sudoku II

In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…

From  Haoran Peng on November 1st, 2020 0 likes 308 plays 0  

CL - 8b - Language III

In this video we link the language of forms to our derivations of CNF.

From  Haoran Peng on November 1st, 2020 0 likes 319 plays 0  

PGHC11501 Running the Roman Empire: Week 8 - 3

Screencast by Dr Benedikt Eckhardt for Running the Roman Empire: Week 8

From  Anna Raczynski on October 30th, 2020 0 likes 47 plays 0  

Pharmacology 3: Drugs Acting on Ion Channels Part 4 Dr Phil Larkman

Modulation of Na+ channels by local anaesthetics.

From  Philip Larkman on October 30th, 2020 0 likes 63 plays 0  

CL - 6g - CNF II

This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a conjunctive normal form (CNF) — a conjunction of disjunctions of literals.

From  Haoran Peng on October 24th, 2020 0 likes 377 plays 0  

CL - 6f - CNF I

This video shows how blocks of zeros, which correspond to disjund=ctions of literals, lead us to conjunctive normal form (CNF) which we met earlier as the output of our reduction procedure. CNF is in…

From  Haoran Peng on October 24th, 2020 0 likes 436 plays 0  

CL - 6e - DNF

More on blocks of ones (which correspond to conjunctions of literals).This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a disjunctive normal…

From  Haoran Peng on October 24th, 2020 0 likes 392 plays 0  

Lecture 6 part 3A Kaltura Capture recording - October 21st 2020, 4:03:31 pm

lecture 6 part 3A

From  Pauline Phemister on October 21st, 2020 0 likes 5 plays 0  

Homogeneous Hamiltonian operators, projective geometry and integrable systems - Raffaele Vittolo

VISS online seminar series Homogeneous Hamiltonian operators, projective geometry and integrable systems Raffaele Vittolo (University of Salento) 21 October 2020 An automated programme is used to…

From  GILLIAN KERR on October 21st, 2020 0 likes 26 plays 0  

South East Mathematical Physics Seminars: Juan Miguel Nieto García (Lecture 3)

South East Mathematical Physics Seminars: Juan Miguel Nieto García (Lecture 3)

From  Liam Holligan on October 20th, 2020 0 likes 16 plays 0  

South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)

South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)

From  Liam Holligan on October 20th, 2020 0 likes 14 plays 0  

ELRN 2020 Annual Lecture - Prof Ambreena Manji

Professor Ambreena Manji from Cardiff University speaks on 'Searching for Care Labour in African Social History'. This is the Annual Lecture delivered on the 16th of October 2020.

From  Iain Mcgee on October 20th, 2020 0 likes 4 plays 0