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:

  • Evaluating reasoning heuristics for a hybrid theorem proving platform 
    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 ...
  • Formal methods adoption in the commercial world 
    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. ...
  • Validating reasoning heuristics using next generation theorem provers 
    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