You are here: Home Current Students Courses 300 Level 20 CS 323: Functional and Logic Programming
Document Actions

20 CS 323: Functional and Logic Programming

Syllabus:
Learning Objectives:
Course Number 20 CS 323
Credit Hours 3 Undergraduate
Prerequisites 20 CS 228
Catalog Data
Introduction to functional and logical programming styles and languages used to support them. Prerequisites: CS/CS 228 and PHIL 341.
Textbooks Determined by the instructor, based upon which functional language and which logic programing language are chosen.
References
None
Prerequisites by Topic
Data structures (CS 228 or equivalent). Familiarity with first order logic
Goals
  1. Students will program in a functional programming style, including heavy use of recursion and applicative programming.
  2. Students will program in a logic programming style, including elementary knowledge representation.
  3. Students will gain experience in teaching themselves, from textbooks or reference manuals, language details or features not covered in class
Topics
  1. Logic programming: approximately 50% of classes.
  2. Functional programming : approximately 50% of classes.

Detailed syllabus to be designed by professor
Computer Usage
College of Computing PC labs
Labs
There is no organized laboratory. There are 4-12 programming assignments. The instructor will choose one functional programming language (e.g, Common LISP, Scheme, ML, or Haskell) and one logic programming language (e.g., Prolog or FRIL). <br />
Estimated ABET
Engineering science 75% Engineering design 25%
Prepared By John Schlipf, Ph.D. on 2006/04/01