CSCI 1101 Computer Science I, Section 03 |
1: |
|
Overview, administration, OCaml setup and introduction.
Types, literals, operators and expressions. Simplification,
and values. Functions, libraries, function calls, function
definitions.
|
01.1.introduction.pdf,
areaVolume.ml.
|
2: |
|
More on function definitions and calls, variables and the
simplification/substitution model of computation. let-bound
variables, binding patterns, type notation.
Graphical programming with the "World" system,
Pattern matching, match expressions and branching, repetition.
|
min3isFactorcloseEnough.ml
worlddemo.zip
|
3: |
|
More on repetition, primality, tessellation,
A bisection algorithm for square roots.
|
03.1.repetition.zip,
03.2.repetition.zip
|
4: |
|
Lists and tuples, appending, reversal, work/complexity.
More on lists, linear search, association lists. Insert,
split, partition and merge.
|
lists.ml,
04.1.listsAndTuples.zip,
dictionary.ml
|
5: |
|
Sorting: insertion sort, mergesort, quicksort.
Animation, a greedy algorithm for making change.
|
05.1.sorting.zip,
05.2.animation.zip.
|
6: |
|
More work with lists and tuples, positional addition.
Functions are values: map, filter and fold.
|
sublists.ml,
positionalAdd.ml,
06.2.sublistsPositionalAdd.zip.
|
7: |
|
First Exam.
Sam Baxter on type definitions, record and sum types, option types.
|
First Midterm Exam Key,
Guest Sam Baxter on type definitions.
|
|
|
Spring Break
|
|
8: |
|
Storage Architecure and the Storage Model of Evaluation/Execution.
Numeral systems.
|
08.1.storage.zip,
08.2.numeralSystems.zip.
|
9: |
|
The von Neumann Architecture and the Simple Virtual Machine (SVM).
No class.
|
09.1.vonNeumannMachineSVM.zip.
|
10: |
|
More on SVM, machine code and assembley code.
Imperative (machine-centric) programming in OCaml.
|
10.1.svmCoding.zip,
10.2.imperative.zip.
|
11: |
|
Implementing Array.mem and List.mem in OCaml and SVM.
Search Algorithms, backtracking, string matching.
|
11.1.arrayMemAndListMem.zip,
11.2.searchAlgorithms.zip.
|
12: |
|
More on string matching, Review.
Second Exam.
|
12.1.stringsAndReview.zip,
secondKeyS16.pdf.
|
13: |
|
Markov models of text.
|
13.txt
13.zip
|
14: |
|
Defining new types in OCaml and Java.
|
PointADT.zip
|
15: |
|
Defining new types in OCaml and Java.
Review and wrapup.
|
15.txt
15.zip
|