COMP2214 - Tutorial 02 - Deductive Proof (Predicate Logic and Set Theory)

LoadingLoading previews...
Instruction
Text Creative Commons: Attribution-Noncommercial-Share Alike 4.0
Download (113kB)
    Instruction
    Instruction
    Tut02_PredLogic.zip
    Tut02_PredLogic.zip
    Tut02_SetThy.zip
    Tut02_SetThy.zip
    Tut02_RichPoor.zip
    Tut02_RichPoor.zip
    Tut02_PredLogic_sol.zip
    Tut02_PredLogic_sol.zip
    7 files in this resource

    COMP2214 - Tutorial 02 - Deductive Proof (Predicate Logic and Set Theory)

    Exercises for Predicate Logic and Set Theory Proof in Rodin Platform

    Actions (login required)

    View Item View Item

    Toolbox

    There are no actions available for this resource.