Search for tag: "row"

CL - 15b - Boolean operations on DFA-Regular Languages

Since DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.

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

CL - 12a - Order

This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…

From  Haoran Peng on November 9th, 2020 0 likes 311 plays 0  

CL - 8c - Sudoku

First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…

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

Orthogonal Polynomials and Random Matrices - Walter Van Assche

VISS online seminar series Orthogonal Polynomials and Random Matrices Walter Van Assche (KU Leuven) 28 October 2020 An automated programme is used to generate the subtitles on this talk. You can…

From  GILLIAN KERR on October 28th, 2020 0 likes 23 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 378 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 439 plays 0  

CL - 6c - Karnaugh Maps II

This video shows you how to find your way through the state space represented by a Karnaugh Map, and introduces features called blocks. In this video we focus on blocks of ones.

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

CL - Lecture 4.i - Reduction 1

We use the rules to reduce a sequent to a conjunction of simpler sequents. In this example we find that the expression asserted by the sequent is a tautology — it is equivalent to the empty…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 379 plays 0  

IDS - Week 03 - 02 - Tidy data

What makes data tidy and why do we care?

From  Mine Cetinkaya-Rundel on October 5th, 2020 0 likes 42 plays 0  

RMS2 (20-21) 3.5

Research Methods & Statistics 2 (20-21) Week 3 Lecture 5

From  Josiah King on September 29th, 2020 0 likes 383 plays 0  

RMS2 (20-21): Prelim - Functions & Models

Research Methods & Statistics 2 (20-21) Week 1 Preliminaries: Functions & Models

From  Josiah King on September 17th, 2020 0 likes 480 plays 0  

dapR2 (20-21): 1.4

Data Analysis in Psychology in R 2, 2020/21.Week 1Lecture 4

From  Thomas Booth on September 12th, 2020 0 likes 304 plays 0  

6a - Reliability

Lecture 6a - Reliability by Prof Ian Underwood

From  Lesley Gibson on September 3rd, 2020 0 likes 62 plays 0