logique grâce langage unification inspirer

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

Ajouté le 2010-02-28 00:00:00
|
Mis à jour le 2013-01-02 11:37:03

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

Ajouté le 2003-02-23 00:00:00
|
Mis à jour le 2012-12-06 00:39:20

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

Ajouté le 2006-11-15 00:00:00
|
Mis à jour le 2012-12-06 00:38:44

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

Ajouté le 2005-08-23 03:35:06
|
Mis à jour le 2012-12-06 01:18:22

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

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

Ajouté le 2015-01-20 08:12:12
|
Mis à jour le 2015-01-20 08:12:12

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

Ajouté le 2016-05-31 15:36:45
|
Mis à jour le 2016-05-31 16:40:27

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

Ajouté le 2016-05-31 16:40:35
|
Mis à jour le 2016-05-31 17:12:48

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

Ajouté le 2002-11-02 00:00:00
|
Mis à jour le 2012-12-06 00:39:33

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

Ajouté le 2015-06-08 19:12:12
|
Mis à jour le 2015-06-08 19:12:12

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

Ajouté le 2019-08-07 11:11:57
|
Mis à jour le 2020-02-03 17:40:27

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

Ajouté le 2013-12-06 11:03:05
|
Mis à jour le 2013-12-06 11:06:05

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

Ajouté le 2013-12-18 13:52:32
|
Mis à jour le 2013-12-18 13:54:04

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

Ajouté le 2021-04-13 17:00:00
|
Mis à jour le 2021-04-13 17:14:52

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

Ajouté le 2019-08-07 11:14:02
|
Mis à jour le 2020-02-03 17:40:35

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

Ajouté le 2015-01-27 12:12:12
|
Mis à jour le 2015-01-27 12:12:12

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

Ajouté le 2018-08-16 13:45:53
|
Mis à jour le 2018-08-16 13:52:33

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

Ajouté le 2014-12-21 19:12:12
|
Mis à jour le 2014-12-21 20:05:40

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

Ajouté le 2014-12-09 10:08:31
|
Mis à jour le 2015-07-03 10:16:40

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

Ajouté le 2015-01-20 13:12:12
|
Mis à jour le 2015-01-20 13:12:12

Actualité

Obtenez Windows 11 pour seulement 19 €, et Windows 10 pour 13 € dans une grande vente de printemps chez Cdkeylord !
Célébrez le renouveau du printemps avec des promotions exceptionnelles chez CDKEYlord au début du mois de mai. Découvrez une sélection de logiciels à prix réduits pour donner un coup de jeune à votre équipement informatique. [...]
Lire l'article
Serveur cloud et sécurité : les meilleures pratiques pour protéger vos données
Ces dernières années, de plus en plus d'entreprises basculent leurs données dans le cloud afin de fournir des services en ligne ou de mener à bien leurs activités. Bien qu'étant judicieux, ce choix ne doit pas faire oublier la nécessité de sécuriser convenablement les données dans le but de limiter les risques de perte. [...]
Lire l'article
CorelDRAW : lancement de la nouvelle version 2024 riche en nouveautés et optimisations.
Il n'existe heureusement pas qu'Adobe sur le marché de la création graphique ! Outre Canva (qui s'est récemment offert les excellents logiciels Affinity), il subsite quelques acteurs historiques dont Corel n'est pas le moindre des représentants avec sa célèbre suite CorelDRAW Graphics Suite, dont la première version remonte à la fin des années 80. [...]
Lire l'article

Voir toutes les actualités