Introduction pratique aux Logiques classiques (notice n° 147210)
[ vue normale ]
| 000 -Label | |
|---|---|
| leader | 02273cam a2200265 4500 |
| 001 - Numéro de notice | |
| Numéro d'identification notice | FRBNF422710450000005 |
| 010 ## - ISBN | |
| ISBN | 9782705670856 |
| qualificatif | br. |
| disponibilité et/ou prix | 38 EUR |
| 020 ## - Numéro de la bibliographie nationale | |
| numéro | 01049274 |
| 073 #0 - EAN | |
| Numéro | 9782705670856 |
| 100 ## - Données générales de traitement | |
| données générales de traitement | 20100914d2010 k y0frey50 ba |
| 101 0# - Langue | |
| langue du document | français |
| 105 ## - Zone de données codées : textes, monographies | |
| données codées - monographies | ||||j 00|y| |
| 106 ## - Zone de données codées : forme de la ressource | |
| données codées - textes - caractéristiques physiques | r |
| 200 1# - Titre | |
| titre propre | Introduction pratique aux Logiques classiques |
| type de document | Livre |
| Auteur | Maurice Bernadet |
| complément du titre | avec exercices corrigés |
| 210 ## - Editeur | |
| lieu de publication | Paris |
| nom de l'éditeur | Hermann |
| date de publication | impr. 2010 |
| lieu de fabrication | 91-Les Ulis |
| nom du fabricant | ACORT Europe impr. |
| 215 ## - Description | |
| Importance matérielle | 1 volume de 203 pages |
| autres carac. matérielles | Illustrée en noir et blanc, couverture illustrée en couleur |
| format | 22 cm |
| 300 ## - Note | |
| note | La couv. porte en plus : "avec exercices corrigés" |
| 300 ## - Note | |
| note | Index |
| 330 ## - Résumé | |
| Résumé | Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques. Cet ouvrage, construit à partir d'un enseignement destiné à des élèves-ingénieurs, a été élargi pour concerner un plus large public. Il traite principalement de la logique des propositions et de la logique des prédicats d'ordre un ; il se concentre sur les aspects pratiques, en particulier les méthodes de formalisation et de validation de raisonnements. Un survol d'autres logiques classiques (prédicats d'ordre un avec égalité, prédicats d'ordre supérieur à un) est suivi d'une synthèse des aspects théoriques. Ce livre propose de nombreux exemples et exercices, inspirés de domaines variés. Il utilise, en particulier, des exemples sur les compositeurs de musique, les arts plastiques, la médecine, sans en considérer les aspects techniques, mais en restant à un niveau général. D'autres exemples concernant les chats, les chiens, les souris... présentent un certain aspect ludique. La plupart des exercices sont corrigés de manière détaillée |
| 606 ## - sujets | |
| numéro de la notice d'autorité | 11965690 |
| sujet | Logique mathématique |
| numéro de la notice d'autorité | 11975731 |
| subdivision du sujet | Problèmes et exercices |
| code du système d'indexation | rameau |
| 676 ## - classification | |
| indice Dewey | 511.307 6 |
| édition | 23 |
| 686 ## - classification | |
| code du système | Cadre de classement de la Bibliographie nationale française |
| 700 ## - Auteur | |
| numéro de la notice d'autorité | 16231507 |
| auteur | Bernadet |
| partie du nom autre que l'élément d'entrée | Maurice |
| dates | 19..-.... |
| qualificatifs autres que les dates | ingénieur |
| code de fonction | Auteur |
| 801 #0 - source de catalogage | |
| agence de catalogage | FR-751131015 |
| date de la transaction | 20100914 |
| règles de catalogage utilisées | AFNOR |
| code du format utilisé | intermrc |
| Propriétaire | dépositaire permanent | niveau de localisation | Code barre | cote | Statut | note |
|---|---|---|---|---|---|---|
| Bibliothèque Universitaire Mohamed Sekkat | Bibliothèque Universitaire Mohamed Sekkat | 2ème étage | 59625 | 511.307 6 BER | Exclu du prêt | New 2017 |