Search for tag: "module"

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod on November 3rd, 2020 0 likes 209 plays

cos326-2020-22-01-parallelism-and-a7

Programming with Parallel Sequences

From  Daniel Macleod on September 3rd, 2020 0 likes 151 plays

cos326-2020-13-03-ho-rep-inv

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 217 plays

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 199 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 196 plays

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

From  Daniel Macleod on August 16th, 2020 0 likes 129 plays

cos326-2020-12-03-functors

Ocaml Modules: Part 3: Functors

From  Daniel Macleod on August 16th, 2020 0 likes 203 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod on August 16th, 2020 0 likes 187 plays

Agreements 3: Creating an Agreement

This video will walk the viewer through the process of creating an agreement in Princeton ERA. To practice entering an agreement in Princeton ERA, log on to the Princeton ERA Training environment…

From  Eszter Rudy on July 28th, 2020 0 likes 85 plays

1.1 Coeus Basics : Coeus Background + History

Coeus Training - Coeus Basics Part 1: Provides answers to the following questions: What is Coeus? Why does Princeton University use Coeus? What information does Coeus contain? How does Coeus…

From  Kyle Burkhardt on September 14th, 2019 0 likes 65 plays

1.3 Navigating + Searching in Coeus

Coeus Training - Coeus Basics Part 3: How to navigate through Coeus modules and windows and how to search in Coeus.

From  Kyle Burkhardt on September 14th, 2019 0 likes 26 plays