Titre :	Logique mathématique. Tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats
Type de document :	texte imprimé
Auteurs :	Daniel Lascar
Editeur :	paris : Dunod
Année de publication :	2007
Importance :	XV-385 p.
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-10-005452-7
Langues :	Français (fre) Langues originales : Français (fre)
Mots-clés :	Calcul propositionnel  Algèbre: Algèbre de Boole
Index. décimale :	512
Résumé :	Les ouvrages de la série " TD " répondent à trois objectifs : 1. " Apprendre " : un résumé du cours met en lumière l'essentiel de ce qu'il faut savoir. Il est suivi de tests de connaissances. 2. " Comprendre " : des questions de réflexion structurent les connaissances, en dégageant des idées générales, et leur donnent du sens, en les mettant en relation. Cette étape est essentielle pour favoriser une mémorisation intelligente et durable. 3. " Appliquer " : des exercices d'entraînement permettent de se préparer à l'examen. Leur énoncé est suivi de conseils pour les aborder et leurs solutions détaillées mettent l'accent sur le raisonnement et la méthode à mettre en œuvre. Cet ouvrage s'adresse aux étudiants du premier cycle (DEUG MIAS et MASS). Il couvre en 10 chapitres et 207 questions et exercices les bases de l'algèbre linéaire : systèmes d'équations linéaires ; calcul matriciel ; espaces vectoriels, euclidiens et hermitiens ; applications linéaires ; déterminants ; réductions des endomorphismes ; dualité ; formes bilinéaires et quadratiques. Un dernier chapitre regroupe quelques sujets d'examen.

Logique mathématique. Tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / Daniel Lascar . - paris : Dunod, 2007 . - XV-385 p. : ill. ; 24 cm.
ISBN : 978-2-10-005452-7
Langues : Français (fre) Langues originales : Français (fre)

Mots-clés :	Calcul propositionnel  Algèbre: Algèbre de Boole
Index. décimale :	512
Résumé :	Les ouvrages de la série " TD " répondent à trois objectifs : 1. " Apprendre " : un résumé du cours met en lumière l'essentiel de ce qu'il faut savoir. Il est suivi de tests de connaissances. 2. " Comprendre " : des questions de réflexion structurent les connaissances, en dégageant des idées générales, et leur donnent du sens, en les mettant en relation. Cette étape est essentielle pour favoriser une mémorisation intelligente et durable. 3. " Appliquer " : des exercices d'entraînement permettent de se préparer à l'examen. Leur énoncé est suivi de conseils pour les aborder et leurs solutions détaillées mettent l'accent sur le raisonnement et la méthode à mettre en œuvre. Cet ouvrage s'adresse aux étudiants du premier cycle (DEUG MIAS et MASS). Il couvre en 10 chapitres et 207 questions et exercices les bases de l'algèbre linéaire : systèmes d'équations linéaires ; calcul matriciel ; espaces vectoriels, euclidiens et hermitiens ; applications linéaires ; déterminants ; réductions des endomorphismes ; dualité ; formes bilinéaires et quadratiques. Un dernier chapitre regroupe quelques sujets d'examen.