2009
Teaching Concurrency: Theory in Practice
ACETO, Luca; Anna INGOLFSDOTTIR; Kim G. LARSEN a Jiří SRBAZákladní údaje
Originální název
Teaching Concurrency: Theory in Practice
Název česky
Concurrency výuky: teorie v praxi
Autoři
ACETO, Luca; Anna INGOLFSDOTTIR; Kim G. LARSEN a Jiří SRBA
Vydání
Netherlands, Proceedings of 2nd International FME Conference on Teaching Formal Methods (TFM'09), pages 158-175, volume 5846 of LNCS, Springer-Verlag, 2009. od s. 158-175, 18 s. 2009
Nakladatel
Springer Verlag
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Nizozemské království
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Impakt faktor
Impact factor: 0.402 v roce 2005
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/09:00067165
Organizační jednotka
Fakulta informatiky
ISBN
978-3-642-04911-8
ISSN
UT WoS
Klíčová slova anglicky
teaching concurrency; tools; semantics and verification
Změněno: 30. 4. 2014 05:54, RNDr. Pavel Šmerk, Ph.D.
V originále
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students in these areas, on the other hand there are more and more students being accepted with less adequate skills in mathematics. We report here on our experiences in teaching concurrency theory over the last twenty years or so to students ranging from mathsphobic bachelor students to sophisticated doctoral students. The contents of the courses, the material on which they are based and the pedagogical philosophy underlying them are described, as well as some of the lessons that we have learned over the years.
Česky
Vyučovací předměty, které se spoléhají na zvuk matematických principů je dnes náročný úkol na mnoha univerzitách. Na jedné straně existuje zvýšená poptávka po vzdělávání studentů v těchto oblastech, na druhé straně existuje více a více studentů bude přijata méně adekvátní dovednosti v matematice. Máme tady zprávu o naše zkušenosti s výukou Concurrency Theory za posledních dvacet let, nebo tak, aby studenti, od mathsphobic studentů bakalářského až po sofistikované doktorandy. Obsah kurzů, materiálu, na nichž jsou založeny, a pedagogickým přístupem podkladových jsou popsány, stejně jako některá z poučení, které jsme se naučili během let.
Návaznosti
| MSM0021622419, záměr |
|