A partir de cette page vous pouvez :
author
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Jacques Zahnd |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesLogique élémentaire / Jacques Zahnd (2003)
Titre : Logique élémentaire : cours de base pour informaticiens (suplément) Type de document : texte imprime Auteurs : Jacques Zahnd Mention d'édition : 2e èd. Editeur : Lausanne : P.P.U.R. Année de publication : 2003 Collection : Informatique Importance : 427p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-360-4 Note générale : Bibliogr. Index Langues : Français Mots-clés : Logique Langage Informatique Mathématique Déduction Opérateurs Résumé :
L’informaticien doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, et il a besoin pour cela d’un outil de base. Essentiellement pédagogique, cet ouvrage se propose donc d’enseigner les techniques élémentaires pour raisonner non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c’est-à -dire en appliquant des règles précises de manipulation de symboles ne laissant aucune place à l’ambiguïté et à l’erreur selon les règles de la logique. Il est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie élémentaire des ensembles.Note de contenu :
1 Introduction – Buts généraux – La logique – Plan de l’ouvrage
Langages formels – Expressions d’un langage – Syntaxe et sémantique – Termes et propositions – Langage et métalangage
Symboles d’un langage du premier ordre – Exemple mathématique – Exemple informatique – Variables et constantes individuelles – Symboles fonctionnels – Symboles relationnels – Connecteurs logiques – Quantificateurs – Donn´ee d’un langage du premier ordre
Syntaxe d’un langage du premier ordre – Diagrammes et règles syntaxiques – Constructions génératrices – Arbres des termes et propositions – Variables libres et variables liées – Substitutions – Termes librement substituables – Exercices
Théories ou systèmes de déduction – Déductions – Hypothèses et jugements – Théories – Démonstrations et déductions – Théorèmes – Propositions vraies, propositions fausses – Extensions d’une théorie
Logique propositionnelle – Déductions élémentaires – Quelques démonstrations – Démonstrations naturelles – La loi du tiers exclu et la logique intuitionniste – Déductions structurelles
Déductions dérivées de logique propositionnelle – Proposition fausse et contradictions – Schémas d’implication – Disjonctions de cas contraires – Propriétés de l’équivalence – Substitutivité de l’équivalence – Schémas de déduction booléens – La règle de dualité – Formes booéennes de l’implication et de l’équivalence – Simplifications conditionnelles – Conditions nécessaires et suffisantes – Exercices
Introduction à la théorie des ensembles – Le rôle de la théorie des ensembles – L’univers de la théorie des ensembles
Logique des prédicats – Déductions élémentaires – Convention d’un langage universel – Particularisations – Généralisations – Rôle des déductions structurelles – Introduction de quantificateurs existentiels – Elimination de quantificateurs existentiels
Déductions dérivées de logique des prédicats – Substitutivité de l’équivalence – Dualité en logique des prédicats – Permutation distribution de quantificateurs – Changements de variables liées – Particularisations simultanées – Exemplifications – Application à la théorie des ensembles – Formes prénexes – Quantificateurs typés
Logique des prédicats avec égalité – Déductions élémentaires – Schémas de déduction dérivés – Application à la théorie des ensembles – Quantificateurs d’unicité – Exercices
Extensions définitionnelles – Axiomes et schémas définitionnels – Couples et graphes
Langages du premier ordre à opérateurs généraux – Opérateurs généraux – Sélecteurs – Termes conditionnels
Opérateurs de réunion et de collection de la théorie des ensembles – Opérateurs de réunion – Opérateurs de collection simples – Opérateurs de collection généraux
Fonctions – Fonctions et applications – Opérateurs d’abstraction – Propriétés de fonctions
Annexe – Démonstrations de théorie des ensembles
Bibliographie
IndexPermalink : ./index.php?lvl=notice_display&id=10119 Logique élémentaire : cours de base pour informaticiens (suplément) [texte imprime] / Jacques Zahnd . - 2e èd. . - Lausanne : P.P.U.R., 2003 . - 427p. : ill. ; 24 cm. - (Informatique) .
ISBN : 978-2-88074-360-4
Bibliogr. Index
Langues : Français
Mots-clés : Logique Langage Informatique Mathématique Déduction Opérateurs Résumé :
L’informaticien doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, et il a besoin pour cela d’un outil de base. Essentiellement pédagogique, cet ouvrage se propose donc d’enseigner les techniques élémentaires pour raisonner non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c’est-à -dire en appliquant des règles précises de manipulation de symboles ne laissant aucune place à l’ambiguïté et à l’erreur selon les règles de la logique. Il est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie élémentaire des ensembles.Note de contenu :
1 Introduction – Buts généraux – La logique – Plan de l’ouvrage
Langages formels – Expressions d’un langage – Syntaxe et sémantique – Termes et propositions – Langage et métalangage
Symboles d’un langage du premier ordre – Exemple mathématique – Exemple informatique – Variables et constantes individuelles – Symboles fonctionnels – Symboles relationnels – Connecteurs logiques – Quantificateurs – Donn´ee d’un langage du premier ordre
Syntaxe d’un langage du premier ordre – Diagrammes et règles syntaxiques – Constructions génératrices – Arbres des termes et propositions – Variables libres et variables liées – Substitutions – Termes librement substituables – Exercices
Théories ou systèmes de déduction – Déductions – Hypothèses et jugements – Théories – Démonstrations et déductions – Théorèmes – Propositions vraies, propositions fausses – Extensions d’une théorie
Logique propositionnelle – Déductions élémentaires – Quelques démonstrations – Démonstrations naturelles – La loi du tiers exclu et la logique intuitionniste – Déductions structurelles
Déductions dérivées de logique propositionnelle – Proposition fausse et contradictions – Schémas d’implication – Disjonctions de cas contraires – Propriétés de l’équivalence – Substitutivité de l’équivalence – Schémas de déduction booléens – La règle de dualité – Formes booéennes de l’implication et de l’équivalence – Simplifications conditionnelles – Conditions nécessaires et suffisantes – Exercices
Introduction à la théorie des ensembles – Le rôle de la théorie des ensembles – L’univers de la théorie des ensembles
Logique des prédicats – Déductions élémentaires – Convention d’un langage universel – Particularisations – Généralisations – Rôle des déductions structurelles – Introduction de quantificateurs existentiels – Elimination de quantificateurs existentiels
Déductions dérivées de logique des prédicats – Substitutivité de l’équivalence – Dualité en logique des prédicats – Permutation distribution de quantificateurs – Changements de variables liées – Particularisations simultanées – Exemplifications – Application à la théorie des ensembles – Formes prénexes – Quantificateurs typés
Logique des prédicats avec égalité – Déductions élémentaires – Schémas de déduction dérivés – Application à la théorie des ensembles – Quantificateurs d’unicité – Exercices
Extensions définitionnelles – Axiomes et schémas définitionnels – Couples et graphes
Langages du premier ordre à opérateurs généraux – Opérateurs généraux – Sélecteurs – Termes conditionnels
Opérateurs de réunion et de collection de la théorie des ensembles – Opérateurs de réunion – Opérateurs de collection simples – Opérateurs de collection généraux
Fonctions – Fonctions et applications – Opérateurs d’abstraction – Propriétés de fonctions
Annexe – Démonstrations de théorie des ensembles
Bibliographie
IndexPermalink : ./index.php?lvl=notice_display&id=10119 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité C192/1 C192 Livre Magasin d'Ouvrages / FGE Commandes Consultation sur place
Exclu du prêtC192/2 C192 Livre Magasin d'Ouvrages / FGE Commandes Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Traité d'électricité.Vol.11, Machines séquentielles Type de document : texte imprime Auteurs : Jacques Zahnd Mention d'édition : . Editeur : Lausanne : Georgi Année de publication : 1980 Collection : Traité d'électricité Importance : 265 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-604-00013-6 Note générale : Bibliogr.Index Langues : Français Mots-clés : Machines Séquentielles Ensembles Table d'état Résumé :
Les systèmes, au sens technologique du terme, établissent des relations causales entre des sollicitations dites signaux d’entrée et des réponses dites signaux de sortie. Cas particulier de cette notion générale, les systèmes discrets, appelés ici machines, sont caractérisés par le fait que les signaux ne sont définis qu’à certains instants privilégiés d’échantillonnage, et que les valeurs possibles des signaux en ces instants sont en nombre fini. L’étude de ces machines abstraites débouche sur diverses méthodes de synthèse des systèmes logiques séquentiels. On commence par un rappel des éléments de théorie des ensembles nécessaires à la théorie des machines, permettant au lecteur de se familiariser avec le style mathématique de l’ouvrage. On définit ensuite la notion mathématique de machine, les opérations d’assemblage ou de composition de machines, et l’on représente quelques types fondamentaux de machines. Puis, on passe à certains modes de représentation des machines binaires, les équations de récurrence et les graphes de récurrence booléens appliqués à la formalisation de cahiers des charges. On aborde encore les problèmes de réduction d’une machinne de Mealy et d’assignement d’une machine séquentielle.Note de contenu :
Préliminaires
Machines
Spécification des machines binaires
Expressions régulières
Réduction des machines de mealy
Décomposition et assignement des machines séquentiellesPermalink : ./index.php?lvl=notice_display&id=13155 Traité d'électricité.Vol.11, Machines séquentielles [texte imprime] / Jacques Zahnd . - . . - Lausanne : Georgi, 1980 . - 265 p. : ill. ; 24 cm. - (Traité d'électricité) .
ISBN : 978-2-604-00013-6
Bibliogr.Index
Langues : Français
Mots-clés : Machines Séquentielles Ensembles Table d'état Résumé :
Les systèmes, au sens technologique du terme, établissent des relations causales entre des sollicitations dites signaux d’entrée et des réponses dites signaux de sortie. Cas particulier de cette notion générale, les systèmes discrets, appelés ici machines, sont caractérisés par le fait que les signaux ne sont définis qu’à certains instants privilégiés d’échantillonnage, et que les valeurs possibles des signaux en ces instants sont en nombre fini. L’étude de ces machines abstraites débouche sur diverses méthodes de synthèse des systèmes logiques séquentiels. On commence par un rappel des éléments de théorie des ensembles nécessaires à la théorie des machines, permettant au lecteur de se familiariser avec le style mathématique de l’ouvrage. On définit ensuite la notion mathématique de machine, les opérations d’assemblage ou de composition de machines, et l’on représente quelques types fondamentaux de machines. Puis, on passe à certains modes de représentation des machines binaires, les équations de récurrence et les graphes de récurrence booléens appliqués à la formalisation de cahiers des charges. On aborde encore les problèmes de réduction d’une machinne de Mealy et d’assignement d’une machine séquentielle.Note de contenu :
Préliminaires
Machines
Spécification des machines binaires
Expressions régulières
Réduction des machines de mealy
Décomposition et assignement des machines séquentiellesPermalink : ./index.php?lvl=notice_display&id=13155 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité TE11/V11/2 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/3 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/4 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/5 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/6 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/7 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/8 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/9 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/10 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/11 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/12 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/13 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/14 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/15 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/16 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/17 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/18 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible TE11/V11/19 TE11/V11 Livre Magasin d'Ouvrages / FGE Traité d'électricité Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
