Logique : fondements et applications

"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 MP...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Le Barbenchon, Pierre, 1996-, Pinchinat, Sophie, 1964-...., auteure en informatique (VerfasserIn), Schwarzentruber, François, 1982- (VerfasserIn)
Format: Livre numérique
Sprache:Français
Veröffentlicht: Malakoff : Dunod 2022.
Paris : Cyberlibris
Schlagworte:
Online Zugang:Accès INSA CVL
Accès Université d'Orléans et IFPM
Accès INSA CVL
Anmerkung: Couverture. https://static2.cyberlibris.com/books_upload/136pix/9782100839513.jpg
Cyberlibris (ScholarVox) Corpus Sciences de l'ingénieur
Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur
Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Logique, fondements et applications, Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber, 2022, Malakoff, Dunod, 1 volume (286 p.), Sciences sup, 978-2-10-082158-7
LEADER 02532nam a22003497a 4500
001 1396485
008 240315s2022 xxg ||| |||| 00| 0 fre d
009 PPN276403266
020 |a 9782100839513 
041 0 |a fre 
082 |a 511.3 
100 1 |a Le Barbenchon, Pierre,  |d 1996- 
245 1 0 |a Logique :  |b fondements et applications   |c Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber. 
260 |a Malakoff :  |b Dunod. 
260 |a Paris :  |b Cyberlibris,  |c 2022. 
500 |a Couverture. https://static2.cyberlibris.com/books_upload/136pix/9782100839513.jpg 
500 |a Cyberlibris (ScholarVox) Corpus Sciences de l'ingénieur 
500 |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur 
500 |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur 
504 |a Bibliographie p. [275]-280. Dictionnaire des synonymes. Index 
506 |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris 
520 |a "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 
521 |a Licence 2/3, classes prépa, agrégation 
650 |a Logique symbolique et mathématique 
650 |a Manuels d'enseignement supérieur 
700 1 |a Pinchinat, Sophie,  |d 1964-....,  |c auteure en informatique.  |4 aut 
700 1 |a Schwarzentruber, François,  |d 1982-  |4 aut 
776 0 |0 259850462  |t Logique  |o fondements et applications  |f Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber  |d 2022  |c Malakoff  |n Dunod  |p 1 volume (286 p.)  |s Sciences sup  |z 978-2-10-082158-7 
856 |5 180332301:816533504  |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88950233  |z Accès INSA CVL 
856 4 |5 452349901:87343739X  |u https://ezproxy.univ-orleans.fr/login?qurl=https://univ.scholarvox.com/book/88950233  |z Accès Université d'Orléans et IFPM 
856 4 |5 180339901:873627989  |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88950233  |z Accès INSA CVL 
997 |0 1396485  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/ScholarVox (ebooks)/  |c 1/Bibliothèque numérique/ScholarVox (ebooks)/  |c 1/Bibliothèque numérique/ScholarVox (ebooks)/