CAS 738

Algebraic Methods in Software Engineering and Computer Science

Graduate

Winter 2026 · 1_KHEDRI

Topics

Weeks 1 and 2: Recall of Basic Mathematical Concepts: Sets, Relations, Formal logics, proposition logic, and first-order predicate calculus
Weeks 3 and 4: Structures and theories, models, validity of a formula, constructions of algebras
Weeks 10 and 11: Algebraic techniques in information security: Covert channels, Network segmentation and Software Defined networks, and Cryptographic Protocols
Weeks 12 and 13: Algebraic techniques in data analytics and domain modeling

Applied Abstract Algebra.
Rudolf Lidl and Gunter Pilz · 1998 · Recommended / optional
Springer
Post-Modern Algebra
Jonathan D. H. Smith and Anna B. Romanowska · 1999 · Recommended / optional
Wiley-Interscience Series in Pure and Applied Mathematics, Wiley Inter-Science
Relations and Graphs
G. Schmidt and T. Str ̈ohlein · 1993 · Recommended / optional
EATCS Monographs in Computer Science, Springer-Verlag
Relation Algebras by Games
Robin Hirsch and Ian Hodkinson · 2002 · Recommended / optional
Elsevier
Model Theory: An Introduction
David Marker · 2002 · Recommended / optional
Graduate Texts in Mathematics, Springer

Sources