Wook.pt - What Can Be Computed?

What Can Be Computed? (eBook)

A Practical Guide To The Theory Of Computation

de John Maccormick 

idioma: Inglês
73,63€
Disponibilidade Imediata
Ebook para ADE
Sinopse

An accessible and rigorous textbook for introducing undergraduates to computer science theory

What Can Be Computed? is a uniquely accessible yet rigorous introduction to the most profound ideas at the heart of computer science. Crafted specifically for undergraduates who are studying the subject for the first time, and requiring minimal prerequisites, the book focuses on the essential fundamentals of computer science theory and features a practical approach that uses real computer programs (Python and Java) and encourages active experimentation. It is also ideal for self-study and reference.

The book covers the standard topics in the theory of computation, including Turing machines and finite automata, universal computation, nondeterminism, Turing and Karp reductions, undecidability, time-complexity classes such as P and NP, and NP-completeness, including the Cook-Levin Theorem. But the book also provides a broader view of computer science and its historical development, with discussions of Turing's original 1936 computing machines, the connections between undecidability and Gödel's incompleteness theorem, and Karp's famous set of twenty-one NP-complete problems.

Throughout, the book recasts traditional computer science concepts by considering how computer programs are used to solve real problems. Standard theorems are stated and proven with full mathematical rigor, but motivation and understanding are enhanced by considering concrete implementations. The book's examples and other content allow readers to view demonstrations ofand to experiment witha wide selection of the topics it covers. The result is an ideal text for an introduction to the theory of computation.

  • An accessible and rigorous introduction to the essential fundamentals of computer science theory, written specifically for undergraduates taking introduction to the theory of computation
  • Features a practical, interactive approach using real computer programs (Python in the text, with forthcoming Java alternatives online) to enhance motivation and understanding
  • Gives equal emphasis to computability and complexity
  • Includes special topics that demonstrate the profound nature of key ideas in the theory of computation
  • Lecture slides and Python programs are available at whatcanbecomputed.com

What Can Be Computed?
ISBN: 9781400889846Edição ou reimpressão: Editor: Princeton University PressIdioma: InglêsTipo de Produto: eBook Formato: PDF i Classificação Temática: eBooks em Inglês > Ciências Exatas e Nat. > Matemática
X
Coloque aqui o seu comentário
What Can Be Computed?
a sua avaliação:
X
Obrigado pela sua contribuição!

O seu comentário foi enviado para validação.

Nota:
A WOOK reserva-se ao direito de não validar textos que não se foquem na análise do conteúdo do livro ou produto. Caso pretenda colocar alguma questão sobre o artigo deverá fazê-lo através do Centro de Contacto.
X
imagem
X
alerta de artigo novamente disponível

De momento, este produto não se encontra disponível no fornecedor. Caso o mesmo volte a ficar disponível, poderemos notifica-lo, bastando para tal que nos indique o seu endereço de email.

X
O seu pedido foi registado com sucesso.
Caso este produto fique disponível, será alertado por email
X
wook deve saber
Este eBook pode ser lido em qualquer dispositivo com browser, sem necessidade de fazer o download de qualquer software ou de possuir qualquer tipo de equipamento específico de leitura.
Após a compra, o eBook é disponibilizado de imediato na sua Biblioteca Wook, onde poderá ler e organizar todos os seus eBooks e à qual poderá aceder a partir do site WOOK ou da nossa aplicação (APP).
A versão web da Biblioteca Wook está otimizada para as versões mais recentes dos browsers Google Chrome, Internet Explorer, Safari, Firefox e Edge.
Para otimizar o acesso à sua Biblioteca Wook e ter acesso à opção de leitura em modo offline (sem ligação à internet) deverá instalar a nossa APP de leitura:
X
wook deve saber
Este eBook está encriptado com DRM (Digital rights management) da Adobe e é aberto na aplicação de leitura Adobe Digital Editions (ADE) ou em outras aplicações compatíveis.
Após a compra, o eBook é de imediato disponibilizado na sua área de cliente para efetuar o download.

Para ler este eBook num computador instale a aplicação Adobe Digital Editions.
Para ler este eBook em tablet e smartphone instale a aplicação Adobe Digital Editions para IOS ou Android.
X
wook deve saber
O PDF é um formato de arquivo digital desenvolvido pela Adobe e que disponibiliza uma imagem estática das páginas do livro e, independentemente do dispositivo de leitura, não redimensiona o texto ao tamanho do ecrã do dispositivo.
X
wook deve saber
O ePUB é um formato que proporciona uma excelente experiência de leitura dado que permite o redimensionamento do texto ao ecrã do dispositivo de leitura, aumentar ou diminuir o tamanho do texto, alterar o tipo de fonte, entre outras funcionalidades
X
eBook para ADE
What Can Be Computed? de John Maccormick 
Este eBook também se encontra disponivel em formato ePUB, para leitura no Adobe Digital Editions (ADE) ou noutras aplicações compatíveis com establish tecnologia. Este eBook tem um DRM desenvolvido e gerido pela Adobe.

