par Duparc, Jacques (19..-....), metteur en scène
Presses polytechniques et universitaires romandes
-
-
Disponible - 510.1 DUP
Niveau 2 - Sciences
par Duparc, Jacques (19..-....), metteur en scène
Presses polytechniques et universitaires romandes
-
Disponible - 510.1 DUP
Niveau 2 - Sciences
Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance preuves-programme. ©Electre 2015
La logique
Pas à pas
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 formalisme, il ne requiert aucune formation ou bagage préalable. Pas question cependant de maintenir le lecteur à distance, et de ne lui proposer que quelques aperçus lointains : c'est au contraire au coeur même de la matière que Jacques Duparc emmène celui-ci, en le guidant pas à pas sur une trace moderne et novatrice, privilégiant le jeu et l'intuitivité. Claire et didactique, une référence incontournable pour l'apprentissage de la logique.
Disponible - 510.1 DUP
Niveau 2 - Sciences