Whereas the research of the 19th-century mathematician Augustus De Morgan in formal logic is fairly familiar to historians of mathematics, his work in probability is largely unknown to the modern reader. For this reason, few would be aware that this work contains a self-admitted error in probabilistic reasoning. This mistake is intriguing not only because it features in the work of someone who ...

Teaching precise mathematical reasoning can be very hard. It is very easy for a student to make a subtle mistake in a proof which invalidates it, but it is often hard for the teacher to pinpoint and explain the problem in the (often chaotically written) student’s proof. We present Easyprove, an interactive proof assistant aimed at first year computer science students and high school students, i...

In this paper one solution for teaching skills to construct the control object frequency characteristics method is described. Student’s mistakes are discovered and classified. Based on signal-parametric approach to fault diagnosis in dynamic systems mathematical diagnostic models which allow detecting mistake classes by comparing student calculated results and system calculated results are crea...