Essays about: "Predicate logic"
Found 2 essays containing the words Predicate logic.
University essay from Göteborgs universitet/Institutionen för data- och informationsteknik
Abstract : The subject of this thesis is the presentation and evaluation of Conan, an editor forwriting natural deduction proofs in first-order logic. The intent is for the editor toserve as a supplementary tool alongside a course in logic. READ MORE
University essay from Uppsala universitet/Institutionen för informationsteknologi
Abstract : During the formal analysis of a computerized railway control system, it may be difficult to understand if a found counterexample to a requirement is a scenario which can happen in the real world or not. By putting sensible constraints on the inputs to the system, i.e. READ MORE