Theme 1: Formal Syntax: Defining the Structure of Language

Lesson 1: Introduction to Syntax and Semantics: Form and Meaning
Lesson 2: Formal Syntax: The Elements and Structure of Language

Theme 2: Functional Programming in ML

Lesson 3: Functional Programming Concepts: Rishi, Devata and Chhandas
Lesson 4: Type Declarations: Ensuring Action in Accord with Natural Law
Lesson 5: Higher Order Functions I: Harnessing the Organizing Power of Natural Law
Lesson 6: Higher Order Functions II: Harnessing the Organizing Power of Natural Law
Lesson 7: Functional Programming: The Vedic Language of Nature

Theme 3: Denotational Semantics: Principles

Lesson 8: Introduction to Denotational Semantics: The Basis of All Possibilities
Lesson 9: Stores: Perceiving the Fullness of Life
Lesson 10: Environments & Bindings: Perceiving the Fullness of Life

Lesson 11: Abstractions: Operating at the Most Powerful Level of Creation

Theme 4: Denotational Semantics:  Applications

Lesson 13: Semantic Prototyping:  Knowledge has Organizing Power

Theme 5: Denotational Semantics:  Theory

Lesson 14: Continuation Semantics: Transformations in the Gap
Lesson 15: Continuation Semantics Models: Defining in terms of Wholeness
Lesson 16: Lambda Calculus I: Transformations, the Basis of Evolution

Lesson 17: Lambda Calculus II: Self-Referral and Recursion

SCHEDULE

Theme 1:  Formal Syntax: Defining the Structure of Language

5/20    -       Lesson 1
                Introduction to Syntax and Semantics: Form and Meaning

5/24    -       Lesson 2
                Formal Syntax: The Elements and Structure of Language
 

Homework solutions for lessons 1 and 2.
 

Theme 2:  Functional Programming in ML

5/29            -       Lesson 3
                Functional Programming Concepts: Rishi, Devata and Chhandas
                Reading: [Michaelson]--Chapter 9.1-11, pp. 207-221
                Exercises:  9.1, 2, 3abc

Homework solutions for lesson 3.
 


6/3            -       Lesson 4
                Type Declarations: Ensuring Action in Accord with Natural Law
                Reading: [Michaelson]--Chapter 9.12-16, pp. 221-230
                Exercises:  9.3f, 5

Homework solutions for lesson 4.
 

6/7             -       Lesson 5
                Higher Order Functions I: Harnessing the Organizing Power of Natural Law
                Reading: [Michaelson]--Chapter 9.17-20, pp. 230-238
                Exercises:  9.6

Homework solutions for lesson 5.
 


6/12             -       Lesson 6
                Higher Order Functions II: Harnessing the Organizing Power of Natural Law
                Exercises:  [Watt-1]  -- 13.7, 9, [10]

Homework solutions for lesson 6.
 

6/17            -       Lesson 7
                Functional Programming: The Vedic Language of Nature
 

Homework solutions for lesson 7.
 
Theme 3: Denotational Semantics: Principles

6/21            -       Lesson 8
                Introduction to Denotational Semantics: The Basis of All Possibilities
                Reading:  Watt--Chapter 3.1, pp. 49-56
                Exercises: 3.1, 3.2, 3.3, 3.4

Homework solutions for lesson 8.
 

6/26            -       Lesson 9
                Stores: Perceiving the Fullness of Life
                Reading:  Watt--Chapter 3.2, pp. 56-61
                Exercises: 3.5, 3.6

Homework solutions for lesson 9.
 

Examples of Environments.
 

7/1            -       Lesson 10
                Environments & Bindings: Perceiving the Fullness of Life
                Reading:  Watt--Chapter 3.3, pp. 61-71
                Exercises: 3.8, 3.9, 3.10, 3.11

7/11             -       Lesson 11
                Abstractions: Operating at the Most Powerful Level of Creation
                Reading:  Watt--Chapter 3.4,  pp. 71-80
                Exercises: 3.12, 3.14, 3.15, 3.17

Theme 4:  Denotational Semantics:  Applications

7/10            -       Lesson 13
               
                ~ Contextual Constraints:  Spontaneous Right Action
                ~ Reading:  Watt--Chapter 4.2 - 4.3, pp. 108-113
                Semantic Prototyping:  Knowledge has Organizing Power
                Reading:  Watt--Chapter 4.4 - 4.5
                Exercises (4.6), 4.8, 4.11, 4.12, 4.13, 4.9
                Assign: Denotational Semantics Lab
 
Theme 5: Denotational Semantics: Theory

7/15            -       Lesson 14
                Continuation Semantics: Transformations in the Gap
                Reading: Tennent--Chapter 13.1-3, pp. 211-223
                Exercises (13.6), 13.7, 13.8

7/20             -       Mid-term Exam
               

7/24            -       Lesson 15
                Continuation Semantics Models: Defining in terms of Wholeness
                Reading: Tennent--Chapter 13.4,7, pp. 223-229, 235-6
                Exercises 13.9, 10, 12
                Assignment: Redefine IMP in continuation semantics model

7/29            -       Lesson 16
                Lambda Calculus I: Transformations, the Basis of Evolution
                Reading:  Study Notes and Handout

8/2             -       Lesson 17
                Lambda Calculus II: Self-Referral and Recursion
                Reading:  Study Notes and Handout

8/10             -       Final Exam

                ________________________________________
Notation:



(xx) = Read for general concepts.


 
 
[xx] = Skim pages, note topics, use for reference.
{xx} = Skip pages.