Sign In With Google
Course Description
-
Course Name
Formal Foundations of Programming
-
Host University
Victoria University of Wellington
-
Location
Wellington, New Zealand
-
Area of Study
Computer Engineering, Computer Programming
-
Language Level
Taught In English
-
Prerequisites
COMP 103, ENGR 123 or MATH 161
-
Course Level Recommendations
Upper
ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.
-
Credit Points
15 -
Recommended U.S. Semester Credits3 - 4
-
Recommended U.S. Quarter Units4 - 6
Hours & Credits
-
Overview
This course introduces a selection of topics, focusing on the use of formal notations and formal models in the specification, design and analysis and engineering of programs, languages and machines. Topics covered will include finite state machines, formal languages and grammars, operational semantics, and specifying and analysing systems using software tools for formal specification.
Course Disclaimer
Courses and course hours of instruction are subject to change.
Eligibility for courses may be subject to a placement exam and/or pre-requisites.
Some courses may require additional fees.
Credits earned vary according to the policies of the students' home institutions. According to ISA policy and possible visa requirements, students must maintain full-time enrollment status, as determined by their home institutions, for the duration of the program.
Please reference fall and spring course lists as not all courses are taught during both semesters.
Availability of courses is based on enrollment numbers. All students should seek pre-approval for alternate courses in the event of last minute class cancellations
Please note that some courses with locals have recommended prerequisite courses. It is the student's responsibility to consult any recommended prerequisites prior to enrolling in their course.