Détail d'une collection
Collection Informatique
ISSN :
pas d'ISSN
|
Documents disponibles dans la collection (3)
Affiner la recherche Interroger des sources externes
Titre : Logique élémentaire : cours de base pour informaticien Type de document : texte imprimé Auteurs : Jacques Zahnd, Auteur Editeur : Lausanne : presses polytechniques et universitaires romandes Année de publication : cop. 1998 Autre Editeur : [Paris] : diff. Tec & doc-Lavoisier Collection : Collection Informatique Importance : VII-430 p. Présentation : ill. Format : 24 cm Accompagnement : formulaire de logique ISBN/ISSN/EAN : 978-2-88074-360-4 Note générale : Bibliogr. p. 423-425. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Logique symbolique et mathématique Résumé : chapitre1:introduction.chapitre2:langages formels.chapitre3: symboles d'un langage du premier ordre .chapitre4:syntaxe d'un langage du premier ordre .chapitre5:théories ou systémes de déduction.chapitre6: logique propositionnelle.chapitre7: déductions dérivées de logique propositionnelle.chapitre8: introduction à la théorie des ensembles.chapitre9: logique des prédicats.chapitre10: déductions dérivées de logique des prédicats.chapitre11: logique des prédicats avec égalité.chapitre12: extensions définitionnelles.chapitre13:langage du premier ordre à opérateurs généraux.chapitre14: opérateurs de réunion et de collection de la théorie des ensembles..chapitre15: fonctions.chapitre16:annexe. Logique élémentaire : cours de base pour informaticien [texte imprimé] / Jacques Zahnd, Auteur . - Lausanne : presses polytechniques et universitaires romandes : [Paris] : diff. Tec & doc-Lavoisier, cop. 1998 . - VII-430 p. : ill. ; 24 cm + formulaire de logique. - (Collection Informatique) .
ISBN : 978-2-88074-360-4
Bibliogr. p. 423-425. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Logique symbolique et mathématique Résumé : chapitre1:introduction.chapitre2:langages formels.chapitre3: symboles d'un langage du premier ordre .chapitre4:syntaxe d'un langage du premier ordre .chapitre5:théories ou systémes de déduction.chapitre6: logique propositionnelle.chapitre7: déductions dérivées de logique propositionnelle.chapitre8: introduction à la théorie des ensembles.chapitre9: logique des prédicats.chapitre10: déductions dérivées de logique des prédicats.chapitre11: logique des prédicats avec égalité.chapitre12: extensions définitionnelles.chapitre13:langage du premier ordre à opérateurs généraux.chapitre14: opérateurs de réunion et de collection de la théorie des ensembles..chapitre15: fonctions.chapitre16:annexe. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité m8/950--1 m8/950 Périodique Mathématiques et 'informatique indéterminé Disponible m8/950--2 m8/950 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Programmation orientée objets en C++ : une approche évolutive Type de document : texte imprimé Auteurs : Marylène Micheloud, Auteur ; Medard Rieder, Auteur Editeur : Lausanne : presses polytechniques et universitaires romandes Année de publication : 1996 Autre Editeur : [Paris] : diff. Tec et doc-Lavoisier Collection : Collection Informatique Importance : XVI-261 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-334-5 Note générale : Bibliogr. p. 255-256. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Conception orientée objets ( informatique) C plus-plus ( langage de programmation) Programmation orientée objets ( informatique) Résumé : partie1: le langage c++.partie2:programmation orien tée objets en c++.partie3:analyse et conception orientées objets. Programmation orientée objets en C++ : une approche évolutive [texte imprimé] / Marylène Micheloud, Auteur ; Medard Rieder, Auteur . - Lausanne : presses polytechniques et universitaires romandes : [Paris] : diff. Tec et doc-Lavoisier, 1996 . - XVI-261 p. : ill. ; 24 cm. - (Collection Informatique) .
ISBN : 978-2-88074-334-5
Bibliogr. p. 255-256. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Conception orientée objets ( informatique) C plus-plus ( langage de programmation) Programmation orientée objets ( informatique) Résumé : partie1: le langage c++.partie2:programmation orien tée objets en c++.partie3:analyse et conception orientées objets. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité m8/949--2 m8/949 Périodique Mathématiques et 'informatique indéterminé Disponible m8/949--1 m8/949 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Programmation séquentielle avec ADA 95 Type de document : texte imprimé Auteurs : Pierre Breguet, Auteur ; Luigi Zaffalon, Auteur Editeur : Lausanne : presses polytechniques et universitaires romandes Année de publication : [diff. Tec et doc-Lavoisier] Collection : Collection Informatique Importance : XVI-384 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-404-5 Note générale : Bibliogr. p. 365-368. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Ada 95 (langage de programmation) Résumé : Présentation dans une même démarche du processus d eprogrammaiton et de sa mise en oeuvre avec Ada, en s'appuyant sur une approche structurée et systématique. Programmation séquentielle avec ADA 95 [texte imprimé] / Pierre Breguet, Auteur ; Luigi Zaffalon, Auteur . - Lausanne : presses polytechniques et universitaires romandes, [diff. Tec et doc-Lavoisier] . - XVI-384 p. : ill. ; 24 cm. - (Collection Informatique) .
ISBN : 978-2-88074-404-5
Bibliogr. p. 365-368. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Ada 95 (langage de programmation) Résumé : Présentation dans une même démarche du processus d eprogrammaiton et de sa mise en oeuvre avec Ada, en s'appuyant sur une approche structurée et systématique. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité m8/2477--1 m8/2477 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2477--2 m8/2477 Périodique Mathématiques et 'informatique indéterminé Disponible
