Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionEditeurNoteTous motsISBNPPN       Modifier la recherche   > CERGY

Résultats de recherche  7 résultat(s) pour  Calcul des prédicats

Trier par: Choisissez...Aucun(e)AuteursTitresEditeursType de document Date d'édition croissanteDate d'édition décroissanteHIP titre Abreg inverse    Limiter par: Type de document --Livres imprimés --Revues papier --Thèses --Vidéos / DVD --Documents électroniques --Cartes --ArticlesBibliothèque --Cerclades --Chênes --Neuville --St Martin --Argenteuil --Sarcelles --Ensea --Antony --Cergy-Hirsch --Saint-Germain-en-Laye --GennevilliersLangue --Anglais --Français --Allemand --Italien --Japonais --Portugais --Espagnol

 

---

1. Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC Desclès , Jean-Pierre Hermann -- impr. 2010      2. Logique mathématique . 1 . Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés Cori , René Dunod , DL 2003      3. Logique élémentaire : cours de base pour informaticiens Zahnd , Jacques , 1939-.... Presses polytechniques et universitaires romandes : [diff. Tec & doc-Lavoisier] , 1998      4. Logique mathématique : cours et exercices . 1 . Calcul propositionnel, algèbres de Boole, calcul des prédicats Cori , René 2e tirage corrigé Masson , 1994      5. Logique . volume 1 . Méthodes pour l'informatique fondamentale Gochet , Paul , 1932-2011 Hermès -- DL 1990, cop. 1990      6. Langage PASCAL et logique du premier ordre . Tome 1 . Programmation en PASCAL - Prédicats - Systèmes formels - Fonctions récursives Margenstern , Maurice Masson , 1989      7. Logique moderne . Fascicule I . Logique des propositions et des prédicats, déduction naturelle Grize , Jean Blaise , 1922-2013 Deuxième édition Mouton : Gauthier-Villars : École pratique des hautes études , 1972

Ma liste : (ex. 1,2 ou 5-20, max. 100)

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.