Programming Language Theory and Practice

Fall 2018
Winter 2019
Spring 2019
Olympia
Day
Sophomore - Senior
Class Size: 50
8 16 Credits per quarter
Log in to add this offering to your saved list.
Taught by

This program will explore what computers can do, how we get them to do it, and what they can't do. It is designed for advanced computer science students and students with an interest in both mathematics and computer science. The program covers topics selected from formal computer languages, computability theory, type theory, programming language design, and artificial intelligence. Students will also study a functional programming language, Haskell; learn the theoretical basis of programming languages; and do an in-depth comparison of properties and capabilities of languages in the four primary programming paradigms: functional, logic, imperative, and object-oriented. Topics are typically offered in three or four of the following threads of study: The Formal Languages thread extends for two quarters and covers the theoretical basis of language definitions, concluding with a study of what is computable. The Functional Language thread extends for two quarters and covers advanced programming techniques using the programming language Haskell. The Type Theory and Programming Language thread covers both the theoretical basis and practical implementation of types and programming languages and extends for two quarters. The Artificial Intelligence thread begins in winter and covers machine-learning and techniques for building intelligent programs, along with related topics in programming languages and computability. The spring topics are still under development. (Neal Nelson FW, Sheryl Shulman FS) 

Registration

Enrollment Conditions

Signature required . Send an email with a list of programs and courses and course credits or credit equivalencies to demonstrate you have met the prerequisite to Sherri Shulman (sherri@evergreen.edu). Students applying between June 15 and September 20 will be given priority. New students accepted in winter with signature . Students entering winter quarter may register only for a maximum of 8 credits. Send an email with a list of programs and courses and course credits or credit equivalencies to demonstrate you have met the prerequisite to Neal Nelson (nealn@evergreen.edu). Students applying between between September 30 and December 31 will be given priority.

Prerequisites

Students must have completed Computer Science Foundations or equivalent: 10  credits of computer programming, 8 credits of discrete mathematics, and 4 credits of computer architecture.

Fall 2018 Registration

Signature Required

Send an email with a list of programs and courses and course credits or credit equivalencies to demonstrate you have met the prerequisite to Sherri Shulman (sherri@evergreen.edu). Students applying between between June 15 and September 20 will be given priority.

Course Reference Numbers

So - Sr (16): 10142
(1 - 16): 10291
Winter 2019 Registration

Signature Required

Students entering winter quarter may only register for a maximum of 8 credits. Send an email with a list of programs and courses and course credits or credit equivalencies to demonstrate you have met the prerequisite to Neal Nelson (nealn@evergreen.edu). Students applying between September 30 and December 31 will be given priority.

Course Reference Numbers

So - Sr (16): 20091
So - Sr (8): 20092
(1 - 16): 20184
Spring 2019 Registration

Signature Required

Students entering Spring quarter may only register for a maximum of 8 credits. Send an email with a list of programs and courses and course credits or credit equivalencies to demonstrate you have met the prerequisite to Sherri Shulman (sherri@evergreen.edu)

Course Reference Numbers

So - Sr (16): 30319
So - Sr (8): 30324
(1 - 16): 30340

Academic details

Fields of Study
Preparatory For

computer science, mathematics, science, and education.

Credits
8
16
Maximum Enrollment
50
Class Standing
Sophomore
Junior
Senior
Upper Division Science Credit

Students may earn up to 16 upper division science credits per quarter in computer science.

Schedule

In Person or Remote
Hybrid (F)
Hybrid (W)
(S)
Time Offered
Day
Schedule Evergreen link
see Schedule Evergreen for detailed schedule

First Meeting

LIB 2610 - Mac Lab
Location
Olympia

Revisions

Date Revision
2018-11-30 Richard Weiss added to faculty team for winter and spring at 4 credits
2018-08-31 adjusted program description
2018-08-22 updated program to reflect FWS quarters, and faculty teaching loads
2018-08-14 Updated description to include faculty teaching distinctions per quarter