Indexation 510.6 : Logique mathématique
510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique, etc.Ouvrages de la bibliothèque en indexation 510.6 (9)
Affiner la recherche
texte imprimé
Selma Djeddai, Auteur ; Mohamed Mezghiche, Auteur ; Samiya Hamadouche, Auteur | Alger : Pages bleues internationales | LMD/Engineers | 2025Logic takes part of our everyday lives, we use it every day both personally and professionally. We use logic to establish observations, to define concepts, or to formalize theories. We use logic to draw conclusions from these pieces of informa[...]
texte imprimé
Stéphane Devismes, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Michel Lévy, Auteur | Paris : Ellipses | Technosup | 2012Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.
texte imprimé
Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations[...]
texte imprimé
Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; Jean-Pierre Richard, Collaborateur | Paris ; Malakoff : Dunod | Dunod université | 1976Les systèmes logiques - dont les variables appartiennent à des ensembles finis - sont largement utilisés en Automatique et en Informatique. En effet, en Automatique (science de la commande des systèmes couplés au monde extérieur), on peut classe[...]
texte imprimé
Stephen Cole (1909-1994) Kleene, Auteur ; Jean Jean (1930-1995) Largeault, Traducteur | Paris : Jaques Gabay | 1987La logique est à la base de tout raisonnement, qu'il soit mathématique, méthodologique, probabiliste, statistique, etc. Paradoxalement, beaucoup de chercheurs raisonnent avec une logique informelle; ce livre permet de rendre plus formelle cette [...]
texte imprimé
texte imprimé
Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; J.-P. Richard, Collaborateur | Paris ; Malakoff : Dunod | Dunod université | 1976Cet ouvrage traite de l'étude de systèmes, appelés systèmes logiques, dont les variables appartiennent à des ensembles finis. Cette classe de systèmes est largement utilisée dans les deux sciences pour l'ingénieur que sont l'automatique et l'inf[...]
texte imprimé
Guillaume (19..-....) Connan, Auteur | Paris ; Malakoff : Dunod | J'intègre. Visa pour la prépa | 2021Vous souhaitez réussir votre entrée en prépa ? Ce manuel vous aidera à maîtriser tous les prérequis en maths et en informatique. Les révisions : pour vous aider à bien démarrer votre année, l'ouvrage revisite le programme du lycée dans l'esprit [...]
