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

0:07:55

[English Grammar] Verbs and Verb Phrases

0:07:16

[English Grammar] Prepositions and Prepositional Phrases

0:12:00

[English Grammar] Determiners and Pronouns

0:12:00

[English Grammar] Nouns, Quantifiers, Numerals, and Noun Phrases

0:16:03

[English Grammar] Word Categories, Adjectives, and Adjective Phrases

0:09:20

[English Grammar] Constituency, Subjects, and Predicates

0:06:12

Senantics. Quantifier Raising with Lambda Calculus

0:22:09

Discrete Math Proofs in 22 Minutes (5 Types, 9 Examples)

0:08:03

Semantics: Relative Clauses with Lambda Calculus

0:05:08

Semantics: Predicate Modification with Lambda Calculus

0:08:35

Semantics: Intersective Adjectives with Type Shifting

0:03:22

Can You Prove that R is an equivalence relation iff R is circular and reflexive

0:03:03

Can You Prove Bernoulli's Inequality?

0:02:58

Can You Prove that one of these large numbers is not a perfect square?

0:02:32

Can You Prove that if x2+y2 is even, then x+y is even.

0:07:46

Semantics: Quantificational Determiners with Lambda Calculus

0:09:22

Semantics: Conjunctions with Lambda Calculus

0:05:44

Semantics: Reflexive Pronouns with Lambda Calculus

0:05:42

Semantics: Negation with Lambda Calculus

0:02:56

Can You Prove that the composition of two decreasing functions is increasing?

0:06:41

Can You Prove that a polynomial has no rational roots?

0:04:35

Can You Prove a subset relation with symmetric difference?

0:02:50

Can You Prove the sum of powers of 2?

0:03:01

Can You Prove an algebraic inequality if x and y must be positive?