Constructivistic mathematical logic education
Hashim Habiballa, Radek Jendryscik · AIP conference proceedings · 2018
The article describes preliminary results and content of experimental education based on constructivism in logic education. We briefly introduce results of our previous experimental education based on constructivism and application concept in teaching. Then we demonstrate educational tools used in the experiment currently realized in the frame of Theoretical Computer Science course for bachelor level studies on University of Ostrava. These tools include propositional logic analyser Bachelor or Automated Deduction tools developed on Univ. of Ostrava.