Agrégé et maître de conférences à l'ENS Rennes
2 résultat(s)
Télécharger le livre : Logique : fondements et applications
feuilleter
Pierre Le Barbenchon , Sophie Pinchinat , François Schwarzentruber
Logique : fondements et applications
Cet ouvrage concis et rigoureux présente l’ensemble des fondements de la logique vue en Licence 2 et 3 d’informatique et de mathématiques appliquées à l’informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux exercices corrigés...
Editeur : Dunod
Parution : 2022-01-05
Collection : Sciences Sup
Format(s) : PDF
18,99 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Kripke's Worlds
Olivier Gasquet , Andreas Herzig , Bilal Said , François Schwarzentruber
Kripke's Worlds
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and...
Editeur : Birkhäuser
Parution : 2013-11-20
Collection : Studies in Universal Logic
Format(s) : ePub
89,66 €
Téléchargement immédiat
Dès validation de votre commande