Logique : fondements et applications
Na minha lista:
Autor principal: | Le Barbenchon, Pierre (1996-....). (Autor) |
---|---|
Outros Autores: | Pinchinat, Sophie (1964-....; auteure en informatique). (Auteur), Schwarzentruber, François (1982-....). |
Formato: | E-Book |
Idioma: | Français |
Publicado em: |
Malakoff :
Dunod.
|
Assuntos: | |
Autres localisations: | Voir dans le Sudoc |
Resumo: | "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 |
Acesso em linha: | Accès à l'E-book |
Registros relacionados
-
Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
por: Patarin, Jacques (1965-....). -
Complexité aléatoire et complexité organisée
por: Delahaye, Jean-Paul (1952-....; mathématicien).
Publicado em: 2009 -
Le point aveugle : cours de logique.
por: Girard, Jean-Yves (1947-....). -
The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
por: Badesa, Calixto (19..-....).
Publicado em: 2009 -
The golden ticket : P, NP, and the search for the impossible
por: Fortnow, Lance (1963-....).
Publicado em: 2013