Search for tag: "argument"

32 Media

01:43:09 James Madison Program /Walter F. Murphy Lecture-… James Madison Program /Walter F. Murphy Lecture- "Arguing Excellence: A Logocratic Approach to Measure of Virtue"	James Madison Program /Walter F. Murphy Lecture- "Arguing Excellence: A Logocratic Approach to Measure of Virtue" Professor Brewer will explore the contributions that a theory of argument (the Logocratic Method, a philosophical explanation of the nature of arguments and some of their principal uses) can make to… james madison program scott brown virtue walter f. murphy lecture excellence practice idea law argument kinds rules kind things arguments practices caster contest evidence abduction semenya agonists thing contests From Broadcast Broadcast Center Staff 0 likes 26 plays Date December 7th, 2021 Speaker Professor Scott Brown Department James Madison Program Location Bowen 222
59:35 2020 P3 Statement of Purpose Workshop 2020 P3 Statement of Purpose Workshop	2020 P3 Statement of Purpose Workshop From this workshop, students can expect to walk away with a plan of action for expressing the solid achievements that will contribute to their success as graduate students. In this workshop, they… diversity and inclusion graduate school prospective students statement kind story purpose fit graduate things question person future questions argument experiences field application opportunity kinds thing essay faculty captions_11_4_2020 From Diverse Graduate School - Diversity and Inclusion 0 likes 66 plays Date October 8th, 2020 Speaker Afia Ofori-Mensa, PhD Department Director, Presidential Scholars Program, Princeton University
20:43 cos326-2020-17-04-type-inference-2 cos326-2020-17-04-type-inference-2	cos326-2020-17-04-type-inference-2 Type Checking: Part 4: Type Inference (Quantifiers) cos326 function inference expression algorithm bool thing arrow argument types side unit reference hand variables solution ref href result quantifier int From Daniel Macleod 0 likes 84 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
43:07 cos326-2020-17-03-type-inference-1 cos326-2020-17-03-type-inference-1	cos326-2020-17-03-type-inference-1 Type Checking: Part 3: Type Inference (Simple Types) cos326 function arrow constraints int types algorithm solution inference expression argument bool equations variables substitution equation result constraint unification term schemes From Daniel Macleod 0 likes 146 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
09:39 cos326-2020-17-02-type-checking-implementation cos326-2020-17-02-type-checking-implementation	cos326-2020-17-02-type-checking-implementation Type Checking: Part 2: Ocaml Implementation cos326 function expression context error operation integer t. checking argument result expressions rule checker t1 int call variables statement paren t2 From Daniel Macleod 0 likes 121 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
22:46 cos326-2020-13-03-ho-rep-inv cos326-2020-13-03-ho-rep-inv	cos326-2020-13-03-ho-rep-inv Reasoning About Modular Programs: Part 3: More Representation Invariants cos326 invariant function t. module operation int representation proof input arrow argument result words component integer elements s1 star option types From Daniel Macleod 0 likes 221 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
12:36 cos326-2020-13-01-representation-invariants cos326-2020-13-01-representation-invariants	cos326-2020-13-01-representation-invariants Reasoning about Modular Programs: Part 1: Representation Invariants cos326 invariant module representation invariance size values operation tree client duplicates outputs function elements functions sets argument implementation lists methods keys From Daniel Macleod 0 likes 203 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
25:27 cos326-2020-12-03-functors cos326-2020-12-03-functors	cos326-2020-12-03-functors Ocaml Modules: Part 3: Functors cos326 matrix signature ring module elt functor function thing elements structure queue matrices element base argument result stack types alpha input From Daniel Macleod 0 likes 211 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:38 cos326-2020-12-02-module-choices cos326-2020-12-02-module-choices	cos326-2020-12-02-module-choices Ocaml Modules: Part 2: Design Choices stack pop interface argument error bug problem kind kinds programs exception option choice interfaces exceptions ocaml color client implementation air From Daniel Macleod 0 likes 154 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
30:19 cos326-2020-11-01-computability cos326-2020-11-01-computability	cos326-2020-11-01-computability Computability lambda function dot calculus match functions g. cons b. pair step ocaml argument successor capital clause constructor point x. computation From Daniel Macleod 0 likes 183 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
17:48 cos326-2020-08-05-proofs-programming-languages cos326-2020-08-05-proofs-programming-languages	cos326-2020-08-05-proofs-programming-languages Did I Get it Right? Part 5: Proofs About Programming Languages cos326 expression side hand opt expressions function cases programs programming e2 proof things functions languages argument thing language hypothesis induction integer From Daniel Macleod 0 likes 148 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
20:03 cos326-2020-06-03-more-evaluation cos326-2020-06-03-more-evaluation	cos326-2020-06-03-more-evaluation Implementing Ocaml in Ocaml: Part 3: More Features, More Fun! cos326 function expression body argument functions language evaluation application fun expressions interpreter substitution thing things branch statement constructs declaration variables result From Daniel Macleod 0 likes 291 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
36:57 cos326-2020-04-03-poly-ho cos326-2020-04-03-poly-ho	cos326-2020-04-03-poly-ho Polymorphism cos326 function alpha arrow beta mystery cons head int functions tail comp reduce elements comparison arguments lists fun argument return element From Daniel Macleod 0 likes 273 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
25:04 cos326-2020-04-02-map-reduce-reasoning cos326-2020-04-02-map-reduce-reasoning	cos326-2020-04-02-map-reduce-reasoning Poly Ho! cos326 function argument functions square arrow arguments head ink times call parameter thing element cons fun tail programs sum lambda expression From Daniel Macleod 1 likes 302 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:07 cos326-2020-03-04-java-rant cos326-2020-03-04-java-rant	cos326-2020-03-04-java-rant A Short Java Rant cos326 pair java possibility option class ocaml pairs types input swap pattern compiler error x. structure thing components argument fields programming From Daniel Macleod 0 likes 192 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:49 cos326-2020-03-03-insertion-sort cos326-2020-03-03-insertion-sort	cos326-2020-03-03-insertion-sort Insertion Sort cos326 function insertion loop portion head array tail arguments argument int setup rest insert functions lists element arrays call sort algorithm From Daniel Macleod 0 likes 274 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