problème logique grâce langage unification inspirer

ProFond

ProFond

Logiciel Windows
Permet de résoudre des problèmes de logique grâce à un langage par unification inspiré de Prolog.
[...]Contient : - Un éditeur de règles de logique (programme), - Une vue arborescence de la structure du code, - Un champ de saisie des questions à poser - Une vue des résultats - Une trace de la résolution du problème. Dans la version 0.3, il n'y a qu'un type de données : des éléments déterminés par des identificateurs. Attention : La 2ème archive (plus petite) n'inclut pas les sources. [...] Lire la suite
QCM-Maker

QCM-Maker

Logiciel Windows
Grâce à un langage simple, créez votre propre QCM facilement et gratuitement grâce à un langage de programmation simple pour tous niveaux.
[...]Il vient d'être totalement réécrit, donc il élimine beaucoup de bugs présents dans l'ancienne version et contient un autre language de programmation inspiré du Pascal. L'interface éditeur a été totalement repensée et composée au style Office 2000 avec colorateur syntaxique. Lire la suite
Logik

Logik

Logiciel Windows
Voici une adaptation du problème de logique d'Einstein.Soit une élection avec 5 candidats présentant chacun 5 caractéristiques différentes,en s'appuyant sur un certain nombre de propositions,il s'agit de trouver l'élu.
[...]Il s'agit de trouver les caractéristiques correctes de chaque candidat et de désigner l'élu, en s'appuyant sur un certains nombre de propositions. La mise en forme très visuelle avec l'utilisation d'un tableau et la possibilité d'une assistance dans la détection d'erreurs devraient rendre la résolution de ce problème plus facile. Lire la suite
Formule-R pour Windows

Formule-R pour Windows

Logiciel Windows
Créez des applications en un clin d'oeil grâce au langage R simple et puissant. [...]
[...]Exemples fournis dans des domaines très variés (Gestion, jeu, éducation...). Formule-R bénéficie du nouveau système de licence en CDWARE : 1 licence réglée = Tous les produits Flore système en VERSIONS COMPLETES sur cédérom ( soit + de 500 Mo pour 98,40 F ou 15 Euros). Plus d'infos et catalogue sur le site de Flore système [www.webvilles.org] [...] Lire la suite
SMS Backup & Restore Android

SMS Backup & Restore Android

Logiciel Mobile
Récupérez les SMS de votre iPhone sur votre nouveau smartphone Android, sans aucun problème, grâce à l'application gratuite SMS Backup
[...]Cette application vous aide en effet à importer vos SMS mais surtout à les restaurer dans leur état d'origine, afin que vous puissiez en profiter d'un appareil mobile à l'autre. Avant d'utiliser l'application gratuite SMS Backup Restore Android, il est nécessaire de convertir les SMS dans un fichier XML. Pour cela l'utilisation de l'application Android iSMS2droid est indispensable. [...] Lire la suite
Enigmes 2012

Enigmes 2012

Logiciel Mobile
Enigmes 2012 Est collection de juin DE 400 engimes, Problèmes, suites Logiques etc ..
[...]Aujourd'hui sa note moyenne est de 2,0 sur 5 ce n'est pas l'application du siècle. Ce programme a obtenu le permis "Grand public" de la plateforme d'application de Google. Cela fait longtemps que Enigmes 2012 n'est plus mis à jour, il se pourrait que la version de cette application ne marche pas sur votre tablette. [...] Lire la suite
Automatebuilder

Automatebuilder

Logiciel Windows
Automate Builder est un logiciel d’automatisation d'Internet : grâce à un langage de script visuel, dites lui les tâches à accomplir : remplir un formulaire avec certaines données, cliquer sur un bouton ou une image, extraire des informations
[...]Avez vous besoin de : Extraire des données des entreprises et les formater au format EXCEL. ? Extraire des urls ou des emails à partir d'une liste d'urls ? Aspirer des rubriques et des sites Internet, de les compiler et les recevoir par email ? [...] Lire la suite
TellMyCity iOS

TellMyCity iOS

