Afficher la couverture 'Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori,... Daniel Lascar,... | Cori, René. Auteur' en grand format
/5

0 avis

Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori,... Daniel Lascar,...

Livre

Cori, René. Auteur | Lascar, Daniel (1942-....). Auteur

Edited by Dunod - 2003

Autres documents dans la collection «Sciences sup»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie d...

Livre | Cori, René. Auteur | 2003

Ce 2e 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.

Du même sujet

Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 1990

Introduction to global logistics : delivering the goods / John Manners-Bell

Livre | Manners-Bell, John. Auteur | 2017 - Second edition.

"The new edition of Introduction to Global Logistics considers how the logistics industry has developed; how it is influenced by macro-economic factors and demand-side trends; what the risks are to the industry and how it will dev...

La logique propositionnelle et ses variantes : une approche comparée / Fran...

Livre | Lepage, François (1950-....). Auteur | 2022

Introduction à la métalogique du calcul proportionnel, cet ouvrage contient non seulement l'initiation aux concepts de base du domaine (syntaxe, sémantique, consistance, complétude, etc.), mais également des développements utiles ...

Méthodes booléennes en recherche opérationnelle / Peter L. Hammer (Ivǎnescu...

Livre | Hammer, Peter L. (1936-2006). Auteur | 1970

Précis de recherche opérationnelle : cours et exercices d'application / Rob...

Livre | Faure, Robert (1918-1982). Auteur | 2004 - 5e édition

Chargement des enrichissements...