Search for tag: "predicates"

25 Media

Lecture 8 part 2 Kaltura Capture recording -… duration 11 minutes 21 seconds Lecture 8 part 2 Kaltura Capture recording -… Lecture 8 part 2 Kaltura Capture recording - March 6th 2021, 4:50:16 pm	Lecture 8 part 2 Kaltura Capture recording - March 6th 2021, 4:50:16 pm lecture 8 part 2 environment +22 More From Pauline Phemister 0 likes 49 plays 0 Course Code PHIL10064 Licence Type Creative Commons - Attribution Date Created March 6th, 2021
15.a duration 25 minutes 39 seconds 15.a 15.a	15.a The first video of the Inf2d lecture on Situation… inf2d +22 More From Claudia-Elena Chirita 0 likes 190 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
CL - 11a - Expressions duration 8 minutes 5 seconds CL - 11a - Expressions CL - 11a - Expressions	CL - 11a - Expressions This video introduces the idea that expressions… inf1a +23 More From Haoran Peng 0 likes 319 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 7h - Some Haskell remarks duration 5 minutes 33 seconds CL - 7h - Some Haskell remarks CL - 7h - Some Haskell remarks	CL - 7h - Some Haskell remarks In this video we give an example showing how… inf1a +23 More From Haoran Peng 0 likes 247 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 8b - Language III duration 6 minutes 27 seconds CL - 8b - Language III CL - 8b - Language III	CL - 8b - Language III In this video we link the language of forms to… inf1a +23 More From Haoran Peng 0 likes 335 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 8a - Language II duration 3 minutes 59 seconds CL - 8a - Language II CL - 8a - Language II	CL - 8a - Language II In this video we return to the idea of a formal… inf1a +23 More From Haoran Peng 0 likes 358 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 7a - Mary Loves Everybody duration 6 minutes 11 seconds CL - 7a - Mary Loves Everybody CL - 7a - Mary Loves Everybody	CL - 7a - Mary Loves Everybody In this video we introduce the interpretation of… inf1a +23 More From Haoran Peng 0 likes 495 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 6a - Keeping it Simple duration 3 minutes 34 seconds CL - 6a - Keeping it Simple CL - 6a - Keeping it Simple	CL - 6a - Keeping it Simple We begin by revisiting the idea of a universal… inf1a +24 More From Haoran Peng 0 likes 413 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
lecture 6 part 2 Kaltura Capture recording -… duration 17 minutes 26 seconds lecture 6 part 2 Kaltura Capture recording -… lecture 6 part 2 Kaltura Capture recording - October 21st 2020, 3:08:57 pm	lecture 6 part 2 Kaltura Capture recording - October 21st 2020, 3:08:57 pm lecture 6 part 2 rationalists +22 More From Pauline Phemister 0 likes 46 plays 0 Course Code PHIL10086 Licence Type Creative Commons - Attribution Date Created October 21st, 2020
CL - Sequents duration 2 minutes 20 seconds CL - Sequents CL - Sequents	CL - Sequents We introduce sequents, where we have finite sets… inf1a +24 More From Haoran Peng 0 likes 345 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Review 1 - Contraposition duration 2 minutes 40 seconds CL - Review 1 - Contraposition CL - Review 1 - Contraposition	CL - Review 1 - Contraposition We show the intuition of contraposition using… inf1a +24 More From Haoran Peng 0 likes 355 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Q&A - Thursday Week 4 duration 26 minutes 56 seconds CL - Q&A - Thursday Week 4 CL - Q&A - Thursday Week 4	CL - Q&A - Thursday Week 4 In week 4 we introduced Gentzen's… inf1a +25 More From Haoran Peng 0 likes 353 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 4.k - Logic and Algebra duration 6 minutes 3 seconds CL - Lecture 4.k - Logic and Algebra CL - Lecture 4.k - Logic and Algebra	CL - Lecture 4.k - Logic and Algebra Last CL video for week 4. inf1a +24 More From Claudia-Elena Chirita 0 likes 314 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 4d - Disjunction duration 3 minutes 59 seconds CL - Lecture 4d - Disjunction CL - Lecture 4d - Disjunction	CL - Lecture 4d - Disjunction In this video, we try to arrive at the… inf1a +25 More From Haoran Peng 0 likes 484 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 4c - Conjunction duration 5 minutes 15 seconds CL - Lecture 4c - Conjunction CL - Lecture 4c - Conjunction	CL - Lecture 4c - Conjunction In this video, we try to arrive at the… inf1a +25 More From Haoran Peng 0 likes 527 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 4b - Visualising Negation duration 2 minutes 48 seconds CL - Lecture 4b - Visualising Negation CL - Lecture 4b - Visualising Negation	CL - Lecture 4b - Visualising Negation What is the difference between 'a' and… inf1a +25 More From Haoran Peng 0 likes 464 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English