Скачать или смотреть GAME THEORY | Lecture 01 | Encoding the World (Sets, Functions, and Logic)

Lecture 01 for strategic models (game theory) at the University of Illinois at Urbana-Champaign covers sets, functions, and logic. It borrows (heavily) from Keith Devlin's delightful book: Sets, Functions, and Logic (https://www.amzn.com//1584884495).

INTRO
0:00:00 riiiiiiiight
0:02:08 hey everybody (and class logistics GO READ THE SYLLABUS)
0:05:04 what are we going to talk about today?
0:07:33 roadmap

THE A BLOCK | Statements & Logical Operations

Statements
0:10:19 splash
0:10:35 working definition, non-examples, and examples
0:16:43 truth tables

Logical Operations
0:18:47 what are logical operations?
0:19:19 not
0:21:34 and
0:22:57 or
0:24:34 if-then
0:28:00 if and only if (iff)
0:30:33 for all
0:32:15 there exists

THE B BLOCK | Sets & Set Operations

Sets
0:35:18 splash
0:36:24 working definition and notation for inclusion
0:37:43 specifying sets (with some introductory set examples)
0:43:27 some special sets

Set Operations
0:48:00 what are set operations?
0:48:21 universe of discourse
0:48:34 set complement
0:49:23 set intersection
0:50:41 set union
0:51:17 subset
0:52:20 set equivalence
0:52:40 ordered pairs and cartesian products

THE C BLOCK | Functions
0:55:59 splash
0:56:48 working definition and notation for specifying a function
0:57:40 visual depiction of the rules of functions
1:02:21 one-to-one and onto functions

OUTRO
1:07:48 splash
1:08:00 what did we talk about today?
1:09:25 a provocative thought