Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Introduction à la logique
théorie de la démonstration, cours, 170 exercices corrigés
René David, Karim Nour, Christophe Raffalli
Paperback | Frans
€ 39,70
+ 79 punten
Omschrijving
Introduction à la logique
Théorie de la démonstration
Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions « qu'est-ce qu'un énoncé ? une démonstration ? » ou plus fondamentalement, « qu'est-ce que les mathématiques ? », en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique.
Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs.
Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master. Il pourra également intéresser les candidats au CAPES et à l'agrégation.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Taal:
- Frans
Eigenschappen
- Productcode (EAN):
- 9782100806324
- Verschijningsdatum:
- 11/08/2019
- Uitvoering:
- Paperback
- Afmetingen:
- 170 mm x 240 mm
- Gewicht:
- 646 g
Alleen bij Standaard Boekhandel
+ 79 punten op je klantenkaart van Standaard Boekhandel
SOLDEN
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.