La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle do…
by IEEE Computer Society, Association for Logic Programming, International Conference on Logic Programming, Bowen, Kenneth A., Kowalski, Robert A., Symposium on Logic Programming$, 5th, University of Washington, Seattle, Etats-Unis
fromMIT Press series in logic programming
by Deleuze, Gilles, Guattari, Félix
fromReprise (Éditions de Minuit)
La philosophie comme activité qui crée les concepts se distingue de la science et de la logique, lesquelles opèrent par fonctions, sur un plan de référence et avec des observateurs partiels.
by Reichgelt, Han, Van Harmelen, Frank, Jackson, Peter
"Philosophical Logic is a clear and concise critical survey of nonclassical logic, written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal,…
Mettre les bases de la logique à la portée de tous, et plus particulièrement des non-mathématiciens, tel est l'objectif de ce manuel. Tout spécifiquement conçu pour les étudiants entretenant une relation conflictuelle avec les sciences, ou définitivement rétifs aux maths et au f…
