Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

> Publ3 search

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...

Typ záznamu:	stať ve sborníku (D)
Domácí pracoviště:	Katedra informatiky a počítačů (31400)
Název:	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.

Podnázev
Rok vydání:	2017
Obor:	Informatika
Počet stran:	4
Strana od:	0700061
Strana do:	0700064
Forma vydání:	Tištená verze
Kód ISBN:	9780735415386
Kód ISSN:	0094-243X
Název sborníku:	AIP Conference Proceedings
Sborník:	Mezinárodní
Název nakladatele:	American Institute of Physics Inc.
Místo vydání:	New York
Stát vydání:	Sborník vydaný v zahraničí
Název konference:	ICNAAM 2016
Místo konání konference:	Rhodes, Greece
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
Kód UT WoS:	000410159800078
EID:	2-s2.0-85026637049

Klíčová slova anglicky:	computer science education, logic
Popis v původním jazyce:	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.
Popis v anglickém jazyce:

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17310/17:A1801O3R

Complementary Content

${loading}