𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Gems of theoretical computer science

✍ Scribed by Schoning U.

Publisher
Springer
Year
1998
Tongue
English
Leaves
327
Edition
draft
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

This book introduces some of the most important results in theoretical computer science. The "gems" are central problems and their solutions from the areas of computability, logic, circuit theory, and complexity. The text presents complete proofs in understandable form, as well as previously open problems that have found a (perhaps unexpected) solution, complex proofs from bottom drawers, probabilistic constructions, and much, much more. With over 240 intriguing exercises (elegant solutions for which are supplied), the text also challenges the reader to do some active work.

πŸ“œ SIMILAR VOLUMES

Gems of Theoretical Computer Science
πŸ“ Gems of Theoretical Computer Science
✍ Uwe Schoning, Randall J. Pruim πŸ“‚ Library πŸ“… 1998 πŸ› Springer 🌐 English

This book introduces some of the most important results in theoretical computer science. The "gems" are central problems and their solutions from the areas of computability, logic, circuit theory, and complexity. The text presents complete proofs in understandable form, as well as previously open pr

Gems of Theoretical Computer Science
πŸ“ Gems of Theoretical Computer Science
✍ SchΓΆning U., Prium R. πŸ“‚ Library 🌐 English

Π˜Π·Π΄Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ Springer, 1998, -327 pp.<div class="bb-sep"></div>In the summer semester of 1993 at UniversitΓ€t Ulm, I tried out a new type of course, which I called Theory lab, as part of the computer science major program. As in an experimental laboratory with written preparatory materials (including

Theoretical Computer Science for the Wor
πŸ“ Theoretical Computer Science for the Working Category Theorist
✍ Noson S. Yanofsky πŸ“‚ Library πŸ“… 2022 πŸ› Cambridge University Press 🌐 English

<span>Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer sc

Theoretical Foundations of Computer Scie
πŸ“ Theoretical Foundations of Computer Science
✍ Dino Mandrioli, Carlo Ghezzi πŸ“‚ Library πŸ“… 1988 πŸ› John Wiley and Sons (WIE) 🌐 English

Explores basic concepts of theoretical computer science and shows how they apply to current programming practice. Coverage ranges from classical topics, such as formal languages, automata, and compatibility, to formal semantics, models for concurrent computation, and program semantics.