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.
- 440 pages
- French
- PDF
- Disponible sur iOS et Android
eBook - PDF
À propos de ce livre
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.
Informations
Sujet
InformaticaSujet
ProgrammazioneTable 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
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 à Logique élémentaire de Jacques Zahnd aux formats PDF et/ou ePub, ainsi qu'à d'autres livres populaires dans Informatica et Programmazione. Nous avons plus de 1,5 million de livres disponibles dans notre catalogue pour vous.