Register to study through Unisa

Formal Logic III - COS3761

Diploma,Under Graduate Degree Semester module NQF level: 7 Credits: 12
Module presented in English
Pre-requisite: COS2661 (Not applicable to 98801-AMC & 98801-XAC)
Purpose: To enable students to construct a number of different formal languages (such as opaque or transparent propositional languages, firstorder languages, sorted languages, modal languages and non-monotonic logics) and to solve problems of validity and truth for these languages.