Logique et raisonnements / Michael Freund (2016)

Titre : Logique et raisonnements Type de document : texte imprimé Auteurs : Michael Freund, Auteur Mention d'édition : 2nd Ed. Editeur : Paris : Ellipses Année de publication : 2016 Importance : IX-165 P. Présentation : broche. Couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-340-01478-7 Langues : Français (fre) Catégories : (02.10) Logique, theorie des ensembles et algebre, theorie des groupes Mots-clés : History of science  Logic mathematical Index. décimale : 02.10 Résumé : I Logique propositionnelle : 1 Le langage naturel restreint. - 2 Le langage propositionnel. - 3 Théorèmes, preuves et démonstrations. - 4 La relation de conséquence en calcul propositionne. - II Calcul des prédicats : 5 Le langage prédicatif restreint. - 6 Le langage de la logique des prédicats. - 7 La déduction en calcul des prédicats. - 8 Théories axiomatiques

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ004449	02.10.FRE	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

---

1 (1 - 1 / 1) Par page : 100