Goodwin, Roger L (2015): Class Notes in Computer Science (First Edition).
Preview |
PDF
MPRA_paper_66921.pdf Download (1MB) | Preview |
Abstract
These notes cover discrete structures and the theory of computer science.
Item Type: | MPRA Paper |
---|---|
Original Title: | Class Notes in Computer Science (First Edition) |
English Title: | Class Notes in Computer Science (First Edition) |
Language: | English |
Keywords: | math models, methods of proof, assertions, proof techniques, math reasoning, reasoning problems, predicates, quantifiers, negation, sets, operators, operations, venn diagrams, binary relationsips, graph theory, formal languages, productions, lambda productions, grammars, context free grammars, computations, formal computations, recursion, mu recursion, primitive recursion, computable functions, flow charts, while language, goto language, languages, regular languages, pushdown automata, automata, parsing, regular expressions |
Subjects: | Y - Miscellaneous Categories > Y9 - Other |
Item ID: | 66921 |
Depositing User: | Mr. Roger L Goodwin |
Date Deposited: | 26 Sep 2015 10:38 |
Last Modified: | 28 Sep 2019 22:47 |
References: | 1. R. McNaughton, Elementary Computability, Formal Languages, and Automata, Printice-Hall, Inc., Englewood Cliffs, New Jersey, 1982. 2. D. Stanat and D. F. McAllister, Discrete Mathematics in Computer Science, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1977. |
URI: | https://mpra.ub.uni-muenchen.de/id/eprint/66921 |