Détail de l'auteur
Auteur Daniel Lascar |
Documents disponibles écrits par cet auteur (3)
Affiner la recherche Interroger des sources externes
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. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 510/330-1 510/330-1 Périodique Bibliothèque Centrale indéterminé Disponible 510/330-2 510/330-2 Périodique Bibliothèque Centrale indéterminé Disponible 510/330-3 510/330-3 Périodique Bibliothèque Centrale indéterminé Disponible 510/330-4 510/330-4 Périodique Bibliothèque Centrale indéterminé Disponible Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats / René Cori ; Daniel Lascar
Titre : Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats : Volume 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar Editeur : Dunod Année de publication : 2003 Collection : Aide-Mémoire Importance : 408 p Format : 24 cm ISBN/ISSN/EAN : 978210005452 Langues : Arabe (ara) Mots-clés : Scientifiques et techniques et sciences humaines Mathématiques Sciences & Techniques Collège Sciences Logique Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude En ligne : //www.librairiedialogues.fr//ws/book/9782100054527/unimarc_utf-8 Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats : Volume 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Dunod, 2003 . - 408 p ; 24 cm. - (Aide-Mémoire) .
ISSN : 978210005452
Langues : Arabe (ara)
Mots-clés : Scientifiques et techniques et sciences humaines Mathématiques Sciences & Techniques Collège Sciences Logique Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude En ligne : //www.librairiedialogues.fr//ws/book/9782100054527/unimarc_utf-8 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Logique mathématique - Tome 2 - Fonctions récursives, théorème de Godel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar Editeur : Dunod Année de publication : 2003 Collection : Aide-Mémoire Importance : 368 p Format : 24 cm ISBN/ISSN/EAN : 978210005453 Langues : Arabe (ara) Mots-clés : Scientifiques et techniques et sciences humaines Mathématiques Sciences & Techniques Collège Logique Résumé : Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Godel et à la théorie des ensembles ainsi qu'à la théorie des modèles En ligne : //www.librairiedialogues.fr//ws/book/9782100054534/unimarc_utf-8 Logique mathématique - Tome 2 - Fonctions récursives, théorème de Godel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Dunod, 2003 . - 368 p ; 24 cm. - (Aide-Mémoire) .
ISSN : 978210005453
Langues : Arabe (ara)
Mots-clés : Scientifiques et techniques et sciences humaines Mathématiques Sciences & Techniques Collège Logique Résumé : Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Godel et à la théorie des ensembles ainsi qu'à la théorie des modèles En ligne : //www.librairiedialogues.fr//ws/book/9782100054534/unimarc_utf-8 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
