Seems you have not registered as a member of shareusefulinfo.in!

You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.

Sign up

Matemathical Foundations of Computer Science
  • Language: en

Matemathical Foundations of Computer Science

  • Type: Book
  • -
  • Published: 1991
  • -
  • Publisher: Unknown

None

Computational Logic
  • Language: en
  • Pages: 736

Computational Logic

  • Type: Book
  • -
  • Published: 2014-12-09
  • -
  • Publisher: Newnes

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematic...

Mathematical Foundations of Computer Science
  • Language: en
  • Pages: 425

Mathematical Foundations of Computer Science

Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal languages, theory of computation, and program verification. The material is treated in a straightforward, systemat...

Mathematical Theory and Computational Practice
  • Language: en
  • Pages: 510

Mathematical Theory and Computational Practice

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.

Introduction to the Theory of Computation
  • Language: en
  • Pages: 504

Introduction to the Theory of Computation

Now you can clearly present even the most complex computational theory topics to your students with Sipser's distinct, market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this highly anticipated revision retains the unmatched clarity and thorough coverage that make it a leading text for upper-level undergraduate and introductory graduate students. This edition continues author Michael Sipser's well-known, approachable style with timely revisions, additional exercises, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better unde...

Computability, Enumerability, Unsolvability
  • Language: en
  • Pages: 347

Computability, Enumerability, Unsolvability

Provides a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory.

Maluquices Atômicas
  • Language: pt
  • Pages: 460

Maluquices Atômicas

  • Type: Book
  • -
  • Published: 2018-08-10
  • -
  • Publisher: Unknown

Einstein foi o pai da bomba atômica? Existe um foguete nuclear? As pessoas de Fukushima vão todas morrer de câncer? O Brasil tem uma bomba atômica? A energia nuclear é ruim?O livro é dirigido a jovens e adultos e o seu foco definitivamente não é a ciência em si, mas o de tentar elucidar o contexto de acontecimentos históricos que levaram à criação da bomba atômica e ao desenvolvimento da tecnologia nuclear.Maluquices Atómicas também decorre sobre vários episódios obscuros e até "proibidos", tenta esclarece algumas "dúvidas nucleares" que todos nós temos e expõem algumas das loucuras da humanidade ao abrir esta caixa de Pandora.De linguagem simples e sem a presunção de quaisquer conhecimentos científicos por parte do leitor, o livro narra de forma cronológica a nossa era nuclear, desde o descobrimento do átomo até as mais fantásticas inovações da ciência nuclear para uso bélico, na geração de energia elétrica, na medicina e outros mais.

Annual Symposium on Theoretical Aspects of Computer Science
  • Language: en

Annual Symposium on Theoretical Aspects of Computer Science

  • Type: Book
  • -
  • Published: 2006
  • -
  • Publisher: Unknown

None