Logique élémentaire / Jacques Zahnd

Public ISBD 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

---

1 (1 - 1 / 1)