|
Apr 28, 2024
|
|
|
|
CAS 732 / Logical Foundations of Computer Science 3 unit(s)
J. Zucker
A solid logical and mathematical foundation for reasoning about software and software descriptions is provided. Topics include: introductory concepts in set theory (sets, relations, functions, etc.); various logics (first order, higher order, equational, conditional equational); many-sorted algebras; initial algebra semantics for equational and conditional equational theories.
Add to Favourites (opens a new window)
|
|