Recherche

Computex

Extraits

ActuaLitté

Rock

Radiohead. OK Computer

OK Computer s'est imposé comme un des points culminants de la culture musicale des années 1990. C'est aussi l'album qui fait entrer Radiohead dans le cercle très restreint des musiciens dont on a souligné la capacité de réaliser la synthèse créative de leur époque, celui qui leur a permis d'accéder au statut enviable de groupe "exigeant" adulé par un large public. Avec ce groupe qui a fait de l'expérimentation sonore une de ses marques les plus distinctives, établir la discogonie de OK Computer c'est avant tout s'attarder sur la matière sonore non pas en tant que fin en soi mais dans la perspective d'une analyse des relations étroites qu'elle entretient avec le contenu musical et thématique du disque.

09/2021

ActuaLitté

Informatique

Foundation Course for Advanced Computer Studies

In the modern world, computer systems are playing a greater and greater part in everyday life. From office work, to entertainment, to providing information, the personal computer is quickly becoming a more integral part of the home. However, most PC users have no idea how most of the parts which make up their computer work internally. I am one of those who find that the framework provided by the school curriculum in the United Kingdom is of great assistance in planning lessons and learning plans but the curriculum does not plan out the work for us. We therefore need to invest a lot of time and effort into developing schemes of work that will suit the people we are going to teach. For me, it is a fantastic opportunity to employ our imagination and creativity to make lessons useful and interesting for children of different abilities. It is why I wrote this book. This book is a foundation course for Advanced Computer Studies and designed as a blueprint to teach users with a basic knowledge of computer science. Computer science is a subject that combines the use of technology which is ICT (Information Communication Technology) and the creation of technology. To use ICT (the subject about how to use technology to communicate information) more effectively, we need to know how technology works. Computing or computer science will create a generation of young people able to work at the forefront of technology change. It is the umbrella term for the subject that comprises 3 elements : computer science, information technology and digital literacy. It is helpful to think of these as the foundations, applications and implications of digital technology. The new focus on computer science will provides a well-defined and rigorous academic discipline and a unique lens through which pupils can understand the world. Children must therefore be taught computing if they are to be ready for tomorrow technology challenges. Our ingenuity to invent new means of communicating with each other, our very human compulsion to communicate have driven the technological innovations of the past two centuries however still a lot remain to be done with the arrival of quantum computing. A more rigorous approach to computer science teaching will help compete across the full spectrum of digital industries. This can only be achieved by equipping ourselves with the foundation skills, knowledge and understanding of computing do the necessity to introduce "computational thinking" at school via the new national curriculum (programmes of study and targets), the 2014 national curriculum that introduces computing which will replace ICT.

11/2015

ActuaLitté

Droit

Logic: Mathematics, Language, Computer Science and Philosophy

In Logic Programming (25 and 26) the language of logic is used as a declarative programming language. Prolog uses resolution as its underlying proof mechanism. The logical structure of relational databases is explained (27) in set theoretical terms and it is shown how the language of set theory can be used as a Structured Query Language (SQL). Computability, Undecidability and Complexity are treated in sections 28, 29, and 30, respectively, in terms of Turing machines. The undecidability of the validity problem for predicate logic and the NP-completeness of the satisfiability problem for propositional logic are shown in a similiar way. Chomsky's notion of grammar and its relation to the notion of automation is presented in section 31. Both untyped and typed lambda calculus are treated in sections 32 and 33, respectively. The role epistemic logic can play in the description of distributed systems is explained (34). In section 35 and 36, temporal logic is used both for verification by hand and for automatic verification. A tableaux-based automated theorem prover for classical logic is elaborated in the Appendix. Each section ends with a number of exercises ; the answers can be found at the end of this book.

05/1994

ActuaLitté

Sciences politiques

An International Bibliography of Computer-Assisted Language Learning with Annotations in German

This bibliography is a sequel to volume I of the International Bibliography of Computer Assisted Language Learning compiled by the Senior Editor and published in 1988. The roughly 2000 entries mainly cover the period from 1987 to 1991. Together, the 3051 entries in volumes I and II constitute a fairly comprehensive picture of CALL around the world. This bibliography is not restricted to English as a first, second or foreign language. The articles indexed - some 600 of them have annotations in German - report on the teaching of Arabic, Bulgarian, Catalan, Chinese, Czech, Dutch, English, Esperanto, Finnish, French, German, Hungarian, Italian, Japanese, Korean, Latin, Polish, Russian, Spanish and Thai as target languages. A German and an English subject index help to locate entries.

09/1993

ActuaLitté

TOEFL, TOEIC, IELTS, BULATS

200% TOEFL iBT. TOEFL iBT (Computer based), Préparation complète, Enrichi par le e-learning, Edition 2022

Contenu du livre : - Présentation de l'examen, - Fiches de cours, - Méthodes, stratégies et pièges, - Plus de 600 questions.

07/2021

ActuaLitté

Informatique

CALDERA OPENLINUX. Installation and configuration handbook, CD-Rom includes

This handbook is hands-down the best reference source for installing and troubleshooting OpenLinux. By providing concise pieces of information, this book, puts you right in position to get working quickly. Author Gary Wilson provides an insightful, easy read for advanced users, computer systems administrators, or anyone else required to set up and maintain a Linux computer in a small to medium-sized office, including hobbyists looking to put Linux on their home computers. The Caldera OpenLinux Installation & Configuration Handbook focuses on installing and reliably maintaining a comprehensive Internet solution, including a corporate mail server, Web server, and more on a small budget.

12/1999

Tous les articles

ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté