- French
- PDF
- Disponible sur iOS et Android
À propos de ce livre
La faculté de raisonner sur des objets concrets ou abstraits est d'une importance fondamentale dans toutes les disciplines qui traitent d'objets dont les propriétés sont bien définies, telles que les mathématiques, l'informatique, les sciences exactes en général. L'informaticien en particulier doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, etc. Ce livre enseigne les techniques de base pour effectuer ces raisonnements non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c'est-à-dire en appliquant des règles précises de manipulation de symboles qui ne laissent aucune place à l'à peu près et à l'erreur. Ce sont les règles de la logique. Originalité Le raisonnement formel est un genre de calcul qui demande à être étudié, exercé et appliqué. C'est là le but principal de ce livre. Il fournit une formation de base, qui consiste en un exposé soigné des règles du raisonnement formel et leur application systématique au traitement de la théorie élémentaire des ensembles. Celle-ci a été choisie en tant que première application, en raison de l'importance des méthodes formelles ensemblistes en informatique. Public Cet ouvrage est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie des ensembles.
Foire aux questions
- Essentiel est idéal pour les apprenants et professionnels qui aiment explorer un large éventail de sujets. Accédez à la Bibliothèque Essentielle avec plus de 800 000 titres fiables et best-sellers en business, développement personnel et sciences humaines. Comprend un temps de lecture illimité et une voix standard pour la fonction Écouter.
- Intégral: Parfait pour les apprenants avancés et les chercheurs qui ont besoin d’un accès complet et sans restriction. Débloquez plus de 1,4 million de livres dans des centaines de sujets, y compris des titres académiques et spécialisés. Le forfait Intégral inclut également des fonctionnalités avancées comme la fonctionnalité Écouter Premium et Research Assistant.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sous iOS 13 ou Android 7 ou versions antérieures. En savoir plus sur l’utilisation de l’application.
Informations
Table des matières
- Couverture
- Table des matières
- 1 Introduction
- 2 Langages formels
- 3 Symboles d’un langage du premier ordre
- 4 Syntaxe d’un langage du premier ordre
- 5 Théories ou systèmes de déduction
- 6 Logique propositionnelle
- 7 Déductions dérivées de logique propositionnelle
- 8 Introduction à la théorie des ensembles
- 9 Logique des prédicats
- 10 Déductions dérivées de logique des prédicats
- 11 Logique des prédicats avec égalité
- 12 Extensions définitionnelles
- 13 Langages du premier ordre à opérateurs généraux
- 14 Opérateurs de réunion et de collection de la théorie des ensembles
- 15 Fonctions
- 16 Annexe
- Bibliographie
- Index