- 306 pages
- French
- PDF
- Disponible sur iOS et Android
eBook - PDF
Calcul en logique du premier ordre
À propos de ce livre
Un calcul logique, au sens large, est une méthode de résolution appliquée au traitement d'une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des expressions d'une langue naturelle (comme le français) que des expressions d'un langage formalisé (comme l'arithmétique), liées entre elles par une dépendance de nature fonctionnelle.
Cet ouvrage constitue une introduction à deux outils de calcul en logique du premier ordre, soit le calcul en arbres de consistance et le calcul en déduction naturelle. La première partie, centrée sur la notion de structure propositionnelle, expose les concepts, les objets et les méthodes propres à la logique propositionnelle. Dans la deuxième partie, la logique propositionnelle est étendue à la logique prédicative au moyen de la quantification et de concepts caractéristiques d'un langage du premier ordre. Les deux outils de calcul sont ensuite enrichis de manière à pouvoir traiter des fonctions propositionnelles, soit des prédicats du premier ordre.
De nombreux exemples et exercices, accompagnés de leurs solutions, aideront l'étudiant à progresser vers des calculs toujours plus complexes et à raffiner ses méthodes de calcul logique.
Informations
Sujet
MathematicsSujet
Logic in MathematicsTable des matières
- Couverture
- Avant-propos
- Table des matières
- Introduction
- Premìere partie - Logique propositionnelle
- Deuxième partie - Logique prédicative
- Bibliographie
- Index
- Quatrième de couverture
Approuvé par les 375,005 étudiants
Accès à plus de 1,5 million de titres pour un prix mensuel raisonnable.
Étudiez plus efficacement en utilisant nos outils d'étude.
Foire aux questions
Oui, vous pouvez résilier à tout moment à partir de l'onglet Abonnement dans les paramètres de votre compte sur le site Web de Perlego. Votre abonnement restera actif jusqu'à la fin de votre période de facturation actuelle. Découvrir comment résilier votre abonnement
Non, les livres ne peuvent pas être téléchargés sous forme de fichiers externes, tels que des PDF, pour être utilisés en dehors de Perlego. Cependant, vous pouvez télécharger des livres dans l'application Perlego pour les lire hors ligne sur votre téléphone portable ou votre tablette. Apprendre à télécharger des livres hors ligne
Perlego propose deux formules : Essential et Complete
- Essential est idéal pour les apprenants et les professionnels qui aiment explorer une grande variété de sujets. Accédez à la Essential Library avec plus de 800 000 titres de confiance et best-sellers dans les domaines du business, du développement personnel et des sciences humaines. Inclut un temps de lecture illimité et la voix Standard Read Aloud.
- Complete : Parfait pour les apprenants avancés et les chercheurs ayant besoin d'un accès total et sans restriction. Débloquez plus de 1,5 million de livres dans des centaines de sujets, y compris des titres académiques et spécialisés. Le forfait Complete inclut aussi des fonctionnalités avancées telles que Premium Read Aloud et Research Assistant.
Nous sommes un service déabonnement à des manuels scolaires en ligne, qui vous permet d'accéder à une bibliothèque en ligne entière pour moins que le prix d'un seul livre par mois. Avec plus de 1,5 million de livres sur plus de 990 thèmes, nous avons ce qu'il vous faut ! Découvrir notre mission
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l'écouter. L'outil Écouter lit le texte à haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l'accélérer ou le ralentir. En savoir plus sur la fonctionnalité Écouter
Oui ! Vous pouvez utiliser l'application Perlego sur les appareils iOS et Android pour lire à tout moment, n'importe où, même hors ligne. Parfait pour les trajets quotidiens ou lorsque vous êtes en déplacement.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sur iOS 13 et Android 7 ou versions antérieures. En savoir plus sur l'utilisation de l'application
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sur iOS 13 et Android 7 ou versions antérieures. En savoir plus sur l'utilisation de l'application
Oui, vous pouvez accéder à Calcul en logique du premier ordre de Yves Bouchard aux formats PDF et/ou ePub, ainsi qu'à d'autres livres populaires dans Mathematics et Logic in Mathematics. Nous avons plus de 1,5 million de livres disponibles dans notre catalogue pour vous.