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

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

Podnázev
Rok vydání:	2018
Obor:	Informatika
Počet stran:	4
Strana od:	0300061
Strana do:	0300064
Forma vydání:	Tištená verze
Kód ISBN:	978-073541766-3
Kód ISSN:	0094-243X
Název sborníku:	AIP Conference Proceedings 2040
Sborník:	Mezinárodní
Název nakladatele:	AIP Publishing Inc.
Místo vydání:	MELVILLE, NY USA
Stát vydání:	Sborník vydaný v zahraničí
Název konference:	International Conference of Computational Methods in Sciences and Engineering 2017
Místo konání konference:	Rhodes, Greece
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků akce:	Celosvětová akce
Kód UT WoS:	000467966400025
EID:	2-s2.0-85058665765

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

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17310/18:A2101VYD

Complementary Content

${loading}