A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
6 résultat(s) recherche sur le mot-clé 'calcul propositionnel' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Logique mathématique. 1 / René CORI (DL 2003)
Titre : Logique mathématique. 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur ; Jean-Louis KRIVINE, Préfacier, etc. Editeur : Malakoff : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-385 p. ISBN/ISSN/EAN : 978-2-10-005452-7 Langues : Anglais Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Logique mathématique. 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur ; Jean-Louis KRIVINE, Préfacier, etc. . - Malakoff : Dunod, DL 2003 . - XV-385 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005452-7
Langues : Anglais
Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 23040 COR/02/11185-I Livre Recherche Salle Disponible 19528 COR/02/7888-I Livre Recherche Salle Disponible Logique mathématique / Daniel PONASSE (Cop. 1967)
Titre : Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats Type de document : texte imprimé Auteurs : Daniel PONASSE, Auteur Editeur : Paris : O.C.D.L. Année de publication : Cop. 1967 Importance : 163 p. Langues : Français Catégories : 03-xx Mots-clés : logique mathématique prédicat calcul propositionnel Note de contenu : index, bibliogr. Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats [texte imprimé] / Daniel PONASSE, Auteur . - Paris : O.C.D.L., Cop. 1967 . - 163 p.
Langues : Français
Catégories : 03-xx Mots-clés : logique mathématique prédicat calcul propositionnel Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4411 PON/02/4079 a Livre Recherche Salle Disponible 5542 PON/02/4079 b Livre Recherche Salle Disponible 5540 PON/02/4079 c Livre Recherche Salle Disponible 20833 PON/02/8747 Livre Recherche Salle Exclu du prêt Logique mathématique / Daniel PONASSE (Cop. 1972)
Titre : Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats Type de document : texte imprimé Auteurs : Daniel PONASSE, Auteur Mention d'édition : 2ème éd. Editeur : Paris : O.C.D.L. Année de publication : Cop. 1972 Importance : 163 p. Langues : Français Mots-clés : logique mathématique prédicat calcul propositionnel Note de contenu : index, bibliogr. Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats [texte imprimé] / Daniel PONASSE, Auteur . - 2ème éd. . - Paris : O.C.D.L., Cop. 1972 . - 163 p.
Langues : Français
Mots-clés : logique mathématique prédicat calcul propositionnel Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i674 PON/02/i674 Livre Recherche Salle Exclu du prêt Algèbre moderne et activités humaines / John G. KEMENY (1965)
Titre : Algèbre moderne et activités humaines Titre original : Introduction to finite mathematics Type de document : texte imprimé Auteurs : John G. KEMENY, Auteur ; G. L. THOMPSON, Auteur ; J. L. SNELL, Auteur ; G. L. LOYAU, Traducteur Mention d'édition : 2ème éd. française révisée Editeur : Paris [France] : Dunod Année de publication : 1965 Collection : Collection finance et économie appliquée num. 7 Importance : 344 p. Présentation : ill. Langues : Français Langues originales : Anglais Mots-clés : calcul propositionnel théorie des probabilités programmation linéaire science du comportement algèbre moderne Note de contenu : index Algèbre moderne et activités humaines = Introduction to finite mathematics [texte imprimé] / John G. KEMENY, Auteur ; G. L. THOMPSON, Auteur ; J. L. SNELL, Auteur ; G. L. LOYAU, Traducteur . - 2ème éd. française révisée . - Paris (France) : Dunod, 1965 . - 344 p. : ill.. - (Collection finance et économie appliquée; 7) .
Langues : Français Langues originales : Anglais
Mots-clés : calcul propositionnel théorie des probabilités programmation linéaire science du comportement algèbre moderne Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1552 KEM/91/i1552 Livre Recherche Salle Disponible Algèbre moderne et activités humaines / John G. KEMENY (Cop. 1966)
Titre : Algèbre moderne et activités humaines Titre original : Introduction to finite mathematics Type de document : texte imprimé Auteurs : John G. KEMENY, Auteur ; G. L. THOMPSON, Auteur ; J. L. SNELL, Auteur Mention d'édition : 3ème éd. entièrement revue et augm. Editeur : Paris [France] : Dunod Année de publication : Cop. 1966 Collection : Collection finance et économie appliquée num. 7 Importance : XI-421 p. Présentation : ill. Note générale : Traduit par M. C. Loyau et M. Didier Langues : Français Mots-clés : calcul propositionnel théorie des probabilités programmation linéaire science du comportement algèbre moderne Note de contenu : index Algèbre moderne et activités humaines = Introduction to finite mathematics [texte imprimé] / John G. KEMENY, Auteur ; G. L. THOMPSON, Auteur ; J. L. SNELL, Auteur . - 3ème éd. entièrement revue et augm. . - Paris (France) : Dunod, Cop. 1966 . - XI-421 p. : ill.. - (Collection finance et économie appliquée; 7) .
Traduit par M. C. Loyau et M. Didier
Langues : Français
Mots-clés : calcul propositionnel théorie des probabilités programmation linéaire science du comportement algèbre moderne Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1552b KEM/91/i1552 b Livre Recherche Salle Disponible Les mathématiques modernes dans la pratique des affaires / John G. KEMENY (1964)
Permalink