Narrow your search

Library

Royal Conservatories Brussels (2)

KU Leuven (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

VIVES (2)

LUCA School of Arts (1)

ULB (1)

ULiège (1)

More...

Resource type

book (2)


Language

English (2)


Year
From To Submit

2013 (1)

2009 (1)

Listing 1 - 2 of 2
Sort by

Book
Computability
Authors: --- ---
ISBN: 0262527480 0262312670 0262312689 9781461931843 1461931843 9780262312677 9780262312660 0262312662 1299688004 9781299688001 9780262312684 9780262018999 0262018993 9780262527484 Year: 2013 Publisher: Cambridge, Massachusetts The MIT Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

"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."


Book
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music : 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
Authors: --- --- ---
ISBN: 364202517X 3642025188 1282635093 Year: 2009 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

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 - 2 of 2
Sort by