Andrea Sorbi,
Andrea Sorbi
Complexity, Logic, and Recursion Theory
Paperback Engels 1997 1e druk 9780824700263Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
Specificaties
ISBN13:9780824700263
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:384
Uitgever:CRC Press
Druk:1
Hoofdrubriek:Wetenschap en techniek, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Resource-bounded measure and randomness; degree structures in local degree theory; compressibility of infinite binary sequences; beyond Godel's theorem - the failure to capture information content; progressions of theories of bounded arithmetic; on presentations of algebraic structures; witness-isomorphic reductions and local search; a survey of inductive inference with an emphasis on queries; a uniformity of degree structures; short course on logic, algebra, and topology; the convenience of Tiling. (Part contents).
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan