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
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
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
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
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
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
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
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
MentDB

MentDB

Logiciel Linux
MentDB est un moteur Mentalais.
[...]MentDB est fait pour vous. Le système permet de manipuler des algorithmes d'intelligences artificielles: analyse prédictive et chatbot, mais aussi le traitement de la donnée dans un environnement SOA + ETL + ESB + qualité des données. MentDB est aussi une base de données NoSQL et une plateforme de développement d'application Web, pilotée par un langage de programmation unique: le MQL. [...] Lire la suite
Fiddler

Fiddler

Logiciel Windows
Pour surfer en toute tranquillité, l'usage d'un filtre ou d'un proxy s'avère indispensable. [...]
[...]Dans son rôle de proxy, Fiddler se positionne entre un PC et le réseau web pour intercepter et filtrer les échanges qui s'y opèrent. En même temps, il vérifie toutes les requêtes HTTP et HTTPS lancées. A proprement parlé, Fiddler analyse les échanges entrants et sortants. [...] Lire la suite
Art of Illusion

Art of Illusion

Logiciel Windows
La 3D n'est désormais plus une illusion grâce à Art of Illusion.
[...]En effet, il propose de modéliser et d'avoir un rendu 3D de vos modèles. En outre, le logiciel propose également de créer des animations. Pour cela, trois outils sont mis à votre disposition : [...] Lire la suite
Flightgear

Flightgear

Logiciel Windows
Un simulateur de vol pour le pilotage d'appareils virtuels, livré avec une trentaine d'avions et un hélicoptère et une vingtaine d'aéroports.
[...]Vous disposerez d'une trentaine d'avions de tous bords, dont un hélicoptère, et d'une vingtaine d'aéroports tous autour de San Francisco. Par ailleurs, il est évidemment possible de rajouter, de manière automatique, des fichiers scènes ou des avions supplémentaires. Grâce à des graphismes développés, le rendu du vol est très réaliste pour vous approcher au plus près de la réalité. [...] Lire la suite
MentDB

MentDB

Logiciel Mac
Voici un serveur Mentalais.
[...]Le serveur permet d'utiliser des outils pour l'intelligence artificielle (analyse prédictive, chatbot), et le traitement de la donnée (SOA, l'ETL, l'ESB, qualité des données). C'est aussi une base de données NoSQL et un gestionnaire/framework d'application Web. Vous contrôlez l'ensemble grâce à un langage de données révolutionnaire: le MQL. [...] Lire la suite
La logique comptable

La logique comptable

Logiciel Mobile
Cette application est un véritable module de formation de 45 minutes. [...]
[...]Arrangeons vite cela ! Regardez bien que vous avez le bon âge avant de l'installer. Avec La logique comptable, Ingenium elearning nous offre une appli qui ne casse pas trois pattes à un canard ! [...] Lire la suite
Smart - jeux pour le cerveau et logique Android

Smart - jeux pour le cerveau et logique Android

Logiciel Mobile
Smart - jeux pour le cerveau et logique est une application Android pour ceux qui veulent faire de l'entrainement cérébral.
[...]Les utilisateurs vont pouvoir découvrir une trentaine de mini-jeux répartis sur plus de 600 niveaux différents. A chaque fois, la logique, la concentration et la mémorisation seront sollicitées pour essayer de faire le meilleur score possible. Chaque niveau dure à peine plus d'une minute ce qui permet d'avoir des sessions rapides et à n'importe quel moment de la journée : dans les transports en commun, dans la salle d'attente de votre médecin, au cours d'un repas de famille qui s'éternise [...] Lire la suite
Tests de logique

Tests de logique

Logiciel Mobile
Cette application va vous permettre de vous entraîner aux tests de logiques demandés dans les concours d'entrée aux écoles de commerce.
[...]Il y a eu beaucoup de mises à jour de cette application, nous arrivons donc à la version 0.0.4. Les 46 votes des utilisateurs pour Tests de logique, lui donnant la note moyenne de 3,1. Tests de logique est classé parmi les programmes de "Niveau 3". [...] Lire la suite
J'azerty

J'azerty

Logiciel En Ligne
Apprendre à taper au clavier en jouant. [...]
[...]La société VD INTERACTION a créé le logiciel J'azerty, associant un jeu sérieux, ludique, à la méthode d'apprentissage des dix doigts. Il permet de taper, de manière sûre et éprouvée, sur le clavier, sans regarder ses doigts. Ce jeu qui est le support de la méthode d'apprentissage a été réalisé pour être attractif auprès des jeunes et des moins jeunes leur donnant ainsi l'envie d'apprendre sans avoir l'impression d'un effort rébarbatif. [...] Lire la suite
Tests de logique -Raisonnement

Tests de logique -Raisonnement

Logiciel Mobile
Teste ta logique et ton intelligence avec ces tests psychotechniques, semblables à ceux pour calculer un QI (quotient intellectuel) : - Suite logique de...
[...]Il est important de savoir que pour réussir à l'installer, il est nécessaire d'avoir la version Android 2.3 ou version ultérieure. Cette application a été bien accueillie par les utilisateurs du Google Play, qui lui ont donné une bonne note. Une performance qui, on l'espère, ne va pas s'arrêter de si tôt!. [...] Lire la suite
Actualité Voir toutes les actualités