Logique

Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique (Repost)

Serenella Cerrito et Delia Kesner, "Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique"
French | ISBN: 2711720691 | 2008 | 178 pages | Djvu | 1 MB
Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique

Serenella Cerrito et Delia Kesner, "Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique"
French | ISBN: 2711720691 | 2008 | 178 pages | Djvu | 1 MB

Jean-Paul Delahaye, "La logique, un aiguillon pour la pensée"  eBooks & eLearning

Posted by TimMa at May 13, 2025
Jean-Paul Delahaye, "La logique, un aiguillon pour la pensée"

Jean-Paul Delahaye, "La logique, un aiguillon pour la pensée"
2012 | ISBN: 2842451155 | Français | PDF | 200 pages | 35.8 MB

Recueil d'articles publiés dans le magazine Pour la science, ayant pour thème la logique dans toute sa diversité. Ainsi, elle peut concerner les mathématiques pures, mais elle peut se trouver aussi au coeur d'applications concrètes. Elle peut enfin aider à répondre à des questions d'actualité. …
Valérie Clisson, Arnaud Duval, "Développez votre logique: Gagner en efficacité et mieux vivre au quotidien"

Valérie Clisson, Arnaud Duval, "Développez votre logique: Gagner en efficacité et mieux vivre au quotidien"
2020 | ISBN: 2212573774 | Français | PDF | 202 pages | 11.7 MB

Des tests de logique avec des lettres, des mots, des chiffres, des dominos, des cartes ou des figures géométriques, afin d'exercer sa logique et de s'entraîner aux tests psychotechniques des examens et des concours. …

Calcul en logique du premier ordre  eBooks & eLearning

Posted by hill0 at April 3, 2019
Calcul en logique du premier ordre

Calcul en logique du premier ordre
de Yves Bouchard

Français | 2015 | ISBN: 2760542092 | 306 Pages | PDF | 4 MB

Laurence de Conceicao, "30 jours pour muscler votre logique"  eBooks & eLearning

Posted by TimMa at May 24, 2024
Laurence de Conceicao, "30 jours pour muscler votre logique"

Laurence de Conceicao, "30 jours pour muscler votre logique"
2020 | ISBN: 2340042011 | Français | PDF | 168 pages | 74.9 MB

Plus de 800 jeux variés et de difficulté croissante pour améliorer sa logique verbale : séries, anagrammes, analogies, lettres manquantes, intrus, palindromes, homonymes, synonymes, entre autres. …

Logique de la science-fiction: De Hegel à Philip K. Dick  eBooks & eLearning

Posted by IrGens at July 16, 2021
Logique de la science-fiction: De Hegel à Philip K. Dick

Logique de la science-fiction: De Hegel à Philip K. Dick (Réflexions faites) de Jean-Clet Martin
Français | 5 octobre 2017 | ISBN: 2874495638 | EPUB | 352 pages | 0.7 MB

Logique épistémique et philosophie des mathématiques  eBooks & eLearning

Posted by arundhati at May 9, 2014
Logique épistémique et philosophie des mathématiques

Paul Gochet, Philippe de Rouilhan, "Logique épistémique et philosophie des mathématiques"
2007 | ISBN-10: 2711740447 | 118 pages | Djvu | 1 MB

La logique en images  eBooks & eLearning

Posted by ALGEROIS at Dec. 20, 2015
La logique en images

La logique en images
EDP Sciences (juin 2015) | ISBN: 2759817482 | French | PDF | 178 Pages | 49 Mb

Ce petit ouvrage présente le développement historique de la logique, explique les symboles et les méthodes, et explore les questions philosophiques relatives dans un format facile à suivre et à travers un univers très graphique.
Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats

René Cori, Daniel Lascar, "Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats"
2003 | ISBN-10: 210005452X | 408 pages | Djvu | 3,6 MB