Game semanticsGame 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 logicDependence 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 logicIndependence-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édiaUn 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.
LogiqueLa 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).
Lecteur Windows MediaLe Lecteur Windows Media (en anglais, Windows Media Player) est un lecteur multimédia développé par l’entreprise Microsoft qui permet de lire des fichiers audio, vidéo, et des s. Il est incorporé dans le système d’exploitation Windows et Windows Mobile du même auteur. Il fit son apparition en 1991 dans avec extensions multimédias. Des versions du Lecteur Windows Media pour les systèmes d’exploitation Mac OS et Solaris ont également vu le jour mais leurs développements ont été interrompus depuis.
