Bis zu 50 % günstiger als neu
3 Jahre rebuy Garantie
Professionelles Refurbishment
ElektronikMedien
Tipps & News
AppleAlle anzeigen
TabletsAlle anzeigen
HandyAlle anzeigen
Fairphone
AppleAlle anzeigen
iPhone Air Generation
GoogleAlle anzeigen
Pixel Fold
HonorAlle anzeigen
HuaweiAlle anzeigen
Honor Serie
NothingAlle anzeigen
OnePlusAlle anzeigen
OnePlus 11 GenerationOnePlus 12 Generation
SamsungAlle anzeigen
Galaxy XcoverWeitere Modelle
SonyAlle anzeigen
Weitere Modelle
XiaomiAlle anzeigen
Weitere Modelle
Tablets & eBook ReaderAlle anzeigen
Google
AppleAlle anzeigen
HuaweiAlle anzeigen
MatePad Pro Serie
MicrosoftAlle anzeigen
XiaomiAlle anzeigen
Kameras & ZubehörAlle anzeigen
ObjektiveAlle anzeigen
Samyang
System & SpiegelreflexAlle anzeigen
CanonAlle anzeigen
FujifilmAlle anzeigen
OlympusAlle anzeigen
PanasonicAlle anzeigen
SonyAlle anzeigen
WearablesAlle anzeigen
Fitness TrackerAlle anzeigen
SmartwatchesAlle anzeigen
Xiaomi
Konsolen & ZubehörAlle anzeigen
Lenovo Legion GoMSI Claw
NintendoAlle anzeigen
Nintendo Switch Lite
PlayStationAlle anzeigen
XboxAlle anzeigen
Audio & HiFiAlle anzeigen
KopfhörerAlle anzeigen
FairphoneGoogle
LautsprecherAlle anzeigen
GoogleYamahatonies
iPodAlle anzeigen

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

A Basis for Theoretical Computer Science

M.A. Arbib (Gebundene Ausgabe, Englisch)

Keine Bewertungen vorhanden
Optischer Zustand
Beschreibung
Computer science seeks to provide a scientific basis for the study of inform a tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques to allow the rigorous specification of program, process, and machine. The present volume is one of a series, The AKM Series in Theoretical Computer Science, designed to make key mathe matical developments in computer science readily accessible to under graduate and beginning graduate students. Specifically, this volume takes readers with little or no mathematical background beyond high school algebra, and gives them a taste of a number of topics in theoretical computer science while laying the mathematical foundation for the later, more detailed, study of such topics as formal language theory, computability theory, programming language semantics, and the study of program verification and correctness. Chapter 1 introduces the basic concepts of set theory, with special emphasis on functions and relations, using a simple algorithm to provide motivation. Chapter 2 presents the notion of inductive proof and gives the reader a good grasp on one of the most important notions of computer science: the recursive definition of functions and data structures.
Dieses Produkt haben wir gerade leider nicht auf Lager.
ab 3,89 €
Derzeit nicht verfügbar
Derzeit nicht verfügbar

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Technische Daten


Erscheinungsdatum
30.09.1981
Sprache
Englisch
EAN
9780387905730
Herausgeber
Springer US
Serien- oder Bandtitel
The AKM Series in Theoretical Computer Science
Sonderedition
Nein
Autor
M.A. Arbib
Seitenanzahl
220
Einbandart
Gebundene Ausgabe
Schlagwörter
automata, Notation, theoretical computer science, Informatik, algorithms, Graph, logic
Thema-Inhalt
UY - Informatik UYA - Theoretische Informatik UYA - Theoretische Informatik UYZG - Interfacedesign, Benutzerfreundlichkeit (Usability) PBV - Kombinatorik und Graphentheorie
Inhaltsverzeichnis
1 Sets, Maps, and Relations.- 1.1 Sets.- 1.2 Exponents and Series.- 1.3 Maps and Relations.- 2 Induction, Strings, and Languages.- 2.1 Induction on the Natural Numbers.- 2.2 The Strings Over an Arbitrary Set.- 2.3 Languages and Automata: A First Look.- 2.4 Context-Free Grammars.- 2.5 Processing Lists.- 3 Counting, Recurrences, and Trees.- 3.1 Some Counting Principles.- 3.2 Trees and Recurrences.- 3.3 An Example of Algorithm Analysis.- 4 Switching Circuits, Proofs, and Logic.- 4.1 Truth Tables and Switching Circuits.- 4.2 Proving Theorems.- 5 Binary Relations, Lattices, and Infinity.- 5.1 Equivalence Relations and Partial Orders.- 5.2 Lattices and Boolean Algebras.- 5.3 An Introduction to Infinity.- 5.4 Another Look at Trees.- 6 Graphs, Matrices, and Machines.- 6.1 An Invitation to Graph Theory.- 6.2 Graphs and Matrices.- 6.3 Finite-State Acceptors and Their Graphs.- Author Index.- Notation Index.
Höhe
0 mm
-.-
Leider noch keine Bewertungen
Leider noch keine Bewertungen
Schreib die erste Bewertung für dieses Produkt!
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!