Unua uzo de Spin
Superrigardata laboro pri manĝantaj filosofiistoj
CVFP 2013
CVFP 2013
CVFP 2013
Ligilo
Malafiŝi
Afiŝi
Malafiŝi ĉion
Afiŝi ĉion
Lien
Cacher
Montrer
Cacher tout
Montrer tout
Link
Hide
Show
Hide All
Show All
Superrigardata laboro pri manĝantaj filosofiistoj
Un TP sur le dîner des philosophes.
A tutorial about dinning philosophers.
Unua uzo de Coq en simplegaj programaĵoj.
Un premier cas d’utilisation de Coq pour des programmes très simples.
A first usage of Coq on very simple programs.
Studentoj devas desegne divenigi frazojn per UML-diagramoj (uzdiagramoj, klasdiagramoj, aŭ interagdiagramoj).
Les étudiants doivent faire deviner des phrases à l’aide de diagrammes UML (diagrammes de cas d’utilisations, diagrammes de classes, ou diagrammes de séquence).
Students have to draw and guess sentences using only ULM diagrams (behaviour diagrams, structure diagrams, or interaction diagrams).