Listing 1 - 4 of 4 |
Sort by
|
Choose an application
Alan Turing was one of the most influential thinkers of the 20th century and played a crucial part in deciphering the Enigma code. The papers in this text are key works for understanding Turing's phenomenal contribution.
Artificial intelligence. --- Computers. --- Enigma cipher system. --- Enigma cipher machine --- Enigma codes --- Enigma cryptographic machine --- Enigma machine (Cryptography) --- Machine ciphers --- World War, 1939-1945 --- ULTRA (Intelligence system) --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Cryptography --- Turing, Alan, --- Turing, Alan Mathison, --- Turing, Alan M. --- Turing, A. M. --- Cognitive science. --- Electronic data processing. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Science --- Philosophy of mind --- Automation --- Muziektechnologie --- Computerwetenschappen
Choose an application
"In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding. Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church-Turing thesis and Gödel's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Gödel's influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics."
Computational complexity. --- Mathematics --- Philosophy. --- Logic of mathematics --- Mathematics, Logic of --- Complexity, Computational --- Electronic data processing --- Machine theory --- COMPUTER SCIENCE/General --- MATHEMATICS & STATISTICS/General --- PHILOSOPHY/General --- Computational complexity --- Philosophy --- Computerwetenschappen --- Filosofie
Choose an application
"The practices and perception of music creation have evolved with the cultural, social and technological contexts of music and musicians. But musical authorship, in its many technical and aesthetic modes, remains an important component of music culture. Musicians are increasingly called on to share their experience in writing. However, cultural imperatives to account for composition as knowledge production and to make claims for its uniqueness inhibit the development of discourse in both expert and public spheres. Internet pioneer Philip Agre observed a discourse deficit in artificial intelligence research and proposed a critical technical practice, a single disciplinary field with 'one foot planted in the craft work of design and the other foot planted in the reflexive work of critique. A critical technical practice rethinks its own premises, re-evaluates its own methods, and reconsiders its own concepts as a routine part of its daily work.' This volume considers the potential for critical technical practice in the evolving situation of composition across a wide range of current practices. In seeking to tell more honest, useful stories of composition, it hopes to contribute to a new discourse around the creation of music."--Page 4 of cover.
Composition (Music). --- 592 --- Publicaties onderzoeksinstellingen --- Composition (Music) --- 78 <09> --- 78 <09> Muziekgeschiedenis --- Muziekgeschiedenis --- Composing (Music) --- Music --- Music composing --- Music composition --- Musical composition --- Concertante style --- Composition --- Electronic books --- Books in machine-readable form --- Digital books --- E-books --- Ebooks --- Online books --- Books --- Electronic publications --- Traktaten --- Methodes --- Compositie --- Compositieleer --- Compositietechnieken --- Composition (Musique) --- Philosophy. --- History and criticism. --- Philosophie. --- Histoire et critique.
Choose an application
Computer music --- Musical analysis --- Information storage and retrieval systems --- Music History & Criticism, Instrumental --- Computer Science --- Engineering & Applied Sciences --- Music --- Music, Dance, Drama & Film --- Data processing --- Computer sound processing --- Sound processing, Computer --- Computer science. --- Music. --- Computer communication systems. --- Database management. --- Information storage and retrieval. --- Multimedia information systems. --- Application software. --- Computer Science. --- Computer Communication Networks. --- Database Management. --- Information Storage and Retrieval. --- Multimedia Information Systems. --- Computer Appl. in Arts and Humanities. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Art music --- Art music, Western --- Classical music --- Musical compositions --- Musical works --- Serious music --- Western art music --- Western music (Western countries) --- Informatics --- Science --- Distributed processing --- Electronic digital computers --- Sound --- Recording and reproducing --- Digital techniques --- Information storage and retrieva. --- Multimedia systems. --- Information systems. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Computermuziek --- Hedendaagse muziek --- 21e eeuw
Listing 1 - 4 of 4 |
Sort by
|