Détail de l'auteur
Auteur Daniel Lascar |
Documents disponibles écrits par cet auteur (2)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
Titre de série : Logique mathØmatique, 2 Titre : Logique mathØmatique : cours et exercices corrigØs Type de document : texte imprimé Auteurs : RenØ Cori, Auteur ; Daniel Lascar, Auteur Mention d'édition : Nouv. prØsentation Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Sous-collection : MathØmatiques Importance : XV-347 p. Format : 25 x 18 cm ISBN/ISSN/EAN : 978-2-10-005453-4 Prix : 39.9 EUR Note générale : Bibliogr. Index Langues : Français (fre) Mots-clés : logique symbolique et mathØmatique manuels d'enseignement supØrieur Godel, thØorLme de fonctions rØcursives Index. décimale : 378.51 Résumé : PrØsente successivement les problLmes de rØcursivitØ et de formalisation de l'arithmØtique, les thØorLmes de Godel, la thØorie des ensembles ainsi que la thØorie des modLles. Chaque chapitre est accompagnØ de nombreux exercices corrigØs. Logique mathØmatique, 2. Logique mathØmatique : cours et exercices corrigØs [texte imprimé] / RenØ Cori, Auteur ; Daniel Lascar, Auteur . - Nouv. prØsentation . - Paris : Dunod, 2003 . - XV-347 p. ; 25 x 18 cm. - (Sciences sup. MathØmatiques) .
ISBN : 978-2-10-005453-4 : 39.9 EUR
Bibliogr. Index
Langues : Français (fre)
Mots-clés : logique symbolique et mathØmatique manuels d'enseignement supØrieur Godel, thØorLme de fonctions rØcursives Index. décimale : 378.51 Résumé : PrØsente successivement les problLmes de rØcursivitØ et de formalisation de l'arithmØtique, les thØorLmes de Godel, la thØorie des ensembles ainsi que la thØorie des modLles. Chaque chapitre est accompagnØ de nombreux exercices corrigØs. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité bfs17223 510-515-247/01 Livre Salle des thèses 515 Analyse Disponible bfs40920 510-515-247/02 Livre Salle des thèses 515 Analyse Disponible BFSD18624 510-515-247/02 Livre Salle des thèses 515 Analyse Disponible bfs40919 510-515-247/03 Livre Salle des thèses 515 Analyse Disponible
Titre : Logique mathØmatique : cours et exercices corrigØs Type de document : texte imprimé Auteurs : RenØ Cori ; Daniel Lascar, Auteur Mention d'édition : Nouv. prØsentation Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Importance : XV-385 p. Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Bibliogr. Index Langues : Français (fre) Mots-clés : Boole, algLbre de manuels d'enseignement supØrieur calcul propositionnel calcul des prØdicats Index. décimale : 515510 Résumé : PrØsente successivement le calcul propositionnel, les algLbres de Boole, le calcul des prØdicats et les thØorLmes de complØtude. Chaque chapitre est accompagnØ de nombreux exercices corrigØs. Logique mathØmatique : cours et exercices corrigØs [texte imprimé] / RenØ Cori ; Daniel Lascar, Auteur . - Nouv. prØsentation . - Paris : Dunod, 2003 . - XV-385 p. ; 24 x 17 cm. - (Sciences sup) .
ISBN : 978-2-10-005452-7
Bibliogr. Index
Langues : Français (fre)
Mots-clés : Boole, algLbre de manuels d'enseignement supØrieur calcul propositionnel calcul des prØdicats Index. décimale : 515510 Résumé : PrØsente successivement le calcul propositionnel, les algLbres de Boole, le calcul des prØdicats et les thØorLmes de complØtude. Chaque chapitre est accompagnØ de nombreux exercices corrigØs. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité bfs32141 510-515-22/01 Livre Salle des thèses 515 Analyse Disponible