|
Our free short online course The Astrobiology and the Search for Extraterrestrial Life outlines the conditions that are required for a planet to be habitable, and explores how we can search for and…
Licence Type
Creative Commons - Attribution Share A Like
|
|
This is the first video for the FP lectures on Combinatorics.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we look at yet another pattern of implications, and apply our a method for counting the satisfying valuations.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
EMS meeting date ... Talk delivered by Professor Kenneth Falconer
Publisher
Hossein Amini Kafiabad Licence Type
All rights reserved Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the video for the 10th FP lecture.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In the last video, we showed a rule is sound using Venn diagrams. In this video, we will again use Venn diagrams to construct counter-examples for unsound rules.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the second video on Syllogisms. We return
to discuss the relationship between Euler and Venn diagrams, and introduce some notation.Having watched this video, you should be able to count how…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Anselm - Modal logic
Course Code
PHIL10184 Licence Type
Creative Commons - Attribution Non Commercial No Derivatives
|
|
Dr Anders Schoubye Advanced Philosophical Methods Online MSc in Epistemology, Ethics and Mind
Licence Type
All rights reserved The University of Edinburgh
|
|
Dr Anders Schoubye Advanced Philosophical Methods Online MSc in Epistemology, Ethics and Mind
Licence Type
All rights reserved The University of Edinburgh
|
|
Dr Anders Schoubye Advanced Philosophical Methods Online MSc in Epistemology, Ethics and Mind
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|