Все публикации

1:14:35

[HD] EECS4315 W25 - 2025-03-05 - Model Satisfaction, Path vs. Model Satisfactions: X, G, F

1:17:45

[HD] EECS2101Z W25 - 2025-03-06 - Math Properties of Binary Trees, Tree Traversals

1:18:37

[HD] EECS2101X W25 - 2025-03-06 - Math Properties of Binary Trees, Tree Traversals

1:17:46

[HD] EECS2101Z W25 - 2025-03-04 - Recursive Definitions of Trees, Initializing Generic Arrays, Depth

1:16:49

[HD] EECS2101X W25 - 2025-03-04 - Recursive Definitions of Trees, Initializing Generic Arrays, Depth

1:15:33

[HD] EECS4315 W25 - 2025-03-03 - Unwinding Paths, Satisfaction Relations, Formulations: X, F, G

0:19:30

[HD] EECS4315 W25 - 2025-03-03 - WrittenTest Review Q&A

0:54:28

[4K UHD Court-Level] Jackie's Tennis Training - #551 - 2025-02-28 (930am, Fri) - Rally with Daniel

1:01:20

[4K UHD Court-Level] Jackie's Tennis Training - #550 - 2025-02-28 (815am, Fri) - Lesson with Mark

1:13:57

[HD] EECS4315 W25 - 2025-02-26 - Subformula, Labeled Transition System (LTS), Path Suffixes

1:12:58

[HD] EECS2101X W25 - 2025-02-25 - Linear vs. Non-Linear, General Trees, Generic Trees in Java

1:15:54

[HD] EECS2101Z W25 - 2025-02-25 - Linear vs. Non-Linear, General Trees, Generic Trees in Java

1:14:59

[HD] EECS4315 W25 - 2025-02-24 - LTL CFG, Parse Trees, LMD, RMDs

0:57:39

[4K UHD Court-Level] Jackie's Tennis Training - #549 - 2025-02-18 (1030am, Tue) - Lesson with Mark

0:57:39

[4K UHD Court-Level] Jackie's Tennis Training - #547 - 2025-02-14 (820am, Fri) - Lesson with Mark

0:58:37

[4K UHD Court-Level] Jackie's Tennis Training - #548 - 2025-02-14 (930am, Fri) - Rally with Daniel

1:00:23

[4K UHD Court-Level] Jackie's Tennis Training - #545 - 2025-02-10 (705am, Mon) - Rally with Daniel

0:59:29

[4K UHD Court-Level] Jackie's Tennis Training - #546 - 2025-02-10 (815am, Mon) - Lesson with Mark

1:29:09

[HD] EECS2101X W25 - 2025-02-13 - SLLs vs. Arrays, DLLs Intro, addBetween, remove

1:17:21

[HD] EECS2101Z W25 - 2025-02-13 - SLLs vs. Arrays, DLLs Intro, addBetween, remove

1:10:44

[HD] EECS2101X W25 - 2025-02-11 - removeFirst, addLast, getNodeAt, insertAt

1:16:51

[HD] EECS2101Z W25 - 2025-02-11 - removeFirst, addLast, getNodeAt, insertAt, insertBefore/After

1:13:15

[HD] EECS4315 W25 - 2025-02-10 - Lab2 Solution Walkthrough, LTL Grammar: Top-Down Derivation

1:05:33

[HD] EECS2101XZ W25 - 2025-02-09 - splitArrayHarder Recursion Exercise: Coding & Tracing