Introduction à la logique. Théorie de la démonstration, 2e édition
David René ; Nour Karim ; Raffalli Christophe ; Cu
DUNOD
38,70 €
Epuisé
EAN :9782100067961
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
Plus d'informations
Plus d'informations
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 €
Disponibilité
Epuisé
Pourquoi choisir Molière ?
Efficacité et rapiditéCommandé avant 16hlivré demain
Économique et pratiqueLivraison dès 3,90 €
Facile et sans fraisRetrait gratuiten magasin
Disponibilité et écouteContactez-nous sur WhatsApp
David René ; Nour Karim ; Raffalli Christophe ; Cu
Cet 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.
David René ; Jauffret-Spinosi Camille ; Goré Marie
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.
David René ; Hyvernat Pierre ; Nour Karim ; Raffal
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.
Cet aide-mémoire est principalement destiné aux étudiants en Licence, aux élèves de classes préparatoires ainsi qu'aux candidats au CAPES et à l'agrégation de mathématiques.• Complet, il regroupe sous forme condensée plus de 1 000définitions, formules et résultats du programme d’analyse, d’algèbre, de géométrie et de probabilités ;• Pratique, il permet, grâce à sa table des matières et à son index, de retrouver facilement les éléments utiles à la résolution d’un problème.Des remarques, mises en garde et conseils insérés dans le texte contribuent à faire de cet ouvrage un outil de travail indispensable.
Fondé sur une très riche expérience clinique et sur la recension des travaux psychanalytiques, cet ouvrage présente et analyse les modalités de constitution et de développement de la vie psychique. Texte réactualisé à l'occasion de cette 3e édition.
Cet ouvrage a vocation à être utile à tous les soignants, dès lors qu’ils sont confrontés dans leur pratique quotidienne à des décisions médicales qui les interpellent au plan éthique et qu’ils veulent pouvoir y voir plus clair, pour participer à leur juste place à la décision à prendre, en assumant leur part de responsabilité. L’ouvrage utilise un langage simple, clinique, abordable pour tous. La question n’est pas de proposer des développements théoriques pour justifier les fondements éthiques des décisions. Tout au plus propose-t-on des encarts : « Pour aller plus loin », donnant quelques références plus académiques permettant au lecteur qui le souhaite d’approfondir un point ou un autre. Par contre, on trouve dans le manuel des check-lists, permettant d’être un peu systématique dans la procédure d’instruction éthique d’un cas singulier, afin de ne pas oublier une étape ou une question importante, et aussi pour être au clair avec les grands repères éthiques qui balisent et encadrent la pratique soignante.