Logique : fondements et applications
Enregistré dans:
Auteur principal: | Le Barbenchon, Pierre (1996-....). (Auteur) |
---|---|
Autres auteurs: | Pinchinat, Sophie (1964-....; auteure en informatique). (Auteur), Schwarzentruber, François (1982-....). |
Support: | E-Book |
Langue: | Français |
Publié: |
Malakoff :
Dunod.
|
Sujets: | |
Autres localisations: | Voir dans le Sudoc |
Résumé: | "Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir lalogique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les universités et dans les classes préparatoires MP2I et MPI, du niveau L2 jusqu'à la préparation à l'agrégation d'informatique |
Accès en ligne: | Accès à l'E-book |
Documents similaires
-
Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
par: Patarin, Jacques (1965-....). -
Complexité aléatoire et complexité organisée
par: Delahaye, Jean-Paul (1952-....; mathématicien).
Publié: 2009 -
Le point aveugle : cours de logique.
par: Girard, Jean-Yves (1947-....). -
The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
par: Badesa, Calixto (19..-....).
Publié: 2009 -
The golden ticket : P, NP, and the search for the impossible
par: Fortnow, Lance (1963-....).
Publié: 2013