Download or read book Informatique th orique written by Nguyen Huy Xuong and published by . This book was released on 2004 with total page 246 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'aspect nécessairement technique de la pratique de l'informatique masque trop souvent les bases théoriques de la discipline. Pour aider les étudiants des filières " informatique " et " mathématiques appliquées " à mieux appréhender ces notions abstraites, cet ouvrage propose un ensemble de 62 problèmes et de 75 exercices corrigés ayant trait à la théorie de l'informatique. Leur résolution constituera d'une part un excellent moyen de mieux maîtriser les cours, mais elle apportera aussi une réflexion modeste sur la rigueur de cette discipline. Une attention particulière a été portée à la rigueur et à la précision de la rédaction des démonstrations. Partant de la notion d'ensemble semi-reconnaissable (ou récursivement énumérable) pour s'attaquer aux problèmes décidables, l'ouvrage passe d'abord en revue différentes méthodes de preuve. Il aborde ensuite le thème de la génération inductive d'ensembles, avant d'exposer les fondements de la reconnaissance des langages formels. Il s'achève par l'étude des classes de complexité des algorithmes et des problèmes. Outre les étudiants, un tel ouvrage intéressera également les enseignants et tous ceux qui s'intéressent aux fondements de l'informatique.
Download or read book Software Design Cognitive Aspect written by Francoise Detienne and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 145 pages. Available in PDF, EPUB and Kindle. Book excerpt: Covering a variety of areas including software analysis, design, coding and maintenance, this text details the research conducted since the 1970s in this fast-developing field before going on to define a computer program from the viewpoint of computing and cognitive psychology. The two essential sides of programming, software production and software understanding, are given detailed treatment, with parallels drawn throughout between studies on processing texts written in natural language and processing computer programs. Of particular interest to researchers, practitioners and graduates in cognitive psychology, cognitive ergonomics and computer science.
Download or read book Cognitive Biases written by J.-P. Caverni and published by Elsevier. This book was released on 1990-08-23 with total page 581 pages. Available in PDF, EPUB and Kindle. Book excerpt: Many studies in cognitive psychology have provided evidence of systematic deviations in cognitive task performance relative to that dictated by optimality, rationality, or coherency. The texts in this volume present an account of research into the cognitive biases observed on various tasks: reasoning, categorization, evaluation, and probabilistic and confidence judgments. The authors have attempted to discern the contribution of the study of bias to our understanding of the cognitive processes involved in each case, rather than proposing an inventory of the different types of biases. A special section has been devoted to studies on the correction of biases and cognitive aids.
Download or read book Eudised R D Bulletin written by Documentation Centre for Education in Europe and published by . This book was released on 1993 with total page 644 pages. Available in PDF, EPUB and Kindle. Book excerpt: Contains research project reports arranged by subject with descriptors from the EUDISED Multilingual Thesaurus.
Download or read book Advances in Psychology written by and published by . This book was released on 1990 with total page 586 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Intelligent Tutoring Systems written by Claude Frasson and published by Springer Science & Business Media. This book was released on 1992-05-27 with total page 710 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume of the Encyclopaedia offers a systematic introduction and a comprehensive survey of the theory of complex spaces. It covers topics like semi-normal complex spaces, cohomology, the Levi problem, q-convexity and q-concavity. It is the first survey of this kind. The authors are internationally known outstanding experts who developed substantial parts of the field. The book contains seven chapters and an introduction written by Remmert, describing the history of the subject. The book will be very useful to graduate students and researchers in complex analysis, algebraic geometry and differential geometry. Another group of readers will consist of mathematical physicists who apply results from these fields.
Download or read book Actes written by and published by . This book was released on 1986 with total page 1606 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Documents written by Council of Europe and published by Council of Europe. This book was released on 1990-12-01 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: Parallel main title: Documents de sâance. Parallel text in English and French
Download or read book EUDISED European Educational Research Yearbook 1998 99 written by and published by . This book was released on 2000 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book World Guide to Libraries written by Helga Lengenfelder and published by . This book was released on 1987 with total page 1279 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Technique Et Science Informatiques written by and published by . This book was released on 1989 with total page 660 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Texts Adopted written by Council of Europe and published by Council of Europe. This book was released on 1985-01-01 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Intelligent Tutoring Systems written by and published by . This book was released on 1992 with total page 710 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Performance Report for the Period Ending written by Statistics Canada and published by . This book was released on 2001 with total page 164 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Annual Report Social Sciences and Humanities Research Council of Canada written by Social Sciences and Humanities Research Council of Canada and published by . This book was released on 1987 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book EUDISED R D Bulletin written by and published by . This book was released on 1976 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: Contains research project reports arranged by subject with descriptors from the EUDISED Multilingual Thesaurus.
