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:	Formal logic rewrite system bachelor in teaching mathematical informatics
Citace	Habiballa, H. a Jendryščík, R. Formal logic rewrite system bachelor in teaching mathematical informatics. In: ICNAAM 2016: AIP Conference Proceedings 2016 Rhodes, Greece. New York: American Institute of Physics Inc., 2017. s. 0700061-0700064. ISBN 9780735415386.

Subtitle
Publication year:	2017
Obor:	Informatika
Number of pages:	4
Page from:	0700061
Page to:	0700064
Form of publication:	Tištená verze
ISBN code:	9780735415386
ISSN code:	0094-243X
Proceedings title:	AIP Conference Proceedings
Proceedings:	Mezinárodní
Publisher name:	American Institute of Physics Inc.
Place of publishing:	New York
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	ICNAAM 2016
Conference venue:	Rhodes, Greece
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:	000410159800078
EID:	2-s2.0-85026637049

Key words in English:	computer science education, logic
Annotation in original language:	The article presents capabilities of the formal rewrite logic system - Bachelor - for teaching theoretical computer science (mathematical informatics). The system Bachelor enables constructivist approach to teaching and therefore it may enhance the learning process in hard informatics essential disciplines. It brings not only detailed description of formal rewrite process but also it can demonstrate algorithmical principles for logic formulae manipulations.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17310/17:A1801O3R

Complementary Content

${loading}