Class Notes in Computer Science (First Edition)

Roger L Goodwin

MPRA Paper from University Library of Munich, Germany

Abstract: These notes cover discrete structures and the theory of computer science.

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 (search for similar items in EconPapers)
JEL-codes: Y9 (search for similar items in EconPapers)
Date: 2015-09-25
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://mpra.ub.uni-muenchen.de/66921/1/MPRA_paper_66921.pdf original version (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:pra:mprapa:66921

Access Statistics for this paper

More papers in MPRA Paper from University Library of Munich, Germany Ludwigstraße 33, D-80539 Munich, Germany. Contact information at EDIRC.
Bibliographic data for series maintained by Joachim Winter ().