This unit provides an introduction to the foundations of computational models, and their connection to programming languages/tools. The unit covers various abstract models for computation including Lambda Calculus, and Logic calculi (e.g. concept of formal proofs in propositional, predicate, and temporal logic). For each abstract model, we introduce programming languages/tools that are built on the introduced abstract computational models. We will discuss functional languages including Scheme/Haskell, and Prolog/Datalog.
Unit details and rules
Academic unit | Computer Science |
---|---|
Credit points | 6 |
Prerequisites
?
|
Distinction level result in INFO1103 OR INFO1903 OR INFO1113 |
Corequisites
?
|
None |
Prohibitions
?
|
COMP2022 |
Assumed knowledge
?
|
(MATH1004 OR MATH1904 OR MATH1064 OR MATH2069 OR MATH2969) AND (INFO1105 OR INFO1905 OR COMP2123 OR COMP2823) |
Available to study abroad and exchange students | No |
Teaching staff
Coordinator | Sasha Rubin, sasha.rubin@sydney.edu.au |
---|