Institutional Repository

Browsing Electronic Theses and Dissertations by Subject "First-order logic"

Browsing Electronic Theses and Dissertations by Subject "First-order logic"

Sort by: Order: Results:

  • Ackermann, Jacobus Gideon (2018-06)
    The formalisation of first-order logic and axiomatic set theory in the first half of the 20th century—along with the advent of the digital computer—paved the way for the development of automated theorem proving. In the ...
  • Nemathaga, Aifheli (2020-10)
    There have been numerous studies on formal methods but little utilisation of formal methods in the commercial world. This can be attributed to many factors, such as that few specialists know how to use formal methods. ...
  • Steyn, Paul Stephanes (2009-01)
    The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that ...

Search UnisaIR


Browse

My Account