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.

Topics
Theoretical computer science, Mathematical logic, Education, Teaching
1.
Ben-ari
,
M.
 (
2001
)
Constructivism in computer science education
.
Journal of Computers in Mathematics and Science Teaching
,
20
(
1) /
 
2001
pp.
45
–
73
.
Google Scholar
 
2.
Gal-ezer
,
J.
,
Harel
,
D.
 (
1999
)
Curriculum and course syllabi for a high-school program in computer science
.
Comp. Sci. Education
,
2
/
1999
(
9
), p.
114
–
147
.
https://doi.org/10.1076/csed.9.2.114.3807
Google Scholar
Crossref
Search ADS
 
3.
Gal-ezer
,
J.
 and
Zur
,
E.
 
The efficiency of algorithms - misconceptions
.
Computers and Education
,
42
(
3
), Elsevier, pp.
215226
,
2004
.
https://doi.org/10.1016/j.compedu.2003.07.004
Google Scholar
Crossref
Search ADS
 
4.
Habiballa
,
H.
,
Kmet
,
T.
 
Theoretical branches in teaching computer science
.
In International Journal of Mathematical Education in Science and Technology.
 
6
/
2004
(
35
), pp.
829
–
841
, Taylor&Francis : Great Britain.
Google Scholar
 
5.
Habiballa
,
H.
,
Kmet
,
T.
 
Mathematical logic and deduction in computer science education
.
In Informatics in Education
,
7
(
1
), pp.
75
–
90
.
2008
.
Google Scholar
Crossref
Search ADS
 
This content is only available via PDF.
© 2018 Author(s).
2018
Author(s)
You do not currently have access to this content.