Abstract | ||
---|---|---|
This is a report on the second of a two course sequence in discrete mathematics taught at Ithaca College. The course covers three topics, combinatorics, finite state automata and regular languages and verification theory, and is a prerequisite for a theoretical course in computer science. The emphasis in this paper is the half semester spent teaching verification theory. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1145/164205.164213 | ACM SIGCSE Bulletin |
Keywords | DocType | Volume |
discrete mathematics,theoretical course,verification theory,ithaca college,course sequence,computer science,finite state automaton,regular language,half semester,finite state automata | Journal | 25 |
Issue | Citations | PageRank |
4 | 1 | 0.35 |
References | Authors | |
2 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
David T. Brown | 1 | 65 | 194.74 |