60 résultats : Logique

Recherche en cours

Par mots-clef = Logique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

60 résultats

page 6 sur 6

résultats 51 à 60

La tour de Lego

Description : Connaissez-vous le Dr Jacob Ecco, mon ami omniheuriste ? Sa profession, dont il a inventé le nom, consiste à résoudre toutes sortes d’énigmes en s’inspirant des méthodes et du mode de réflexion des informaticiens et des mathématiciens. Vous aussi, essayez de résoudre celle-ci.

Mots clés : énigme, exécution parallèle, sortance, porte logique, fuscia

Date : 04-05-2007

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La tour de Lego

Ajouter à mon panier

Accéder au document

Programmation par contraintes

Description : La première session de ce cours introduira les notions de contraintes, de problèmes de satisfaction de contraintes (CSPs) et de solution d'un CSP.
Lors de la deuxième session, vous vous entraînerez, à travers plusieurs exercices, à modéliser un problème sous la forme d'un CSP.
Lors de la troisième ...

Mots clés : programmation déclarative, Prolog, solveur de contrainte, relation logique, algorithme, filtrage, fuscia

Date : 01-09-2003

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Programmation par contraintes

Ajouter à mon panier

Accéder au document

Sciences de l’information : là où le temps sous-tend tant et tant

Description : En informatique, le temps est une variable omni-présente, mais sous des formes parfois inattendues qui, mal comprises, conduisent à de fâcheux contre-temps. Essayons de démystifier les différents concepts s’y reliant.

Mots clés : temps logique, temps physique, complexité, synchronisation, fréquence, fuscia

Date : 30-06-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Sciences de l’information : là où le temps sous-tend tant et tant

Ajouter à mon panier

Accéder au document

La vérité et la machine

Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.

Mots clés : preuve de programme, preuve formelle, logique mathématique, démonstration, Coq, théorème des quatre couleurs, fuscia

Date : 11-12-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La vérité et la machine

Ajouter à mon panier

Accéder au document

Exercices sur le Robot [rb02] - Exercices

Description : Ce module contient un ensemble d'exercices sur le Robot logique.

Mots clés : Robot logique

Date : 04-2015

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Exercices sur le Robot [rb02] - Exercices

Ajouter à mon panier

Accéder au document

Le robot logique [rb]

Description : Ce module introduit les bases de la logique de programmation au travers de l'application ludique: le robot logique.

Mots clés : Robot logique

Date : 04-2015

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Le robot logique [rb]

Ajouter à mon panier

Accéder au document

Jeu du pendu [ka07] - Exercice

Description : Cet exercice réalise une version orientée objet polymorphique du jeu du Pendu.

Mots clés : Jeux de logique, Classes abstraites, algorithmie, programmation, C++

Date : 04-2015

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Jeu du pendu [ka07] - Exercice

Ajouter à mon panier

Accéder au document

Productions_UL

Ergonomie & Interfaces - Graphiste : Fabrice Debarge

Description : Fabrice Debarge témoigne sur son métier de créateur d'outils graphiques au sein de l'entreprise Praxinos. Cette vidéo est un des éléments constitutifs de la partie consacrée à l'ergonomie et aux interfaces, du MOOC "Les métiers du numérique pour inventer le monde de demain" coconstruit en 2020 par ...

Mots clés : parcours de formation, dessin animé, peinture numérique, jeux vidéo, dessin, interaction, mathématiques, informatique, logique, pratique artistique, technologie, 3D, travail collaboratif, métiers spécialisés

Date : 2020

Droits : CC BY-NC-ND

Ergonomie & Interfaces - Graphiste : Fabrice Debarge

Ajouter à mon panier

Accéder au document

Productions_UL

Ergonomie & Interfaces - Développeur : Éric Scholl

Description : Éric Scholl témoigne sur son métier de développeur d'interface au sein de l'entreprise Praxinos. Son activité consiste à créer les outils qui permettent de concevoir des jeux vidéo. Cette vidéo est un des éléments constitutifs de la partie consacrée à l'ergonomie et aux interfaces, du MOOC "Les ...

Mots clés : parcours de formation, développement informatique, moteur de jeu vidéo, adaptabilité, évolution technologique, langages informatiques, méthodes de développement,mathématiques, logique, 3D

Date : 2020

Droits : CC BY-NC-ND

Ergonomie & Interfaces - Développeur : Éric Scholl

Ajouter à mon panier

Accéder au document

Productions_UL

Emmanuelle Schott Pinard, informaticienne en développement informatique bancaire

Description : Emmanuelle Schott Pinard est responsable d'équipe dans le développement informatique pour une banque. Elle nous explique en quoi consiste son métier, nous parle de son parcours de formation, de ses perspectives professionnelles et donne quelques conseils aux lycéens et étudiants pour la pousuite ...

Mots clés : parcours de formation, pratique professionnelle, économie, informatique appliquée à la gestion, logique

Date : 2016

Droits : CC BY-NC-ND

Emmanuelle Schott Pinard, informaticienne en développement informatique bancaire

Ajouter à mon panier

Accéder au document

Rebondir