Détail de l'indexation
511 Ouvrages de la bibliothèque en indexation 511.3 (12)
Affiner la recherche Interroger des sources externes
texte imprimé
René Cori, Auteur | 2021
texte imprimé
La théorie des langages est une branche fondamentale de l'informatique dont les concepts se retrouvent dans de nombreuses disciplines comme la conception de processeurs, la compilation de logiciels, l'intelligence artificielle... Cette disciplin[...]Nouveauté
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Paris : Dunod | Sciences sup | DL 2003Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.
texte imprimé
texte imprimé
texte imprimé
René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. | Paris : Dunod | Sciences sup | DL 2004La 4e de couverture indique : "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ématiq[...]
texte imprimé
René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. | Paris : Dunod | Sciences sup | DL 2004La 4e de couverture indique : "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ématiq[...]![Logique combinatoire et [lambda]-calcul](https://biblio.estin.dz/getimage.php?url_image=http%3A%2F%2Fimages-eu.amazon.com%2Fimages%2FP%2F%21%21isbn%21%21.08.MZZZZZZZ.jpg¬icecode=9782364935303¬ice_id=198&vigurl=)
texte imprimé
Jean-Pierre Desclès, Auteur ; Gaëll Guibert, Auteur ; Benoît Sauzay, Auteur | Toulouse : Cépaduès-Editions | DL 2016Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateu[...]
texte imprimé
Pierre Le Barbenchon, Auteur ; Sophie Pinchinat, Auteur ; François Schwarzentruber, Auteur | Malakoff : Dunod | Sciences Sup | DL 2022Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique vue en Licence 2 et 3 d'informatique et de mathématiques appliquées à l'informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux exe[...]
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Malakoff : Dunod | Sciences Sup | DL 2019Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
texte imprimé
texte imprimé
