OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
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 * : 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ů akce * :
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 * :
Typ zdroje financování výsledku * : Specifický výzkum
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01: RIV/61988987:17310/17:A1801O3R

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
Complementary Content
  • ${title}${badge}
${loading}