Logiciel Windows
Devenez un acteur incontournable de votre ville à soumettant des idées à votre maire ou encore en lui signalant certains problèmes grâce à l'application TellMyCity iOS.
[...]Cette application gratuite iOS repose sur un concept simple mais original : un service permettant aux habitants d'une ville de suggérer une idée, féliciter une initiative ou au contraire de signaler un problème. Le but étant de créer une cohésion et surtout de se sentir acteur de sa ville. Une fois les requêtes recensées, TellMyCity transmets automatiquement ces dernières au service municipal en charge du sujet. [...] Lire la suite
Vero, c'est comme Facebook et Twitter mais au début

Vero, c'est comme Facebook et Twitter mais au début

Article
De nombreux réseaux sociaux ont essayé de se frayer un chemin à travers les géants que sont Facebook, Twitter ou Instagram et beaucoup se sont heurtés à un mur. Est-ce que Vero sera celui qui réussira à se faire une place en optant pour une nouvelle approche ? L'histoire de Vero Vero, c'est le petit bébé d'un milliardaire libanais. L'application disponible sur Android et iOS a été créé en 2015 mais cela fait seulement quelques jours que son succès augmente. [...] Lire la suite
Vous pourrez bientôt ajouter des contacts WhatsApp en scannant leur QR Code

Vous pourrez bientôt ajouter des contacts WhatsApp en scannant leur QR Code

Article
La guerre des clones se poursuit entre les applications sociales. WhatsApp teste en ce moment une nouvelle fonctionnalité très similaire au Snapcode de Snapchat. Il s'agit de l'ajout de contacts par QR Code. C'est le site Wabetainfo qui a repéré cette nouvelle option dans une version iOS expérimentale de l'application, mais elle est également accessible sur Android. Selon Wabetainfo, chaque utilisateur disposera de son propre QR Code. [...] Lire la suite
WebGL, SPDY et Internet Explorer 11 sous Windows 8.1

WebGL, SPDY et Internet Explorer 11 sous Windows 8.1

Article
Internet Explorer, le célèbre navigateur du géant informatique Microsoft, sort aujourd'hui dans sa nouvelle version baptisée Internet Explorer 11 sous Windows 8.1. La sortie du nouveau navigateur a été annoncée plusieurs semaines auparavant. Elle est coordonnée avec la première mise à jour de l'OS Windows 8 qui donnera aujourd'hui naissance à sa version 8.1. C'est la conférence BUILD qui débute aujourd'hui en Californie qui prêtera son cadre à la présentation de Windows 8.1 et donc d'Internet Explorer 11 qu'il héberge. Le nouveau navigateur a beaucoup à dévoiler. [...] Lire la suite
Microsoft déploie une mise à jour de fiabilité pour résoudre les problèmes de Windows 10

Microsoft déploie une mise à jour de fiabilité pour résoudre les problèmes de Windows 10

Article
La mise à jour de mai pour Windows 10 est arrivée chez pas mal d'utilisateurs. Mais il reste une poignée d'irréductibles clients qui ne parviennent pas à l'installer. Dernièrement, c'est une histoire de pilotes Intel qui empêchait de profiter des nouveautés de cette update. Consciente des différents problèmes, Microsoft vient de déployer une mise à jour correctrice pour aider les systèmes qui ne parviennent pas à installer les dernières updates majeures. Lire aussi : Des pilotes Intel bloquent la mise à jour Windows 10 1903 [...] Lire la suite
ZW Net Send Manager (NSM)

ZW Net Send Manager (NSM)

Logiciel Windows
NSM permet l'utilisation facile du service d'affichage des messages de windows, grace à une interface agréable et à de nombreuses options.
[...]Idéal pour prevenir d'autre utilisateur d'un reseau (local ou internet). Possibilité d'envoyer des messages simple, ligne par ligne ou multiligne, à un ou plusieurs utilisateurs, possiblité de créer des groupes d'utilisateurs. NSM gere plusieurs envois en même temps sans problèmes, grace à son systeme unique. [...] Lire la suite
Logique

Logique

Logiciel Mobile
Cette application est un jeu fait pour tester vos capacités mentales et logiques.
[...]Eh bien vous ne serez pas perdu avec Logique. Aujourd'hui, cette application a été téléchargée 50000 fois. Du haut de ses , l'application Logique s'adapte facilement aux mobiles Android. [...] Lire la suite
Bac Philosophie 2016 Série S Pondichéry

