SSP Group Meeting
Wednesday, August 28, 11am
Division of Informatics, 80 South Bridge, Room E17a

Learning Elementary Logic with the LPL Software Package

Marco Schorlemmer

Lateley, I've been looking into Barwise and Etchemendy's teaching methodology based on the LPL Software Package. I'd like to discuss some of the advantages of this methodology by showing a demo of the LPL Software. I'm interested in knowing your opinions about the suitability of this methodology and software tool for learning elementary notions of logic.