May 26, 2024  
2014-2015 Catalog 
    
2014-2015 Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CISS 301 - Formal Languages and Functional Programming


Introduction to discrete structures important to computer science, including sets, trees, functions, and relations. Proof techniques. Introduction to the formal language classes and their machines, including regular languages and finite automata, context free languages and pushdown automata. Turing machines and computability will be introduced. Programming using a functional language is required in the implementation of concepts. Includes lab.

Prerequisites & Notes:
CSCI 145

Credits: 5
Grade Mode: Letter





Add to Portfolio (opens a new window)