ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

260 results

nurulinsyirah
MAT222- QUANTIFIER
10:39
MAT222- QUANTIFIER

65 views

9 days ago

MathGPT
Existential vs Universal Quantifiers Explained (∃ and ∀ with Examples)

In this video, we explain how existential and universal quantifiers change the meaning of logical statements. Quantifiers: ...

0:36
Existential vs Universal Quantifiers Explained (∃ and ∀ with Examples)

0 views

2 weeks ago

Pablo Rivas-Robledo
Quantified Modal Logic 1: Propostitional logic, modal logic, FOL and first approach to QML

The notes used and more details can be found here: https://www.pablorivasrobledo.com/teaching/quantified-modal-logic.

1:47:52
Quantified Modal Logic 1: Propostitional logic, modal logic, FOL and first approach to QML

11 views

12 days ago

Cesare Spinoso
A proof that the halting problem is undecidable (!!!)
47:02
A proof that the halting problem is undecidable (!!!)

6 views

3 weeks ago

Pablo Rivas-Robledo
Quantified Modal Logic 3: Higher-order Necessitist Modal Logic with Identity (Williamson)

The notes used and more details can be found here: https://www.pablorivasrobledo.com/teaching/quantified-modal-logic.

1:22:50
Quantified Modal Logic 3: Higher-order Necessitist Modal Logic with Identity (Williamson)

0 views

10 days ago

Thinking In Math
Why Mathematicians Care About P vs NP

Why does the famous P vs NP problem matter to mathematicians, not just computer scientists? In this concept-first mini-lecture, we ...

9:43
Why Mathematicians Care About P vs NP

50 views

12 days ago

Hans Halvorson
lecture 15: relational logic
16:47
lecture 15: relational logic

22 views

2 weeks ago

Txzim
MAT222 VIDEO PRESENTATION
25:42
MAT222 VIDEO PRESENTATION

8 views

7 days ago

Maths@University
Logic - Lecture 11
50:22
Logic - Lecture 11

5 views

11 days ago

Hans Halvorson
lecture 18: proofs with existential elimination
22:48
lecture 18: proofs with existential elimination

8 views

2 weeks ago

Hans Halvorson
lecture 17: proofs with existential introduction
23:19
lecture 17: proofs with existential introduction

7 views

2 weeks ago

Scupa.DaDolphin
Discrete Math - Predicates and Quantifiers

This video looks at predicates, quantifiers and translations involving them. It specifically looks at the existential and universal ...

5:11
Discrete Math - Predicates and Quantifiers

5 views

9 days ago

JEEZen ELITE MATHS
How Mathematicians Prove Existence (Olympiad Logic Series)

How do we prove that something exists — without even finding it? In this episode of the Global Olympiad Theory Series, we study ...

1:51
How Mathematicians Prove Existence (Olympiad Logic Series)

5 views

2 weeks ago

Pablo Rivas-Robledo
Quantified Modal Logic 2: Kripke Predicate Frames

The notes used and more details can be found here: https://www.pablorivasrobledo.com/tea...

1:50:09
Quantified Modal Logic 2: Kripke Predicate Frames

1 view

10 days ago

Aiman Wafiy
UNIVERSAL & EXISTENTIAL QUANTIFIERS | GROUP 5 |
13:40
UNIVERSAL & EXISTENTIAL QUANTIFIERS | GROUP 5 |

25 views

10 days ago

The Eternal Lighthouse
"Concepts" Don't Exist | Quine's Ontological Commitment #Philosophy #Quine #Logic

... Platonism, Canonical Notation, Quantifiers, Existential Quantification, Bound Variables, Philosophy of Language, Metaphysics, ...

11:54
"Concepts" Don't Exist | Quine's Ontological Commitment #Philosophy #Quine #Logic

7 views

4 weeks ago

Maths@University
Logic - Lecture 13
40:30
Logic - Lecture 13

26 views

9 days ago

O.EYRYGEIOS
4 tree

Prepositional Logic, Tree. This series of videos is based on Van Dylan's book, 'Logic and Structure'. Mainly they serve as ...

19:15
4 tree

9 views

3 weeks ago

MathemticsDistribution
89 Math Symbols Explained!

This video provides a clear overview of a broad spectrum of potentially desirable math topics.

18:34
89 Math Symbols Explained!

10 views

4 weeks ago

The Theoretical Nerd
When Does an Eigenvalue Exist … ? P1 (LADR 21)
12:36
When Does an Eigenvalue Exist … ? P1 (LADR 21)

51 views

2 weeks ago