Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Connect quatre : Logique du jeu

Description

Cette séance de cours couvre la logique de jeu de Connect Four, se concentrant sur la méthode principale, les couleurs du joueur, les conditions de réussite, et de vérifier pour une grille complète. L'instructeur explique le déroulement du jeu, alterne les tours du joueur et détermine le gagnant.

Source officielle

Concepts associés (6)

Game semantics

Game semantics (dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes. In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz.

Dependence logic

Dependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is functionally dependent on the values of . Dependence logic is a logic of imperfect information, like branching quantifier logic or independence-friendly logic (IF logic): in other words, its game-theoretic semantics can be obtained from that of first-order logic by restricting the availability of information to the players, thus allowing for non-linearly ordered patterns of dependence and independence between variables.

Independence-friendly logic

Independence-friendly logic (IF logic; proposed by Jaakko Hintikka and Gabriel Sandu in 1989) is an extension of classical first-order logic (FOL) by means of slashed quantifiers of the form and , where is a finite set of variables. The intended reading of is "there is a which is functionally independent from the variables in ". IF logic allows one to express more general patterns of dependence between variables than those which are implicit in first-order logic.

Lecteur multimédia

Un lecteur multimédia est un périphérique ou une application qui permet de restituer des données visuelles et auditives. Les données multimédia sont visualisées sur une surface réceptrice (écran, projecteur) et écoutées par des haut-parleurs (enceintes) avec ou sans l'utilisation d'une surface de contrôle (clavier, souris, stylo). La lecture des données se fait grâce à un logiciel qui fonctionne sur un Compatible PC. Les logiciels de lecture sont les logiciels de lecture simple et les logiciels d'édition : logiciel de montage vidéo, audio, logiciel d'animation, logiciel d effets, logiciel 3D.

Logique

La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

Afficher plus

Séances de cours associées (1)

La sémantique musicale : problèmes et perspectives

Explore la sémantique musicale, discute des inférences déclenchées par différents éléments musicaux et propose un cadre pour comprendre le sens de la musique.