Department of Computer Science @ UNCW

---

/HyunBumKim/Teaching/Computer Networks_Fall_2016

Formal Languages and Computability (CSC 360, Section 001)
Fall 2016

Catalog Description

An introduction to theoretical computer science. This course covers the topics: regular expression and finite state concepts; basic automata theory; formal grammars and languages; computability; Turing machines; elementary recursive function theory.

Instructor Information

• Instructor: Dr. HyunBum Kim
• Office: CIS 2044
• Phone: (910) 962-2160
• E-mail: kimh@uncw.edu
• Office hours: Mon/Wed 3:00 pm - 5:00 pm and by appointment

Course Information

• Lecture hours
  MWF 1:00 pm - 1:50 pm
• Class room
  CIS 1012
• Textbook
  Automata, Computability, and Complexity: Theory and Applications by Elaine Rich
  Publisher: PEARSON
  ISBN 978-0-13-228806-4
  Prerequisites: CSC 231, CSC 242
• Course syllabus: [PDF]