ML Programs from classTopInstructor & TextLectures and Readings

Lectures and Readings

Because this is the first time this course is being offered, and similar courses do not really exist at other schools, the syllabus at this point is simply a guess on my part. What we cover and how fast we cover it will depend on the class. You should go to the class web page before each class for detailed information on what will be covered in the next class.

All reading assignments are from the required and recommended texts. The notation "BB" stands for the book by Blackburn and Bos, while "G" stands for the logic book by Gamut. I have also included some reading from Paulson's ML for the Working Programmer in case you have access. These readings will be marked with "ML". Students should come to class having completed the indicated readings for the day.

Lecture Date Topic Reading

1.

Jan. 18 Introduction BB Introduction

2.

Jan. 20 ML programming ML 1-2.9

3.

Jan. 23 ML programming ML 2.10-2.18

4.

Jan. 25 ML programming ML 2.19-4.13

5.

Jan. 30 ML programming ML 2.19-4.13

6.

Feb 1 ML programming ML 2.19-4.13

7.

Feb 1 First-order logic review BB 1
8. Feb 3 Defining truth BB 1

9.

Feb 6 Model checker in ML BB 1

10.

Feb. 8 Extending first order logic BB 1

11.

Feb. 10 Computational Semantics & Lambda Calculus BB 2

12.

Feb. 12 Lambda Calculus as Foundations BB 2

13.

Feb. 14 More Lambda Calculus as Foundations BB 2

14.

Feb. 16 Lambda Calculus & Semantics BB 2

15.

Feb 20 Intro to Intensional Logic G 1, 2.1

16.

Feb. 22 Intensional propositional logic G 2

17.

Feb. 24 More Intensional propositional logic G 2

18.

Feb. 27 Intensional predicate logic G 3

19.

Mar. 1 More Intensional Predicate Logic G 3

Mar. 3 No class G 3

20.

Mar. 6 More Intensional Predicate Logic G 3, 4

21.

Mar. 8 Intensional Theory of Types G 5

22.

Mar. 10 Semantics and Intensions G 6

Mar. 13-17 Spring Break
23. Mar. 20 Montague grammar G 6

24.

Mar. 22 More Montague grammar G 6

25.

Mar. 24 Montague grammar G 6

26.

March 27 Montague grammar & Partial Orders G 6

27.

Mar. 29 Lattices

Mar. 31 Holiday - Chavez Day

28.

April 3 Boolean Algebras

29.

April 5 Generalize logical ops

30.

April 7 Plurals

31.

April 10 Quantifiers & Scope Ambiguities BB 3

32.

April 12 Quantifiers & Scope Ambiguities BB 3

33.

April 14 Quantifiers & Scope Ambiguities BB 3

34.

April 17 Quantifiers & Scope Ambiguities BB 3

35.

April 19 Quantifiers & Scope Ambiguities BB 3

36.

April 21 No class

37.

April 24 No class BB 3

38-40.

April 26 - May 1 Final Projects

41.

May 3 Summary


ML Programs from classTopInstructor & TextLectures and Readings