Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Record type:	stať ve sborníku (D)
Home Department:	Katedra informatiky a počítačů (31400)
Title:	Constructivistic Mathematical Logic Education
Citace	Habiballa, H. a Jendryščík, R. Constructivistic Mathematical Logic Education. In: International Conference of Computational Methods in Sciences and Engineering 2017: AIP Conference Proceedings 2040 2018 Rhodes, Greece. MELVILLE, NY USA: AIP Publishing Inc., 2018. s. 0300061-0300064. ISBN 978-073541766-3.

Subtitle
Publication year:	2018
Obor:	Informatika
Number of pages:	4
Page from:	0300061
Page to:	0300064
Form of publication:	Tištená verze
ISBN code:	978-073541766-3
ISSN code:	0094-243X
Proceedings title:	AIP Conference Proceedings 2040
Proceedings:	Mezinárodní
Publisher name:	AIP Publishing Inc.
Place of publishing:	MELVILLE, NY USA
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	International Conference of Computational Methods in Sciences and Engineering 2017
Conference venue:	Rhodes, Greece
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:	000467966400025
EID:	2-s2.0-85058665765

Key words in English:	computer science education, logic
Annotation in original language:	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 inteaching. Then we demonstrate educational tools used in the experiment currently realized in the frame of Theoretical ComputerScience course for bachelor level studies on University of Ostrava. These tools include propositional logic analyser Bachelor orAutomated Deduction tools developed on Univ. of Ostrava.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17310/18:A2101VYD

Complementary Content

${loading}