Search for tag: "argument"

37 Media

01:02:04 Translating Sanskrit Buddhist Philosophy for the… Translating Sanskrit Buddhist Philosophy for the Curriculum- Panel 4	Translating Sanskrit Buddhist Philosophy for the Curriculum- Panel 4 philosophy question questions things texts text lot kind thing point philosophers problem tradition discussion history argument translation arguments sort students From Broadcast Broadcast Center Staff 0 likes 22 plays
01:11:24 Translating Sanskrit Buddhist Philosophy for the… Translating Sanskrit Buddhist Philosophy for the Curriculum- Panel 3	Translating Sanskrit Buddhist Philosophy for the Curriculum- Panel 3 philosophy kind students lot things translation text background thing traditions texts material bit argument kinds discussion question tradition point objects From Broadcast Broadcast Center Staff 0 likes 21 plays
03:14:42 Translating Sanskrit Buddhist Philosophy for the… Translating Sanskrit Buddhist Philosophy for the Current Philosophy Curriculum	Translating Sanskrit Buddhist Philosophy for the Current Philosophy Curriculum philosophy text kind class things thing question students idealism texts translation tradition questions idea argument objects sort mind arguments sense From Broadcast Broadcast Center Staff 0 likes 66 plays
01:13:45 Everything You Want to Know About Moving from… Everything You Want to Know About Moving from Dissertation to Book	Everything You Want to Know About Moving from Dissertation to Book Come learn what distinguishes a dissertation from a book manuscript, what editors are looking for in book proposals, what to expect from the process, how to think about the market/readership for… dissertation kind editor things proposal thing process argument lot questions bit ideas question chapter editors readers audience sense chat voice From aas21 African American Studies 0 likes 89 plays Date January 18th, 2022 Speaker Ruha Benjamin Department African American Studies
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 88 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 100 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 89 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 151 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 130 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 222 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 205 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 212 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 155 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 151 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