Créer jeu
Télécharger
Obtenir Plan Académique
Partager le jeu
Intégrez-le à votre plateforme

Vous pouvez intégrer le jeu dans un LMS compatible avec LTI 1.1 ou LTI 1.3 comme Canvas, Moodle ou Blackboard. Les scores seront ainsi automatiquement enregistrés dans le carnet de notes de la plateforme.
Télécharger
Vous avez dépassé le nombre maximum de jeux que vous pouvez intégrer à Google Classroom avec votre Plan actuel.

Pour intégrer autant de jeux que vous le souhaitez dans Google Classroom, vous avez besoin d’un Plan Académique ou un Plan Commerciel.

Vous avez dépassé le nombre maximum de jeux que vous pouvez intégrer à Microsoft Teams avec votre Plan actuel.

Pour intégrer autant de jeux que vous le souhaitez dans Microsoft Teams, vous avez besoin d’un Plan Académique ou un Plan Commerciel.

Le téléchargement du jeu est une fonctionnalité exclusive pour les utilisateurs avec un Plan Académique ou un Plan Commercial.

Obtenez votre Plan Académique ou Plan Commercial dès maintenant et commencez à intégrer vos jeux dans votre LMS, votre site Web ou votre blog.

Si vous le souhaitez, vous pouvez télécharger une jeu de test ici et tester son intégration:

Métodos formales: riddle

Devinette

Parties jouées 0

À propos de cette activité

Riddles sobre métodos formales.

Créé par

Mexico

Téléchargez la version pour jouer sur papier

Créez votre propre jeu gratuite à partir de notre créateur de jeu
Affrontez vos amis pour voir qui obtient le meilleur score dans ce jeu

Top Jeux

%
Anonyme
Anonyme
%
%
%
Vous avez dépassé le nombre maximum de jeux que vous pouvez imprimer avec votre Plan actuel.

Pour imprimer autant de jeux que vous le souhaitez, vous avez besoin d’un Plan Académique ou un Plan Commerciel.

Imprimez votre jeu
Métodos formales: riddle
 

Métodos formales: riddleVersion en ligne

Riddles sobre métodos formales.

par Sanchez Garcia Ashley Meritxel / Plantel 19 / Alumno
1

Modelo que usa ecuaciones para describir sistemas

Pistas

Se usa para representar relaciones

Se relaciona con expresiones matemáticas

2

Modelo que muestra los pasos o estados del sistema

Pistas

Enumera estados posibles

Describe diferentes momentos

3

Modelo que usa reglas para verdad o falsedad

Pistas

Verdadero o falso

Relaciones y operadores

4

Modelo que explica interacción de varias partes simultáneamente

Pistas

Actividades que ocurren a la vez

Concurrencia

5

Ventaja de los métodos formales

Pistas

Menos errores

Resultados más confiables

Voulez-vous vraiment quitter la page ?

En quittant la page, vous perdrez la progression du jeu.