Search for tag: "argument"

Jean-Simon Lemay Cartesian differential categories.

This lecture series ‘category theory and its applications’ is linked to the LMS funded Yorshire and Midlands Category Seminar (YaMCATS) network.This lecture series consists of two topics…

From  OLLIE Quinn on November 18th, 2020 0 likes 5 plays 0  

FP - Lecture 14 - Type Classes

This is the video for the FP lecture on Type Classes.

From  Claudia-Elena Chirita on November 8th, 2020 0 likes 335 plays 0  

Professional Skills for GAFS (1) - Week 7 - Answers to Mondays Questions

In this video, Jill shows the ggplot answers to the questions we left undone in Monday's farm accounts data. Please note, captions are autogenerated

From  Jill MacKay on November 4th, 2020 0 likes 3 plays 0  

CL - 7h - Some Haskell remarks

In this video we give an example showing how Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how…

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

Mark Groves : Fully localised three-dimensional gravity-capillary solitary waves on water of infinite depth.

Wednesday 21 October3pm - Mark GrovesTitle: Fully localised three-dimensional gravity-capillary solitary waves on water of infinite depth.

From  OLLIE Quinn on October 29th, 2020 0 likes 7 plays 0  

IDS - Week 06 - 07 - Iteration

Iteration via mapping

From  Mine Cetinkaya-Rundel on October 27th, 2020 0 likes 23 plays 0  

IDS - Week 06 - 06 - Functions

Functions in R

From  Mine Cetinkaya-Rundel on October 27th, 2020 0 likes 22 plays 0  

IDS - Week 04 - 04 - Importing data

Importing rectangular data into R and some notes for other types of data

From  Mine Cetinkaya-Rundel on October 13th, 2020 0 likes 39 plays 0  

Miles Wheeler - Nonexistence of subcritical solitary waves

Miles Wheeler - Nonexistence of subcritical solitary wavesWe prove that all solitary gravity waves are supercritical, i.e. they travel faster than infinitesimal periodic waves. Previously, this…

From  OLLIE Quinn on October 7th, 2020 0 likes 19 plays 0  

IDS - Week 03 - 03 - Grammar of data wrangling

A grammar of data wrangling with dplyr and an official welcome to the pipe operator

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

FP - Lecture 6 - Map, Filter, Fold

This FP lecture video presents the concepts of map, filter, and fold.

From  Claudia-Elena Chirita on October 4th, 2020 0 likes 496 plays 0  

CL - Lecture 3f - Presenting your justifications and counterexamples

In this video, we label each region in the Venn diagram with a number from 0 to 7. We can then present our justifications and counter-examples by referring to those 8 regions.

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

CL - Lecture 3d - Using Venn Diagrams to show a Syllogism is Sound

Given a syllogistic rule, how do we show that it is sound? Here we show that using Venn diagrams.

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

CL - Lecture 3a - Contraposition of Propositions

Last week we used object-level contraposition to derive four new syllogisms, starting from Barbara. This week we will use meta-level contraposition to derive two more new syllogisms from each of the…

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

Hornsby’s Objection

Phil Methods 1: Week 1, part 4

From  Dave Ward on September 18th, 2020 0 likes 41 plays 0  

dapr1_week5_lect1_2

dapr1_week5_lect1_2

From  Leonidas Doumas on September 18th, 2020 0 likes 365 plays 0