scientific article; zbMATH DE number 954083

MaRDI QIDQ4718441zbMATH OpenFDO

Authors William E. Fenton, Ed Dubinsky

Publication date 5 December 1996

zbMATH Keywords

binary relationsdiscrete mathematicsfunctionsgraphsinductioninfinite setsinteger numbersinteractive SET languagepartial orderspredicate calculusprogramming language ISETLpropositional calculussetstextbooktuples

Mathematics Subject Classification ID

Mathematics in general (00A05) Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to combinatorics (05-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to number theory (11-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• Learning discrete mathematics with ISETL
• scientific article; zbMATH DE number 1478129
• scientific article; zbMATH DE number 976933

Cited in

(2)

• scientific article; zbMATH DE number 1314309 (Why is no real title available?)
• Learning discrete mathematics with ISETL

Describes a project that uses

Uses Software

• ISETL

This page was built for publication:

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