Introduction to grammars and parsing; predicate and propositional logic; proof techniques; sets, functions, relations, relational data model; graphs and graph algorithms.
Course Objectives »
| Credits: | 3 |
|---|---|
| Prerequisites: | CS 235 |
| 2010 | 2011 | 2012 | 2013 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Win | Spr | Sum | Fall | Win | Spr | Sum | Fall | Win | Spr | Sum | Fall | Win | Spr | Sum | Fall |
| Offerings from the past year | |||||
|---|---|---|---|---|---|
| Semester | Instructor | Website | |||
| Fall 2009 | Woodfield, Scott | http://students.cs.byu.edu/~cs236ta | |||
| Fall 2009 | Seppi, Kevin | http://students.cs.byu.edu/~cs.../fall2009/ | |||
| Summer 2009 | grad, cs | http://sedna.cs.byu.edu/~brick...6Summer09/ | |||
| Spring 2009 | Barker, Cory | http://code.cs.byu.edu/~cs236/spring2009 | |||
| Winter 2009 | Woodfield, Scott | http://students.cs.byu.edu/~cs236ta | |||
| Winter 2009 | Embley, David | http://students.cs.byu.edu/~cs236ta/ | |||