
Introduction à la logique. Théorie de la démonstration, 2e édition
Ce cours est une introduction à 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. Ce livre s'adresse aux étudiants de licence et de maîtrise. Il ne suppose aucun pré requis en logique. Il pourra aussi intéresser les étudiants qui préparent le Capes et l'Agrégation et veulent pouvoir répondre aux questions de fond de leurs futurs élèves. Le premier chapitre est conçu pour pouvoir être lu et travaillé avec profit par les étudiants de DEUG MIAS qui veulent apprendre à raisonner correctement.
| Nombre de pages | 352 |
|---|---|
| Date de parution | 05/01/2004 |
| Poids | 610g |
| Largeur | 170mm |
| EAN | 9782100067961 |
|---|---|
| Titre | Introduction à la logique. Théorie de la démonstration, 2e édition |
| Auteur | David René ; Nour Karim ; Raffalli Christophe ; Cu |
| Editeur | DUNOD |
| Largeur | 170 |
| Poids | 610 |
| Date de parution | 20040105 |
| Nombre de pages | 352,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

Introduction à la logique. Théorie de la démonstration, 2e édition
David René ; Nour Karim ; Raffalli Christophe ; CuCet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres. Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.ÉPUISÉVOIR PRODUIT39,70 € -

Les grands systèmes de droit contemporains. 12e édition
David René ; Jauffret-Spinosi Camille ; Goré MarieRésumé : Le développement de plus en plus grand des relations internationales n'autorise plus le juriste d'aujourd'hui à se limiter à la seule connaissance de son droit national. A l'heure de l'européanisation, voire de la mondialisation, l'appréhension des systèmes de droit dans le monde est nécessaire pour mener à bien la réflexion vers un éventuel rapprochement des droits. Les grands systèmes de droit contemporains ont, depuis plus de trente ans, permis à de nombreux juristes français et étrangers, étudiants et praticiens, de découvrir les différentes familles de droits existant dans le monde. La traduction en onze langues de cet ouvrage, par delà la connaissance des systèmes étrangers, a contribué à une meilleure compréhension entre les juristes de divers horizons. Il demeure l'ouvrage fondamental de tous ceux qui, pour mieux connaître leur propre système, s'interrogent sur les autres droits.Sur commande, 2 à 4 joursCOMMANDER44,00 € -

Les démonstrations mathématiques. Cours complet avec 127 exercices résolus
David René ; Hyvernat Pierre ; Nour Karim ; RaffalRésumé : Préface de Gilles Dowek. Ce livre présente les règles qui permettent de faire les démonstrations mathématiques. Les exemples et exercices corrigés permettent de les illustrer sur preuves tirées des programmes d'enseignement des premières années universitaires. Il s'adresse aux enseignants de mathématiques du secondaire, étudiants et candidats aux concours d'enseignement en mathématiques.Sur commandeCOMMANDER35,00 €
Du même éditeur
-

L'homme sans fièvre
Marin ClaireSommes-nous tous malades ? La médecine, ses approches de l'humain, son vocabulaire ont pénétré dans notre univers quotidien. Une telle médicalisation de notre existence n'est pas sans effet. Les problèmes du corps et de l'âme se voient systématiquement redéfinis en pathologies et les différentes phases de la vie accompagnées de l'aide technique médicale. Celle-ci esquisse la figure d'un homme amélioré par les biotechnologies, débarrassé des aléas des passions, maîtrisant ses colères et ses pulsions : un homme sans fièvre. Ainsi paradoxalement, à mesure que la médecine identifie toujours plus de maladies, les hommes rêvent de parfaite guérison et en font à la fois une exigence personnelle et un idéal social. Guérir la société de ses blessures, nous défaire de notre vulnérabilité ; telle est la manière dont est interprétée trop rapidement l'idée d'une société du soin proposée par de nouvelles philosophies. Pourtant, soigner n'est pas un geste anodin, guérir ne se fait pas sans souffrance et généraliser le modèle médical, c'est aussi prendre le risque de banaliser sa violence spécifique.EN STOCKCOMMANDER9,95 € -

L'enfant et la communication. Comment gestes, attitudes, vocalisations deviennent des messages
Montagner HubertProfesseur des universités (psychophysiologie et neurosciences) a été directeur de recherches à l'Inserm. Auteur de plusieurs ouvrages (O. Jacob, Bayard, Stock) il est considéré comme une personnalité de référence dans le champ de la psychologie du développement des apprentissages et de la pédagogie. Ses ouvrages portent essentiellement sur les rythmes scolaires, l'attachement, les apprentissages scolaires, les interactions enfant animal.EN STOCKCOMMANDER33,66 € -

Infinix. De l'infini cosmique à l'infini quantique en BD
Schafer LaurentRésumé : Après le succès de Quantix qui a levé le voile sur la réalité cachée de notre monde, nous suivons les nouvelles aventures d'une famille ordinaire pour découvrir les mystères de l'infiniment grand et de l'infiniment petit. L'infiniment grand tout d'abord, où espace et temps sont intimement liés. Tandis que 500 ans s'écoulent ici, seules 5 petites secondes s'égrènent ailleurs. Le temps ne semble d'ailleurs pas vraiment "s'écouler" . L'infiniment petit ensuite, royaume des champs quantiques dans lesquels nous baignons tous et qui recèle bien des mystères. Et que dire du vide qui n'est en réalité... jamais vide : nous sommes ses créatures ! Préface de Michel Mayor, Prix Nobel de Physique 2019EN STOCKCOMMANDER18,00 € -

Les maladies ne tombent peut-être pas du ciel. Comment les événements négatifs ont un impact sur not
Tarquinio Cyril ; Cyrulnik BorisExiste-t-il un lien réel entre nos traumatismes d'enfant et les maladies que va déclencher notre corps ? Sans aucun doute. Douleurs chroniques, migraines, crampes au ventre, maux de dos, troubles cardio-vasculaires, cancers... Ces maladies ne sont pas seulement le signe physique d'un dérèglement de notre organisme, elles sont aussi un signal fort que quelque chose ne va pas dans notre mental. Grâce à la psychologie, la médecine ou encore les neurosciences, Cyril Tarquinio nous invite à mettre en perspective l'impact de notre histoire de vie sur notre (dé)construction, mais aussi sur celle de nos enfants. Cette balade à la fois humaniste, introspective et ludique devrait permettre à chacun d'entre nous de s'interroger sur son parcours personnel et son héritage éducatif, et de comprendre pourquoi il est l'individu qu'il est devenu. Préface de Boris CyrulnikEN STOCKCOMMANDER8,95 €

