Illustration

Biographie et livres de François Schwarzentruber

Découvrez tout l'univers de l'auteur en livre numérique
Agrégé et maître de conférences à l'ENS Rennes
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Kripke's Worlds
Ajouter à ma liste d'envies
Kripke's Worlds

Olivier Gasquet , Andreas Herzig , Bilal Said , François Schwarzentruber

Birkhäuser

2013-11-20

ePub

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,...

90,09 €

En savoir plus

Ebooks de François Schwarzentruber en PDF et EPUB

1 Livre(s)
Télécharger le livre : Logique : fondements et applications
Ajouter à ma liste d'envies
Feuilleter
Logique : fondements et applications
Pierre Le Barbenchon , Sophie Pinchinat , François Schwarzentruber
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
PDF

18,99 €