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 lecture 8 part 2 phemister concept substance king theologian nose concepts notion individual predicates instance leibnitz nicole man alexander lightness beings 13th antoine realm things 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 Calculus. inf2d reasoning and agents artificial intelligence situation calculus situation block action actions blocks logic table result situations robot goal agent moment agents move knowledge sentences predicates planning From Claudia-Elena Chirita 0 likes 187 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 are things we can study.We look first at evaluating algebraic expressions by substituting values for variables, and then do the same for Boolean… inf1a introduction to computation informatics 1 computation and logic times algebra end variables operations matrices things predicates pattern booleans wolf variable integers expressions diagram tutorial bottom kinds woofs functions From Haoran Peng 0 likes 318 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 Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how… inf1a introduction to computation informatics 1 computation and logic function functions things haskell integer universe quantifiers bit errors delta predicate thing arguments brackets subsets predicates operations signature types argument From Haoran Peng 0 likes 246 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 our derivations of CNF. inf1a introduction to computation informatics 1 computation and logic language things computation values form computations logic times numbers reduction description thing mary john expressions idea algebra predicates truth forms 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 language — a language whose expressions can be represented in Haskell. inf1a computation and logic informatics 1 introduction to computation computation things language computations logic values times description mary john algebra predicates truth laws sorts booleans end equation result operations 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 statements such as, "Mary loves Everybody". We use sections in Haskell to help us do this. inf1a computation and logic informatics 1 quantifiers mary things body person function mark haskell predicates loves triangle weeks sections thing x. brackets language boolean axis property p. 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 model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for… inf1a introduction to computation informatics 1 computation and logic karnaugh map things universe universes language bit property possibilities predicates letters picture diagrams venn fun pattern formula patterns universities kbps thousand examples 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 lecture 6 part 2 leibniz concept substance substances leibnitz notion god predicates actions alexander universe concepts things idea proposition discourse knowledge mind analysis metaphysics instance 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 of predicates on both sides of the turnstile. inf1a introduction to computation informatics 1 computation and logic sequent calculus gamma delta predicates counterexample satisfies notation haskell universe boom things lists sets goo sequent generalization sequence holes counter b. diagram From Haoran Peng 0 likes 344 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 Venn diagrams. inf1a introduction to computation informatics 1 computation and logic contraposition things b. diagram x. universe sequence rule hobby naught symbol complement satisfies notation predicates relationship holes function holds thing property 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 sequents.You should make sure you understand when a sequent is valid, and what it means to provide a counter-example to a sequent -- a universe in which the… inf1a introduction to computation informatics 1 computation and logic gentzen's rules sequent calculus b. gamma rule thing delta function questions tutorial end things intersection sides predicates haskell functions bool values question week sense From Haoran Peng 0 likes 352 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 introduction to computation informatics 1 computation and logic logic things predicates properties operations values algebra individuals b. property collection picture variables individual labels combination difference principle functions stuff union 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 disjunction rule. inf1a introduction to computation informatics 1 computation and logic disjunction rule disjunction diagram sphere thing b. 's aob head satisfies predicates table truth slide direction end rule union venn room universe rules 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 conjunction rule. inf1a introduction to computation informatics 1 computation and logic conjunction conjunction rule diagram b. function venn rule booleans things operations pictures euler predicates circle haskell game algebra mind c. relationship diagrams answer 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 'not a'? Here we visualize them on a globe instead of a plane. inf1a introduction to computation informatics 1 computation and logic visualization negation circle things side patterns predicates difference b. hemisphere a. diagram algebra bc words aristotle miners pathway bsa relationships pictures token From Haoran Peng 0 likes 463 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English