Bac Philosophie 2016 Série S Pondichéry

Logiciel Windows
Les sujets du bac philosophie pour les élèves de la série L sont disponibles.
[...]Découvrez dès à présent les sujets de philosophie qui ont été donnés aux élèves de Pondichéry. Cette année, ils ont dû composer sur la religion, l'art et sur un texte de Ciceron. Les sujets de philosophie du bac 2016 sont présentés sous forme d'un document PDF que vous pourrez lire sans problème grâce à un outil adapté. [...] Lire la suite
Cinderella

Cinderella

Logiciel Windows
Cinderella est un logiciel de géométrie destiné à l'apprentissage.
[...]La version pro est ici disponible gratuitement. Avec Cinderella vous pourrez réaliser des constructions géométriques surprenantes. Une solution puissante qui bénéficie d'une interface très intuitive. [...] Lire la suite
Cinderella mac

Cinderella mac

Logiciel Mac
Un logiciel puissant et efficace destiné à l'apprentissage de la géométrie. [...]
[...]Cet outil puissant vous offre de nombreuses possibilités grâce à un langage relativement simple à utiliser, le Cindyscript. Ainsi vous pourrez par exemple profiter de la vue en géométrie euclidienne, géométrie sphérique ou géométrie hyperbolique. La solution bénéficie d'une interface intuitive permettant une construire facilement des figures complexes. [...] Lire la suite
Jeu de logique avec des bâtons

Jeu de logique avec des bâtons

Logiciel Mobile
Nous vous mettons au défi de montrer vos compétences logiques et résoudre les équations mathématiques dans notre nouveau jeu de puzzle avec des...
[...]La note de 3,8 sur cinq montre que Jeu de logique avec des bâtons a fait son petit bout de chemin sur le Google Play. LogiGames a fait du bon boulot de développement en offrant une application bien ficelée . On est toujours heureux d'installer Jeu de logique avec des bâtons, car comme beaucoup d'autres applications, elle est totalement gratuite. [...] Lire la suite
Simulportes

Simulportes

Logiciel Windows
Simulportes est un logiciel, fonctionnant sous Windows, de simulation de circuits numériques destiné à l'apprentissage du fonctionnement des opérateurs logiques appelés aussi "portes logiques", du principe des équations logiques et des tables de...
[...]Aux circuits constitués des opérateurs logiques classiques (portes Oui, Non, Et, Et-NON, Ou, Ou-Non, Ou Exclusif, Ou-Non Exclusif), il est possible d'ajouter des circuits intégrés(additionneurs, décodeurs binaire-7 segments) et des afficheurs à 7 segments permettant ainsi de travailler sur les nombres binaires. La conception des circuits logiques sous SIMULPORTES est simple et grâce aux possibilités d'impression des circuits et des tables de vérité, SIMULPORTES est le complément idéal des cours et travaux pratiques sur les opérateurs logiques. Dans cette version de Simulportes, l'affichage est automatiquement configuré pour une utilisation optimale (Résolution écran : 800x600, 65 536 couleurs et barre des taches de Windows cachée). [...] Lire la suite
WhatsApp, Instagram : un bug d’affichage présent sur les smartphones à encoche

WhatsApp, Instagram : un bug d’affichage présent sur les smartphones à encoche

Article
2018 aura été l'année de l'encoche pour de nombreux fabricants de smartphones qui ont suivi une tendance initiée par l'Essential Phone et l'iPhone X. Ce nouvel élément de design qui permet d'élargir la surface de l'écran et d'offrir plus d'espace aux applications a néanmoins quelques défauts.  En effet, certaines applications très populaires comme Instagram et WhatsApp ne s'affichent pas correctement sur les smartphones Android à encoche. Des Stories Instagram qui s'affichent mal Depuis le début de l'année, des utilisateurs possédant des smartphones Android à encoche, se plaignent sur différents forums d'un affichage tronqué de certains contenus dans des applications comme Instagram et WhatsApp. Un utilisateur possédant un téléphone Huawei avec encoche cherche une solution [...] Lire la suite
Actualité Voir toutes les actualités