A partir de cette page vous pouvez :
publisher
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'éditeur
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesCommande numérique de systèmes dynamique. Tome 1 / Roland Longchamp (2006)
Titre : Commande numérique de systèmes dynamique. Tome 1 : cours d'automatique Type de document : texte imprime Auteurs : Roland Longchamp Mention d'édition : 2e éd.rev. et aug. Editeur : Lausanne : P.P.U.R. Année de publication : 2006 Importance : 757p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-88074-880-7 Note générale : Bibliogr. Index Langues : Français Mots-clés : Commande floue Automatique Echantillonnage Systèmes discrets Résumé : Cet ouvrage en deux volumes constitue une large présentation du domaine de l'automatique. Destiné à être exploité comme support didactique dans le cadre d'un cours d'automatique, les étudiants ingénieurs y découvriront, dans un cadre structuré et formateur, d'efficaces méthodologies d'analyse et de synthèse des lois de commande. Le livre s'adresse de surcroît aux ingénieurs soucieux de compléter ou de renouveler leurs connaissances en automatique. Fruit d'une solide expérience d'enseignement et de recherche, le texte adopte une vision résolument systémique et interdisciplinaire. Les méthodologies qu'il offre peuvent ainsi être exploitées pour la commande de systèmes les plus variés. Actuellement, tous les projets d'automatisation tirent profit des vastes ressources informatiques disponibles, tant au niveau de la réalisation des algorithmes de commande qu'à ceux de leur analyse et de leur synthèse. Le livre reflète cet état de fait : les aspects numériques sont soigneusement pris en compte et finement explorés.
Le premier volume couvre les méthodes d'analyse et de synthèse des régulateurs standard. Quant au second volume, il constitue une ouverture vers des techniques plus avancées : régulateur polynomial et synthèse algébrique, identification, commande adaptative, méthodes d'état et commande floue. L'exposé se caractérise par une approche très didactique et une grande rigueur, sans pour autant sacrifier les aspects pratiques. Chaque chapitre est enrichi de nombreux exemples pouvant être reproduits et approfondis à l'aide d'applications interactives contenues dans un CD-ROM intégré à l'ouvrage. Ces exemples, ainsi qu'un ensemble cohérent de problèmes, illustrent les difficultés et la portée des résultats.
L'exposé se caractérise par une approche très didactique et une grande rigueur, sans pour autant sacrifier les aspects pratiques. Chaque chapitre est enrichi de nombreux exemples pouvant être reproduits et approfondis à l'aide d'applications interactives contenues dans un CD-ROM intégré à l'ouvrage. Ces exemples, ainsi qu'un ensemble cohérent de problèmes, illustrent les difficultés et la portée des résultat.
Note de contenu :
-Outils de base
-Introduction à la commande automatique
-Échantillonnage et reconstruction
-Systèmes discrets
-Transformée en z
-Analyse et synthèse des systèmes automatiques
-Fonction de transfert du système bouclé
-Réponse harmonique
-Stabilité
- Numérisation
-Synthèse directe
-Compléments mathématiques
-Commande analogique
-Guide d'utilisation succinct des applications contenues dans le CD-ROMPermalink : ./index.php?lvl=notice_display&id=9578 Commande numérique de systèmes dynamique. Tome 1 : cours d'automatique [texte imprime] / Roland Longchamp . - 2e éd.rev. et aug. . - Lausanne : P.P.U.R., 2006 . - 757p. : ill. ; 25 cm.
ISBN : 978-2-88074-880-7
Bibliogr. Index
Langues : Français
Mots-clés : Commande floue Automatique Echantillonnage Systèmes discrets Résumé : Cet ouvrage en deux volumes constitue une large présentation du domaine de l'automatique. Destiné à être exploité comme support didactique dans le cadre d'un cours d'automatique, les étudiants ingénieurs y découvriront, dans un cadre structuré et formateur, d'efficaces méthodologies d'analyse et de synthèse des lois de commande. Le livre s'adresse de surcroît aux ingénieurs soucieux de compléter ou de renouveler leurs connaissances en automatique. Fruit d'une solide expérience d'enseignement et de recherche, le texte adopte une vision résolument systémique et interdisciplinaire. Les méthodologies qu'il offre peuvent ainsi être exploitées pour la commande de systèmes les plus variés. Actuellement, tous les projets d'automatisation tirent profit des vastes ressources informatiques disponibles, tant au niveau de la réalisation des algorithmes de commande qu'à ceux de leur analyse et de leur synthèse. Le livre reflète cet état de fait : les aspects numériques sont soigneusement pris en compte et finement explorés.
Le premier volume couvre les méthodes d'analyse et de synthèse des régulateurs standard. Quant au second volume, il constitue une ouverture vers des techniques plus avancées : régulateur polynomial et synthèse algébrique, identification, commande adaptative, méthodes d'état et commande floue. L'exposé se caractérise par une approche très didactique et une grande rigueur, sans pour autant sacrifier les aspects pratiques. Chaque chapitre est enrichi de nombreux exemples pouvant être reproduits et approfondis à l'aide d'applications interactives contenues dans un CD-ROM intégré à l'ouvrage. Ces exemples, ainsi qu'un ensemble cohérent de problèmes, illustrent les difficultés et la portée des résultats.
L'exposé se caractérise par une approche très didactique et une grande rigueur, sans pour autant sacrifier les aspects pratiques. Chaque chapitre est enrichi de nombreux exemples pouvant être reproduits et approfondis à l'aide d'applications interactives contenues dans un CD-ROM intégré à l'ouvrage. Ces exemples, ainsi qu'un ensemble cohérent de problèmes, illustrent les difficultés et la portée des résultat.
Note de contenu :
-Outils de base
-Introduction à la commande automatique
-Échantillonnage et reconstruction
-Systèmes discrets
-Transformée en z
-Analyse et synthèse des systèmes automatiques
-Fonction de transfert du système bouclé
-Réponse harmonique
-Stabilité
- Numérisation
-Synthèse directe
-Compléments mathématiques
-Commande analogique
-Guide d'utilisation succinct des applications contenues dans le CD-ROMPermalink : ./index.php?lvl=notice_display&id=9578 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité AUTO139/T1/1 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Consultation sur place
Exclu du prêtAUTO139/T1/2 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T1/3 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T1/4 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T1/5 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T1/6 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T1/7 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T1/8 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T1/9 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T1/10 AUTO139/T1 Livre Magasin d'Ouvrages / FGE Automatique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Synyhèse d'une commande robuste Retif, Jean -Marie Méthodes de synthèse de correcteurs numérique Zemehi, Lila Commande des procédés Corriou, Jean-Pierre La régulation industrielle Flaus, Jean-Marie Commande et temps discret Blanchet, Gérard Modélisation et identification des processus. Tome 2 Borne, Pierre Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Commande numérique de systèmes dynamique. Tome 2 : cours d'automatique Type de document : texte imprime Auteurs : Roland Longchamp Mention d'édition : 2e éd.rev. et aug. Editeur : Lausanne : P.P.U.R. Année de publication : 2006 Importance : 757p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-88074-881-4 Note générale : Bibliogr. Index Langues : Français Mots-clés : Commande floue Approche polynomiale Echantillonnage Résumé : Cet ouvrage en deux volumes constitue une large présentation du domaine de l'automatique. Destiné à être exploité comme support didactique dans le cadre d'un cours d'automatique, les étudiants ingénieurs y découvriront, dans un cadre structuré et formateur, d'efficaces méthodologies d'analyse et de synthèse des lois de commande. Le livre s'adresse de surcroît aux ingénieurs soucieux de compléter ou de renouveler leurs connaissances en automatique. Fruit d'une solide expérience d'enseignement et de recherche, le texte adopte une vision résolument systémique et interdisciplinaire. Les méthodologies qu'il offre peuvent ainsi être exploitées pour la commande de systèmes les plus variés. Actuellement, tous les projets d'automatisation tirent profit des vastes ressources informatiques disponibles, tant au niveau de la réalisation des algorithmes de commande qu'à ceux de leur analyse et de leur synthèse. Le livre reflète cet état de fait : les aspects numériques sont soigneusement pris en compte et finement explorés.
Le premier volume couvre les méthodes d'analyse et de synthèse des régulateurs standard. Quant au second volume, il constitue une ouverture vers des techniques plus avancées : régulateur polynomial et synthèse algébrique, identification, commande adaptative, méthodes d'état et commande floue. L'exposé se caractérise par une approche très didactique et une grande rigueur, sans pour autant sacrifier les aspects pratiques. Chaque chapitre est enrichi de nombreux exemples pouvant être reproduits et approfondis à l'aide d'applications interactives contenues dans un CD-ROM intégré au premier volume. Ces exemples, ainsi qu'un ensemble cohérent de problèmes, illustrent les difficultés et la portée des résultats.
L'exposé se caractérise par une approche très didactique et une grande rigueur, sans pour autant sacrifier les aspects pratiques. Chaque chapitre est enrichi de nombreux exemples pouvant être reproduits et approfondis à l'aide d'applications interactives contenues dans un CD-ROM intégré à l'ouvrage. Ces exemples, ainsi qu'un ensemble cohérent de problèmes, illustrent les difficultés et la portée des résultats.Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=9579 Commande numérique de systèmes dynamique. Tome 2 : cours d'automatique [texte imprime] / Roland Longchamp . - 2e éd.rev. et aug. . - Lausanne : P.P.U.R., 2006 . - 757p. : ill. ; 25 cm.
ISBN : 978-2-88074-881-4
Bibliogr. Index
Langues : Français
Mots-clés : Commande floue Approche polynomiale Echantillonnage Résumé : Cet ouvrage en deux volumes constitue une large présentation du domaine de l'automatique. Destiné à être exploité comme support didactique dans le cadre d'un cours d'automatique, les étudiants ingénieurs y découvriront, dans un cadre structuré et formateur, d'efficaces méthodologies d'analyse et de synthèse des lois de commande. Le livre s'adresse de surcroît aux ingénieurs soucieux de compléter ou de renouveler leurs connaissances en automatique. Fruit d'une solide expérience d'enseignement et de recherche, le texte adopte une vision résolument systémique et interdisciplinaire. Les méthodologies qu'il offre peuvent ainsi être exploitées pour la commande de systèmes les plus variés. Actuellement, tous les projets d'automatisation tirent profit des vastes ressources informatiques disponibles, tant au niveau de la réalisation des algorithmes de commande qu'à ceux de leur analyse et de leur synthèse. Le livre reflète cet état de fait : les aspects numériques sont soigneusement pris en compte et finement explorés.
Le premier volume couvre les méthodes d'analyse et de synthèse des régulateurs standard. Quant au second volume, il constitue une ouverture vers des techniques plus avancées : régulateur polynomial et synthèse algébrique, identification, commande adaptative, méthodes d'état et commande floue. L'exposé se caractérise par une approche très didactique et une grande rigueur, sans pour autant sacrifier les aspects pratiques. Chaque chapitre est enrichi de nombreux exemples pouvant être reproduits et approfondis à l'aide d'applications interactives contenues dans un CD-ROM intégré au premier volume. Ces exemples, ainsi qu'un ensemble cohérent de problèmes, illustrent les difficultés et la portée des résultats.
L'exposé se caractérise par une approche très didactique et une grande rigueur, sans pour autant sacrifier les aspects pratiques. Chaque chapitre est enrichi de nombreux exemples pouvant être reproduits et approfondis à l'aide d'applications interactives contenues dans un CD-ROM intégré à l'ouvrage. Ces exemples, ainsi qu'un ensemble cohérent de problèmes, illustrent les difficultés et la portée des résultats.Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=9579 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité AUTO139/T2/1 AUTO139/T2 Livre Magasin d'Ouvrages / FGE Automatique Consultation sur place
Exclu du prêtAUTO139/T2/2 AUTO139/T2 Livre Magasin d'Ouvrages / FGE Automatique Disponible AUTO139/T2/3 AUTO139/T2 Livre Magasin d'Ouvrages / FGE Automatique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Automatique-Systèmes linéaires , non linéaires ,à temps continu, à temps discret, représentation d'état Granjon, Yves Systèmes et asservissements linéaire échantillonnées Sévely, Y. Commande des procédés Corriou, Jean-Pierre La conception de systèmes avec FPGA Simpson, Philip Implémentation de la commande RST sous un API S7-300 pour le contrôle de la station de température PUT-1 d’Elettronica Veneta Ait Abdellah, Samir Automatique des systèmes échantillonnés Vanheeghe, Philippe Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Codage, cryptologie et applications Type de document : texte imprime Auteurs : Bruno Martin Editeur : Lausanne : P.P.U.R. Année de publication : 2004 Collection : Technique des télécommunications Importance : 350 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-569-1 Note générale : Bibliogr. Langues : Français Mots-clés : Codage Cryptologie Code correcteurs Index. décimale : 332.404 Résumé : Cet ouvrage traite de la crytologie (ou science du chiffre) et celle des codes correcteurs. La cryptologie assure la confidentialité des communications en présence d'ennemis, alors que les codes correcteurs permettent d'éliminer d'éventuelles erreurs de transmission. L'approche choisie pour cet ouvrage est résolument pratique, en offrant une large place aux applications en télécommunications numériques. Le contenu mathématique de chacune des disciplines est ainsi volontairement simplifié dans le but d'offrir au lecteur une compréhension aussi large que possible du fonctionnement de certains appareils comme les téléphones cellulaires, les disques compacts ou les ordinateurs. L'ouvrage se découpe en cinq parties: théorie de l'information, compression des données, théorie des codes, théorie de la complexité et cryptologie. L'approche conjuguée de la cryptologie et des codes correcteurs au sein d'un même ouvrage de synthèse, illustré des applications les plus récentes (GSM protocoles réseaux sécurisés, etc.), est à ce jour sans équivalent en langue française. Note de contenu : Préface
Préambule
Théorie de l'information
Compression de données
Codes correcteurs d'erreurs
Codes linéaires
Codes de Hamming
Codes de Golay étendu
Codes de Reed-Muller
Codes cycliques
Codes correcteurs de paquets d'erreurs
Introduction aux codes convolutifs
Application des codes correcteurs dans l'industrie
Théorie de la complexité
Complexité de problèmes de théorie des codes
Complexité des problèmes de cryptographie
Introduction à la cryptologie historique
Cryptologie technique à clé secrète
Cryptanalyses différentielle et linéaire des chiffres itérés
Deux chiffres robustes: IDEA et AES
Différents modes de fonctionnement
Cryptographie à clé publique
Signatures numériques
Fonctions de hachage
Svªreté des chiffres à clé publique
Génération de suites pseudo-aléatoires
Certification
Gestion des clés
Application de la cryptographie à la sécurité des réseaux
Utilisation des registres linéaires à décalage
Table de polynômes irréductibles primitifs sur F2
Tables des fréquences relatives des lettres
Index
Annexes.Permalink : ./index.php?lvl=notice_display&id=10117 Codage, cryptologie et applications [texte imprime] / Bruno Martin . - Lausanne : P.P.U.R., 2004 . - 350 p. : ill. ; 24 cm. - (Technique des télécommunications) .
ISBN : 978-2-88074-569-1
Bibliogr.
Langues : Français
Mots-clés : Codage Cryptologie Code correcteurs Index. décimale : 332.404 Résumé : Cet ouvrage traite de la crytologie (ou science du chiffre) et celle des codes correcteurs. La cryptologie assure la confidentialité des communications en présence d'ennemis, alors que les codes correcteurs permettent d'éliminer d'éventuelles erreurs de transmission. L'approche choisie pour cet ouvrage est résolument pratique, en offrant une large place aux applications en télécommunications numériques. Le contenu mathématique de chacune des disciplines est ainsi volontairement simplifié dans le but d'offrir au lecteur une compréhension aussi large que possible du fonctionnement de certains appareils comme les téléphones cellulaires, les disques compacts ou les ordinateurs. L'ouvrage se découpe en cinq parties: théorie de l'information, compression des données, théorie des codes, théorie de la complexité et cryptologie. L'approche conjuguée de la cryptologie et des codes correcteurs au sein d'un même ouvrage de synthèse, illustré des applications les plus récentes (GSM protocoles réseaux sécurisés, etc.), est à ce jour sans équivalent en langue française. Note de contenu : Préface
Préambule
Théorie de l'information
Compression de données
Codes correcteurs d'erreurs
Codes linéaires
Codes de Hamming
Codes de Golay étendu
Codes de Reed-Muller
Codes cycliques
Codes correcteurs de paquets d'erreurs
Introduction aux codes convolutifs
Application des codes correcteurs dans l'industrie
Théorie de la complexité
Complexité de problèmes de théorie des codes
Complexité des problèmes de cryptographie
Introduction à la cryptologie historique
Cryptologie technique à clé secrète
Cryptanalyses différentielle et linéaire des chiffres itérés
Deux chiffres robustes: IDEA et AES
Différents modes de fonctionnement
Cryptographie à clé publique
Signatures numériques
Fonctions de hachage
Svªreté des chiffres à clé publique
Génération de suites pseudo-aléatoires
Certification
Gestion des clés
Application de la cryptographie à la sécurité des réseaux
Utilisation des registres linéaires à décalage
Table de polynômes irréductibles primitifs sur F2
Tables des fréquences relatives des lettres
Index
Annexes.Permalink : ./index.php?lvl=notice_display&id=10117 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité CI377/1 CI377 Livre Magasin d'Ouvrages / FGE Communication instrumentation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Idées nettes sur la logique floue Type de document : texte imprime Auteurs : Jelena Godjevac Editeur : Lausanne : P.P.U.R. Année de publication : © 1999 Collection : Informatique Importance : (VIII-113 p.) Présentation : ill. Format : 24 cm Accompagnement : 1 CD-ROM ISBN/ISSN/EAN : 978-2-88074-378-9 Note générale :
Bibliogr. p. [111]-113Langues : Français Mots-clés : Logique floue Systèmes flous Régulateurs (machines) Robots industriels Résumé :
La logique floue connaît un intérêt grandissant auprès de la communauté scientifique depuis quelques années. L'une des raisons principales tient à l'énorme succès des équipements domestiques produits par l'industrie japonaise qui utilisent des régulateurs flous. La logique floue constitue en effet une manière simple de gérer les capteurs contenus dans ces nouveaux produits. Ce livre est une introduction concise au domaine de la logique floue et son originalité réside dans le fait qu'il aborde cette discipline mathématique par le biais d'exemples et d'exercices pratiques réalisables avec le logiciel LabVIEW. Le lecteur aura ainsi la possibilité d'apprendre à créer un régulateur basé sur la logique floue, en contrôlant le robot mobile Khepera. Tous les programmes utilisés dans ce livre se trouvent sur un CD-ROM qui est intégré à l'ouvrage.
En ligne : https://books.google.dz/books?id=cgIBaOffPOQC&printsec=frontcover&hl=fr&source=g [...] Permalink : ./index.php?lvl=notice_display&id=10118 Idées nettes sur la logique floue [texte imprime] / Jelena Godjevac . - Lausanne : P.P.U.R., © 1999 . - (VIII-113 p.) : ill. ; 24 cm + 1 CD-ROM. - (Informatique) .
ISBN : 978-2-88074-378-9
Bibliogr. p. [111]-113
Langues : Français
Mots-clés : Logique floue Systèmes flous Régulateurs (machines) Robots industriels Résumé :
La logique floue connaît un intérêt grandissant auprès de la communauté scientifique depuis quelques années. L'une des raisons principales tient à l'énorme succès des équipements domestiques produits par l'industrie japonaise qui utilisent des régulateurs flous. La logique floue constitue en effet une manière simple de gérer les capteurs contenus dans ces nouveaux produits. Ce livre est une introduction concise au domaine de la logique floue et son originalité réside dans le fait qu'il aborde cette discipline mathématique par le biais d'exemples et d'exercices pratiques réalisables avec le logiciel LabVIEW. Le lecteur aura ainsi la possibilité d'apprendre à créer un régulateur basé sur la logique floue, en contrôlant le robot mobile Khepera. Tous les programmes utilisés dans ce livre se trouvent sur un CD-ROM qui est intégré à l'ouvrage.
En ligne : https://books.google.dz/books?id=cgIBaOffPOQC&printsec=frontcover&hl=fr&source=g [...] Permalink : ./index.php?lvl=notice_display&id=10118 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité C46/1 C46 Livre Magasin d'Ouvrages / FGE Commandes Disponible C46/2 C46 Livre Magasin d'Ouvrages / FGE Commandes Disponible C46/3 C46 Livre Magasin d'Ouvrages / FGE Commandes Disponible C46/4 C46 Livre Magasin d'Ouvrages / FGE Commandes Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Logique floue, principes, aide à la décision Bouchon-Meunier, Bernadette Elèments de logique floue Gacôgne, Louis Commande par logique floue d’un robot manipulateur à articulation flexible Rahem, Hakima Automates programmables industriels Simon, André Traitement de données complexes et commande en logique floue Bouchon-Meunier, Bernadette Aucun avis, veuillez vous identifier pour ajouter le vôtre !
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 !
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
