000			a
001			10246
010			_a9782340016668
090			_a10246
099			_tMON
100			_a20170606 frey50
101	0		_afre
102			_aFR
200	1		_aLes dm̌onstrations mathm̌atiques _ecours complet avec 127 exercices ršolus _fprf̌ace de Gilles Dowek _g[avec] Ren Ďavid, Pierre Hyvernat, Karim Nour... [et al.]
210			_aParis _cEllipses _dDL 2017 _e92-Nanterre
215			_a1 vol. (360 p.) _cill. _d24 cm
225			_aRf̌řences sciences
300			_aIndex
330			_aCe livre pršente le langage utilis p̌ar les mathm̌aticiens en commenȧnt par la construction et la sm̌antique des ňoncš. Les rg̈les de raisonnement l̉a base de toutes les dm̌onstrations sont ensuite exposěs en dťail. Nous dťaillons ǧalement les ľm̌ents de franȧis qui permettent d'exprimer les preuves mathm̌atiques par des textes concis, variš et intelligibles. La seconde moiti ďe l'ouvrage insiste sur les difficultš de raisonnement et de langage exclusivement t̉ravers d'exemples. La plupart sont tirš du programme du lycě et de premir̈e anně universitaire ; d'autres, ludiques et moins conventionnels, ne nčessitent pas de connaissance supplm̌entaire. Les nombreux exercices ne testent pas uniquement les compťences mathm̌atiques mais surtout la comprȟension des principes de dm̌onstration. ° notre connaissance, ce style d'exercice n'existe dans aucun autre ouvrage. Les corrections proposěs ne contiennent pas simplement une dm̌onstration possible mais sont souvent accompagněs de commentaires sur le raisonnement sous-jacent. Ce livre ne traite pas de logique formelle mais se veut une rf̌řence pour un cours de mathm̌atiques sur le raisonnement tel qu'il est pratiqu.̌ L'enseignant y trouvera des exemples et des explications qu'il pourra facilement rǔtiliser. L'ťudiant qui aura assimil ľes principes pršentš sera mieux arm p̌our s'attaquer l̉a comprȟension de notions mathm̌atiques plus complexes."
606			_aThǒrie de la dm̌onstration _xManuels d'enseignement supřieur
606			_aRaisonnement _xManuels d'enseignement supřieur
686			_aMON _2Cadre de classement de la Bibliographie nationale franȧise