Détail de l'indexation
|
|
511.3 Ouvrages de la bibliothèque en indexation 511 (3)
Affiner la recherche Interroger des sources externes
Titre : Logique fondements et applications Type de document : texte imprimé Auteurs : la barbenchon pierre, Auteur Editeur : : DUNOD Année de publication : 2022 Importance : 286p Format : 24-17cm ISBN/ISSN/EAN : 978-2-10-083600-0 Note générale : formales/fragments syntaxiques/ probleme sat/ termes/ cardinalite des modeles/systemes de preuve Langues : Français (fre) Catégories : MATHEMATIQUES Index. décimale : 511 Résumé : Cet ouvrage concis et rigoureux présente l’ensemble des fondements de la logique vue en Licence 2 et 3 d’informatique et de mathématiques appliquées à l’informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux exercices corrigés permettent au lecteur de s’entrainer. Il propose enfin une ouverture sur des applications pratiques de la logique : logique et base de données, structures automatiques, et jeux d'évaluation. L'outil en ligne Pravda, développé pour le livre par les auteurs et accessible gratuitement, fournit des exercices en logique formelle, plus précisément pour les systèmes de preuve. En ligne : https://servimg.eyrolles.com/static/media/6000/9782100836000_internet_w290.jpg Logique fondements et applications [texte imprimé] / la barbenchon pierre, Auteur . - : DUNOD, 2022 . - 286p ; 24-17cm.
ISBN : 978-2-10-083600-0
formales/fragments syntaxiques/ probleme sat/ termes/ cardinalite des modeles/systemes de preuve
Langues : Français (fre)
Catégories : MATHEMATIQUES Index. décimale : 511 Résumé : Cet ouvrage concis et rigoureux présente l’ensemble des fondements de la logique vue en Licence 2 et 3 d’informatique et de mathématiques appliquées à l’informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux exercices corrigés permettent au lecteur de s’entrainer. Il propose enfin une ouverture sur des applications pratiques de la logique : logique et base de données, structures automatiques, et jeux d'évaluation. L'outil en ligne Pravda, développé pour le livre par les auteurs et accessible gratuitement, fournit des exercices en logique formelle, plus précisément pour les systèmes de preuve. En ligne : https://servimg.eyrolles.com/static/media/6000/9782100836000_internet_w290.jpg Réservation
Réserver ce document
Exemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité ST3370 ST/511-02.1 Livre Bibliothèque FST Documentaires Disponible ST3371 ST/511-02.2 Livre Bibliothèque FST Documentaires Disponible ST3372 ST/511-02.3 Livre Bibliothèque FST Documentaires Disponible
Titre : Multilayer Networks: Structure and Function Type de document : texte imprimé Auteurs : Ginestra Bianconi, Auteur Editeur : OXFORD Année de publication : 2023 Importance : 416 pages Format : 25-17CM ISBN/ISSN/EAN : 978-0-19-286554-0 Langues : Anglais (eng) Catégories : MATHEMATIQUES Mots-clés : Network Science,several interacting, propelled forward Index. décimale : 511 Résumé : Multilayer networks is a rising topic in Network Science which characterizes the structure and the Network Science systems formed by several interacting networks. Multilayer networks research has been propelled forward by the wide realm of applications in social, biological and infrastructure networks and the large availability of network data, as well as by the significance of recent results, which have produced important advances in this rapidly growing field. This book presents a comprehensive account of this emerging field. It provides a theoretical introduction to the main results of multilayer network science. En ligne : https://pictures.abebooks.com/isbn/9780192865540-us.jpg Multilayer Networks: Structure and Function [texte imprimé] / Ginestra Bianconi, Auteur . - OXFORD, 2023 . - 416 pages ; 25-17CM.
ISBN : 978-0-19-286554-0
Langues : Anglais (eng)
Catégories : MATHEMATIQUES Mots-clés : Network Science,several interacting, propelled forward Index. décimale : 511 Résumé : Multilayer networks is a rising topic in Network Science which characterizes the structure and the Network Science systems formed by several interacting networks. Multilayer networks research has been propelled forward by the wide realm of applications in social, biological and infrastructure networks and the large availability of network data, as well as by the significance of recent results, which have produced important advances in this rapidly growing field. This book presents a comprehensive account of this emerging field. It provides a theoretical introduction to the main results of multilayer network science. En ligne : https://pictures.abebooks.com/isbn/9780192865540-us.jpg Réservation
Réserver ce document
Exemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité ST3939 ST/511.5-01.1 Livre Bibliothèque FST Documentaires Disponible ST3940 ST/511.5-01.2 Livre Bibliothèque FST Documentaires Disponible ST3941 ST/511.5-01.3 Livre Bibliothèque FST Documentaires Disponible
Titre : Nombres reels, suites Type de document : texte imprimé Auteurs : jasques colin jean, Auteur Editeur : [S.l.] : CEPADUES Année de publication : 2013 Importance : 151p Format : 20-15cm ISBN/ISSN/EAN : ;9782364930827 Note générale : Les Nombres Réels
Rappels de cours
Exercices - Nombres rationnels et irrationnels
Exercices - Puissances et racines
Exercices - Relation d'ordre
Exercices - Partie entièreLangues : Français (fre) Mots-clés : l'addition et la multiplication dansR/ Definitions et proprietes elementaires Index. décimale : 511 Résumé : et ouvrage traite de deux chapitres fondamentaux de Mathématiques : les nombres réels et les suites de nombres réels. Il s'adresse aux étudiants de premières années d'université, (L1, 12, L3), des classes préparatoires aux Grandes Ecoles, ainsi qu'aux étudiants qui préparent le C.A.P.E.S. de Mathématiques.
Il propose à la fois des rappels de cours et des exercices corrigés de façon particulièrement détaillée, classés par ordre de difficulté croissante.
Le lecteur pourra ainsi progresser à son rythme et de façon autonome dans cette discipline.
Chaque chapitre est agrémenté de pages historiques, qui replacent les résultats énoncés dans leur contexte.
Sont notamment abordées les propriétés des nombres réels, les notions délicates de bornes supérieures et bornes inférieures d'une partie, puis les notions de suites convergentes, suites extraites, suites de Cauchy, suites récurrentes, etc...
Les exercices proposés sont typiques des questions posées aux examens et aux concours. Une fois ces notions assimilées, le lecteur pourra sans difficultés s'engager dans des études plus avancées.En ligne : https://servimg.eyrolles.com/static/media/0827/9782364930827_internet_w290.jpg Nombres reels, suites [texte imprimé] / jasques colin jean, Auteur . - [S.l.] : CEPADUES, 2013 . - 151p ; 20-15cm.
ISSN : ;9782364930827
Les Nombres Réels
Rappels de cours
Exercices - Nombres rationnels et irrationnels
Exercices - Puissances et racines
Exercices - Relation d'ordre
Exercices - Partie entière
Langues : Français (fre)
Mots-clés : l'addition et la multiplication dansR/ Definitions et proprietes elementaires Index. décimale : 511 Résumé : et ouvrage traite de deux chapitres fondamentaux de Mathématiques : les nombres réels et les suites de nombres réels. Il s'adresse aux étudiants de premières années d'université, (L1, 12, L3), des classes préparatoires aux Grandes Ecoles, ainsi qu'aux étudiants qui préparent le C.A.P.E.S. de Mathématiques.
Il propose à la fois des rappels de cours et des exercices corrigés de façon particulièrement détaillée, classés par ordre de difficulté croissante.
Le lecteur pourra ainsi progresser à son rythme et de façon autonome dans cette discipline.
Chaque chapitre est agrémenté de pages historiques, qui replacent les résultats énoncés dans leur contexte.
Sont notamment abordées les propriétés des nombres réels, les notions délicates de bornes supérieures et bornes inférieures d'une partie, puis les notions de suites convergentes, suites extraites, suites de Cauchy, suites récurrentes, etc...
Les exercices proposés sont typiques des questions posées aux examens et aux concours. Une fois ces notions assimilées, le lecteur pourra sans difficultés s'engager dans des études plus avancées.En ligne : https://servimg.eyrolles.com/static/media/0827/9782364930827_internet_w290.jpg Réservation
Réserver ce document
Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité ST2846 ST/512-11.2 Livre Bibliothèque FST Documentaires Disponible
