Informatique industrielle et réseaux : en 20 fiches Dunod; 2e édition (17 juin 2015) | ISBN: 2100727737 | Français | PDF | 160 pages | 120 MB
Cet ouvrage présente en 20 fiches de 4 à 8 pages, les grands thèmes de l'informatique industrielle que l'étudiant de Licence et d'IUT doit parfaitement maîtriser à la fin de sa formation. Chaque fiche est composée d'un rappel de cours et d'une application. La résolution est appuyée par des conseils méthodologiques.Cette seconde édition actualise les informations relatives à la sécurité ainsi qu'à la préparation aux habilitations éléctriques.
Histoire illustrée de l'informatique - Emmanuel Lazard, Pierre Mounier-Kuhn French | Éditeur : EDP sciences | Genres : Informatique, Histoire | PDF | 200 Pages | 115 Mb
Connaître l'histoire de l'informatique relève désormais de la culture générale. De la machine d'Anticythère au cyberespionnage et aux Big Data, des cartes perforées à l'Internet, des tabulatrices aux tablettes, ce livre vous propose un voyage dans le temps, une archéologie de notre environnement numérique.
L'informatique fait aujourd'hui partie de notre quotidien. Pourtant, il a fallu plus de deux mille ans de découvertes, d'ingéniosité, de pratique, de savants, . à travers toutes les civilisations du monde pour arriver aux ordinateurs, gadgets technologiques, réseaux, bref, tout ce qui fait notre environnement actuel. L'ouvrage se présente comme un beau livre dont chaque chapitre décrit les avancées de façon chronologique. Une présentation du contexte social de l'époque donne également une dimension humaine à l'ouvrage. Ainsi, vous découvrirez entre autres le boulier chinois en Antiquité, les premières machines mécaniques du XVIè au XIXè siècle, l'apparition des robots au XXè, Turing et le codage, les premières salles d'informatique, les premiers ordinateurs, l'ancêtre du CD, Internet. Richement illustré et présenté sous la forme d'une succession d'encadrés datés, cet ouvrage intéressera tout curieux, scientifique ou non. Le langage simple, le choix des photos, l'analyse sociétale donne à ce voyage dans le temps le goût d'une aventure sans précédent..
Introduction à la logique French | Dunod | René David, Karim Nour, Christophe Raffalli | PDF | 364 Pages | 105 Mb
Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions » qu'est-ce qu'un énoncé ? une démonstration ? » ou plus fondamentalement, » qu'est-ce que les mathématiques ? « , en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique. Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs..
Zone-ebook n'héberge aucun fichier. La loi française vous autorise à télécharger un fichier seulement si vous en possedez l'original. Ni zone-ebook.com, ni nos hébergeurs, ni personne ne pourront êtres tenu responsables d'une mauvaise utilisation de ce site.