Consulte a ajuda para mais informações.
X
não encontrou wook procura?
Nós procuramos por si!

A sua identificação:

A identificação do livro que procura:

O seu pedido foi enviado com sucesso!
X
envie esta lista aos seus amigos
lista de desejos

A identificação da pessoa a quem quer enviar esta lista:

X
A sua lista de compras foi enviada com sucesso para .
X
selecione o livro adotado:
X
wook deve saber


Oferta de portes válida para entregas em Portugal Continental, em encomendas de valor igual ou superior a 15€ e devolução, em cartão Wookmais, do valor debitado de portes em encomendas de valor inferior a 15€, para envios em CTT Expresso ou Rede Pickup.

Oferta de Portes válida para entregas nos Açores e Madeira, em todas as encomendas enviadas por CTT Expresso Clássico. Ofertas de portes válidas para encomendas até 10 kg.

Promoção válida para encomendas de livros não escolares registadas até 31/12/2018. Descontos ou vantagens não acumuláveis com outras promoções.
X
wook deve saber


A devolução do valor dos portes de envio, em cartão Wookmais, será efetuada 18 dias após a faturação. Oferta válida para uma encomenda com entrega em Portugal.
X
wook deve saber


EM STOCK – ENVIO EM 24 HORAS
Sendo a sua encomenda constituída apenas por produtos Em stock – Envio em 24H*, se efetuar o pagamento até às 16 horas de um dia útil, será processada de imediato e enviada para o correio no próprio dia, recebendo-a no dia útil seguinte.

Note que a encomenda só entra em processamento após a receção do pagamento e que, se esse pagamento for rececionado após as 16 horas (hora de Portugal Continental), a encomenda só é enviada no dia útil seguinte.

* esta disponibilidade apenas é garantida para uma unidade de cada produto.

ENVIO ATÉ X DIAS
Esta disponibilidade indica que o produto não se encontra em stock e que demorará x dias úteis a chegar do fornecedor. Estes produtos, especialmente as edições mais antigas, estão sujeitos à confirmação de preço e disponibilidade de stock no fornecedor.

PRÉ-LANÇAMENTO
Os produtos com esta disponibilidade têm entrega prevista a partir da data de lançamento.

DISPONIBILIDADE IMEDIATA
Tipo de disponibilidade associada aos eBooks, que são disponibilizados de imediato, após o pagamento da encomenda, na sua biblioteca.

Para calcular o tempo de entrega de uma encomenda deverá somar à disponibilidade mais elevada dos artigos que está a encomendar o tempo de entrega associado ao tipo de envio escolhido.

X
a sua lista de desejos encontra-se vazia
Adicione à sua lista de desejos todos os produtos que deseja comprar mais tarde, envie-a aos seus amigos antes do seu aniversário, Natal ou outras datas especiais - quem sabe se eles o surpreendem!
Seja informado sobre promoções destes produtos
X
Ocorreu um erro
Por favor tente novamente mais tarde.
X
atingiu o limite máximo de dispositivos autorizados
Por favor, aceda à area de cliente para gerir os dispositivos ativos.
X
wook deve saber


WOOK É O CHECKOUT EXPRESSO?
Esta modalidade de checkout permite-lhe comprar em dois cliques, seguindo diretamente para a confirmação de encomenda.

COMO FUNCIONA?
A encomenda é pré-preenchida com os dados que habitualmente utiliza - morada faturação, morada de entrega, forma de envio e tipo de pagamento. Para finalizar o processo, necessita apenas de confirmar os dados.

POSSO UTILIZAR OS MEUS VALES?
Vales e outros descontos que se encontrem no prazo de validade, serão igualmente considerados automaticamente na encomenda.

CONSIGO ALTERAR OS DADOS DA ENCOMENDA?
Sim. Antes de confirmar, tem ainda a possibilidade de alterar todos os dados e opções de compra.

EXCEÇÕES
O botão do Checkout Expresso só será visível se:
  • Selecionar previamente, na Área Cliente, as moradas habituais de envio e de faturação;
  • Associar uma conta wallet, quando a morada de envio selecionada é no estrangeiro;
  • Não incluir artigos escolares na encomenda.


X
recomendar
What Can Be Computed? de John Maccormick 
Para recomendar esta obra a um amigo basta preencher o seu nome e email, bem como o nome e email da pessoa a quem pretende fazer a sugestão. Se quiser pode ainda acrescentar um pequeno comentário, de seguida clique em 'confirmar'. A sua recomendação será imediatamente enviada em seu nome, para o email da pessoa a quem pretende fazer a recomendação.

A sua identificação:

A identificação da pessoa a quem quer recomendar este titulo:

X
A sua recomendação foi enviada com sucesso!
X
Ocorreu um erro a obter a informação! Por favor tente mais tarde.