|Module code||COS 741|
|Faculty||Faculty of Engineering, Built Environment and Information Technology|
The status of Computer Science, including software science, as a proper “science” is closely related with our ability to construct accurate and precise models of the structures and processes of computational systems. The precision of these models is closely related with our ability to express them in formal notations with mathematical rigour, such that it also becomes possible to reason formally about relevant and interesting properties of these models. Examples of such interesting properties are logical consistency (i.e. absence of inherent contradictions), or safety properties such as deadlock freeness. This modules focuses on formal languages and techniques which are suitable for such purposes. Of particular importance are process algebras with which systems of parallel and concurrent computation can be formally described. Other suitable formalisms may be discussed as well, such that the contents of this module may slightly vary from year to year.
|Contact time||2 lectures per week|
|Language of tuition||English|
|Academic organisation||Computer Science|
|Period of presentation||Semester 1 or Semester 2|
Copyright © University of Pretoria 2023. All rights reserved.
COVID-19 Corona Virus South African Resource Portal
To contact the University during the COVID-19 lockdown, please send an email to [email protected]
Get Social With Us
Download the UP Mobile App