Créer jeu
Télécharger
Téléchargement SCORM
A utiliser dans un LMS (Moodle, Blackboard...)
Téléchargement régulier
Pour être publié sur un site Web ou un blog.
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.
Obtenir Plan Académique
Si vous le souhaitez, vous pouvez télécharger une jeu de test ici et tester son intégration:
Partager le jeu
Test
Test

Representación del conocimiento: predicados

Intégrez-le à votre plateforme
G. Classroom M. Teams
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.

Obtenir Plan Académique
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.

Obtenir Plan Académique
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:

Obtenir Plan Académique

Representación del conocimiento: predicados

Test

Parties jouées 1
Créer une copie

À propos de cette activité

Quiz sobre predicados y cálculo de predicados.

Créé par

AGUSTIN F. M. MELCHOR HARO
AGUSTIN F. M. MELCHOR HARO
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
Créer un défi

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.

Obtenir Plan Académique
Imprimez votre jeu
Representación del conocimiento: predicados
 

Representación del conocimiento: predicadosVersion en ligne

Quiz sobre predicados y cálculo de predicados.

par AGUSTIN F. M. MELCHOR HARO
1

¿Qué es un predicado en lógica de predicados?

2

¿Qué representa la aridad de un predicado?

3

Ejemplo de predicado con dos argumentos es:

4

¿Qué indica el cuantificador universal?

5

¿Qué indica el cuantificador existencial?

6

Una fórmula atómica en cálculo de predicados es:

7

El orden de los argumentos en predicados es:

8

¿Qué es una forma estándar en predicados?

9

Ejemplo de predicado unicando a un objeto sería:

10

La forma de predicados con cláusulas de Horn se usa para:

Explicación

Un predicado expresa una propiedad o relación que se aplica a los términos.

La aridad indica cuántos términos intervienen en el predicado.

madre(María, Juana) es un predicado binario; otros ejemplos no muestran dos argumentos.

∀x A se lee: para todo x, A es verdadero.

∃x A se lee: existe al menos un x tal que A.

Las fórmulas atómicas son predicado(arg1, arg2, ...).

El orden de argumentos determina el significado del predicado.

La forma estándar facilita técnicas como la resolución por refutación.

gato(x) es un predicado unario; otros textos no respetan la estructura predicado(argumentos).

Las cláusulas de Horn permiten resolución eficiente en razonamiento automático.

 
Voulez-vous vraiment quitter la page ?

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