Week 7 Day 1 - Quantifiers
Channel:
Subscribers:
2,640
Published on ● Video Link: https://www.youtube.com/watch?v=VaQdcJSOJj0
1We spent the first part of class going over the midterm. The end of the class we talked about existential quantifiers, which are the backwards E and the upside-down A.
∃ means "there exists", which means *at least one* of the thing exists. For example, it is true that there exists a country in Africa with an official language of Spanish. To prove this to be the case, I would refer you to the Republic of Equatorial Guinea.
∀ means "for all", and it means *100% of the things* it is talking about are true. For example, it is false that ∀ countries in Africa, the official language is Spanish. To prove this to be the case, I would refer you to, well, basically any country in Africa except for Equatorial Guinea.
Other Videos By Bill Kerney
| 2021-03-08 | Week 9 Day 1 - How to UNIX |
| 2021-03-06 | Week 7 Day 3 - Is/Ought |
| 2021-03-05 | Lecture 8 - Procedural Generation |
| 2021-03-05 | Week 8 Day 3 - Deques, Pairs, Tuples |
| 2021-03-04 | Week 8 Day 2 - Cross Product |
| 2021-03-04 | Week 8 Day 2 - SIMD |
| 2021-03-04 | Week 7 Day 2 - Modal Logic |
| 2021-03-03 | Week 8 Day 2 - Memory Leaks, RPG 41 |
| 2021-03-02 | Week 8 Day 1 - Dot Products |
| 2021-03-02 | Week 8 Day 1 - Out of Order Execution, Register Renaming, Superscalar |
| 2021-03-02 | Week 7 Day 1 - Quantifiers |
| 2021-03-01 | Week 8 Day 1 - Templates |
| 2021-02-28 | Week 7 |
| 2021-02-28 | Week 7 Day 3 - Deep Copies, Stacks |
| 2021-02-27 | Week 6 Day 3 - Moar Midterm Review |
| 2021-02-25 | Week 7 Day 2 - Vector Math |
| 2021-02-25 | Week 7 Day 2 - Pipelining |
| 2021-02-24 | Week 7 Day 2 - Debugging II and Queues |
| 2021-02-24 | Week 6 Day 2 - Midterm Review |
| 2021-02-23 | Week 7 Day 1 - The Triangle in Games |
| 2021-02-23 | Week 7 Day 1 - Classes in C and Assembly |
Tags:
CSCI 1
critical thinking
quantifiers