RMU C&IS Department

Applications of Discrete Analysis/Discrete Mathematics:
Topics, Resources, and Web Links
for Information Science and Information Systems Management

Relevant RMU Courses:

· INFS3450 - Quantitative Analysis for Information Systems Professionals – General Course Resources – Contacts: Prof. Valerie J. Harvey, C&IS; Prof. Peter Y. Wu, C&IS; Prof. Greg Holdan, Mathematics Education, Prof. David Wood, Head, C&IS

· MATH4000 - Discrete Mathematics – Contacts: Prof. Andris Niedra, Mathematics; Prof. Alan Lias, Head, Mathematics

Topics and Links (see also INFS3450 resources):

· Logic - Truth Tables

· Sets

· Sequences and Strings

· Number Systems and Representation of Numbers

· Relations, Functions, and Operators – Strict Partial Orders

· Counting, Randomization, Permutations, and Combinations

· Relational Database Concepts

· Algorithms and Recursion

· Codes, Encryption, and Compression

· Graphs and Trees

· Automata and Pattern Matching - State Transition Diagrams

· Documentation of Computer Languages - BNF

Textbook and reference resources

Software resources

RMU Libraries - Resources - Principal Dewey System Ranges:

v 005+ Computer Science

Ø 005.72 Data Preparation and Representation, Record Formats

v 160+ Logic and symbolic logic within the context of philosophy

Ø 160 Logic

Ø 164 Symbolic Logic (see also 511.3)

Ø 166 Syllogisms (see also 511.32)

v 510+ Mathematics, including discrete mathematics topics (logic, set theory, graph theory, etc.)

Ø 511.3 Mathematical Logic (see also 164)

Ø 511.32 Sets (see also 166)

Ø 511.322 Set Theory

Ø 511.5 Graph Theory

Ø 511.6 Combinatorial Analysis, including Algebraic Combinatorics, Combinatorial Configurations and Designs

Ø 512.7 Number Theory

Ø 512.81 Set Theory (see also 511.32 and 511.322)

Ø 513.2 Arithmetic Operations

Ø 519 Probabilities and Applied Mathematics

Library Resources (in RMU Libraries) - a few selected volumes:

· Copi, Irving M., Introduction to Logic, 5th ed. (Macmillan, 1978) - 160 C783i5

· Diestel, Reinhard, Graph Theory (Springer, 2000) - 511.5 D564g 2000

· Halmos, Paul R, Naive Set Theory ( Springer-Verlag, 1974 - 1987 printing) - 511.3 H194n

· Hoban, Tana. More, fewer, less (Greenwillow Books, 1998) - 513.2 H681m

· Lipschutz, Seymour, Schaum's Outline of Theory and Problems of Set Theory and Related Topics ( McGraw-Hill, 1964) - 512.81 L767s

· Rosen, Kenneth H. and Michaels, John G., eds., Handbook of Discrete and Combinatorial Mathematics (CRC Press, 2000) - 511.6 H236h 2000

· Stoll, Robert Roth, Set Theory and Logic (W. H. Freeman, 1963) - 512.817 S875s

Applications

· Databases - SQL: Jalal Kawash, University of Calgary, at http://pages.cpsc.ucalgary.ca/~kawash/papers/wccce00.html and [KAW1998].

· Logic Programming/Prolog – Mereotopological Reasoning, C. Pontow and R. Schubert, Universität für Medizinische Informatik und Technik Tirol (UMIT, Institut für Medizinische Wissensrepräsentation und Visualisierung = Institute for Medical Knowledge Representation and Visualization), Innsbruck, Austria; see: http://imwv.umit.at/Publikationen/PublikationenamIMWV.htm

Semantics

· Numbers and Meaning

Contact: Valerie J. Harvey, RT(R), PhD, C&IS, Robert Morris University