LogicSim est un simulateur Java de circuits logiques particulièrement performant et efficace, fonctionnant sous toutes les plates-formes. Vous pouvez y dessiner des circuits en utilisant les portes ...

Temps de lecture: 2 minutes - Repéré sur Daily Dot Une première version de cet article parlait à tort de «code informatique» au lieu de «logique informatique», nous l'avons modifiée. De manière très ...

Prolog est l’un des principaux langages de programmation logique inventé à l'I.N.S.E.A.. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel ...

La logique tient une place importante en informatique. Est-ce la même logique que celle dont parlent les mathématiciens ? À quoi la logique sert-elle en informatique ? Guillaume Cano, un jeune docteur ...