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:

Semántica Composicional:

Devinette

Parties jouées 8

À propos de cette activité

La interpretación de las oraciones en base a la combinación de funciones y argumentos.

Créé par

Colombia

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
Semántica Composicional:
 

Semántica Composicional:Version en ligne

La interpretación de las oraciones en base a la combinación de funciones y argumentos.

par Dayanna Vega
1

"Soy un símbolo que con funciones me enfrento, defino variables y argumentos dentro del pensamiento. Si a uno aplico, el otro se satura, y juntos formamos verdad con gran altura. ¿Qué soy?"

Pistas

Es un símbolo que se usa en la lógica y programación funcional. Se utiliza para crear funciones y abstraer variables. Su uso es fundamental en la semántica formal.

2

Cuando los significados se suman sin error, combinando partes con mucho rigor, con cada pieza, una oración al fin, donde el resultado es siempre un ‘sí’ o un ‘no’. ¿Qué proceso describe este valor?

Pistas

Este principio asegura que el significado de una oración se construye a partir del significado de sus partes Se refiere a cómo las palabras y frases se combinan en un sistema lógico Es un concepto central en la semántica de Montague

3

Con 'todo', 'ningún' y 'algún' juego, en el mundo de los cuantificadores me deslizo, y el significado de una oración cambio, dependiendo de qué conjunto elijo. ¿Quién soy?

Pistas

Este tipo de palabra define la cantidad o la existencia de elementos en un conjunto. A menudo se usa para hacer generalizaciones o establecer restricciones. Se encuentra comúnmente en frases como “todo hombre”, “ningún perro”, “algún estudiante”.

4

"A veces un tipo no encaja bien..."

Pistas

Este problema ocurre cuando se intenta combinar elementos de tipos semánticos que no son compatibles. Es común en la lógica de tipos y en el cálculo λ. Se soluciona con operaciones adicionales que modifican los tipos de los elementos.

5

A veces soy universal y amplio, como 'todo', abarco mucho sin dar paso, otras veces existo en forma concreta, como 'algún', pero sin dar promesa. ¿Quién soy?

Pistas

Los cuantificadores como "todo" y "algún" definen el alcance de las afirmaciones en una oración. Pueden ser universales o existenciales. Son fundamentales en la semántica lógica, especialmente cuando se habla de conjuntos y predicados.

Voulez-vous vraiment quitter la page ?

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