|
May 02, 2024
|
|
|
|
CAS *732 / Logical Foundations of Computer Science3 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)
|
|