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:	Implementation of the non-clausal resolution theorem prover in education of theoretical computer science
Citace	Habiballa, H. Implementation of the non-clausal resolution theorem prover in education of theoretical computer science. In: Information and Communication technology in education 2002: Proceedings 20020910 Rožnov p.R.. Ostrava: PřF OU, 2002. PřF OU, 2002. s. 203-210. ISBN 80-7042-828-7.

Podnázev
Rok vydání:	2002
Obor:	Pedagogika a školství
Počet stran:
Strana od:	203
Strana do:	210
Forma vydání:
Kód ISBN:	80-7042-828-7
Kód ISSN:
Název sborníku:	Proceedings
Sborník:
Název nakladatele:	PřF OU
Místo vydání:	Ostrava
Stát vydání:	Sborník vydaný v ČR
Název konference:	Information and Communication technology in education 2002
Místo konání konference:	Rožnov p.R.
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků akce:	Celostátní akce
Kód UT WoS:
EID:

Klíčová slova anglicky:	none
Popis v původním jazyce:	The article analyzes how to integrate application concept in education of theoretical computer science. It presents didactic tool, which helps students to understand mechanisms of logical inference and inference strategies through programming techniques.
Popis v anglickém jazyce:

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17310/02:00000031

Complementary Content

${loading}