Using spreadsheets for solving logic puzzles

MaRDI QIDQ2995634zbMATH OpenFDO

Authors Mária Bakó, László Aszalós

Publication date 4 May 2011

zbMATH Keywords

case-based deductionlogic puzzlesmechanical theorem provingspreadsheets

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Logic (educational aspects) (97E30) Computer science (educational aspects) (97P99)

Recommendations

• scientific article; zbMATH DE number 3893163
• scientific article; zbMATH DE number 2065276
• scientific article; zbMATH DE number 2043395
• The Deductive Spreadsheet
• From predicate logics to management decision support

Cited in

(2)

• The Deductive Spreadsheet
• From predicate logics to management decision support

Describes a project that uses

Uses Software

• Excel

This page was built for publication: Using spreadsheets for solving logic puzzles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2995634)