Institutional Repository

Browsing by Subject "Heuristics"

Browsing by Subject "Heuristics"

Sort by: Order: Results:

  • Enhancing the Established Strategy for Constructing a Z Specification 
    Van der Poll, John A.; Kotze, Paula (2005)
    The Established Strategy for drawing up a Z specification document focuses on a more abstract activity of specification, namely, how to combine schemas but is largely silent about how to construct a schema. Schema ...
  • 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 ...
  • Finding an effective problem-solving heuristic instructional approach for circle geometry 
    Abakah, Fitzgerald (2023-01)
    This research study carried out an investigation into finding a contemporary problem- solving instructional approach that will be effective for teaching and learning of mathematics in South African schools, with specific ...
  • Heuristics for resolution-based set-theoretic proofs 
    Van der Poll, J.A.; Labuschagne, W.A. (1999-07)
    A formal specification language like Z permits the specifier to construct proofs which collaborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...
  • Heuristics for resolution-based set-theoretic proofs 
    Van der Poll, JA; Labuschagne, WA (South African Computer Society (SAICSIT), 1999)
    A formal specification language like Z permits the specifier to construct proofs which corroborate the aptness of the spec­ification. This process may be facilitated by establishing a partnership between the specifier and ...
  • 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