libristo computer structure and logic 4697589
- znaleziono 6 produktów w 2 sklepach
Topological Structure And Analysis Of Interconnection Networks
Książki Obcojęzyczne>Angielskie>Computing & information technology>Computer science>Computer architecture & logic design
0x0020536200000000
Sklep: Gigant.pl
Learn Computer Science with Swift APress
Książki / Literatura obcojęzyczna
Master the basics of solving logic puzzles, and creating algorithms using Swift on Apple platforms. This book is based on the curriculum currently being used in common computer classes. You'll learn to automate algorithmic processes that scale using Swift in the context of iOS, macOS, tvOS, and watchOS.Begin by understanding how to think computationally: to formulate a computational problem and recognize patterns and ways to validate it. Then jump ahead past the abstractions and conceptual work into using code snippets to build frameworks and write code using Xcode and Swift. Once you have frameworks in place, you'll learn to use algorithms and structure data. Finally, you'll see how to bring people into what you've built through a useable UI and how UI and code relate.What You'll LearnRecognize patterns and use abstractionsBuild code into reusable frameworksManage code and share version controlSolve logic puzzles Who This Book Is For Young professionals interested in learning computer science from an Apple platform standpoint.
Sklep: Libristo.pl
Peter Schroeder-Heister on Proof-Theoretic Semantics Springer, Berlin
Książki / Literatura obcojęzyczna
This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. The chapters of which this book is composed discuss the subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas.
Sklep: Libristo.pl
Models of Computation Springer International Publishing AG
Książki / Literatura obcojęzyczna
This book presents in their basic form the most important models of computation, their programming paradigms, and their mathematical descriptions, both concrete and abstract. The authors also describe important techniques for reasoning on them and for proving some essential properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language, concurrent systems, and probabilistic systems.§§The book will be useful for undergraduate and graduate courses on theoretical computer science.§
Sklep: Libristo.pl
Making It Explicit Harvard University Press
Książki / Literatura obcojęzyczna
What would something unlike us - a computer, for example - have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. "Making It Explicit" is an investigation into the nature of language - the social practices that distinguish us as rational, logical creatures - that revises the very terms of this inquiry. Where accounts of the relation between language and mind have traditionally rested on the concept of representation, this book sets out an alternate approach based on inference, and on a conception of certain kinds of implicit assessment that become explicit in language. "Making It Explicit" attempts to work out in detail a theory that renders linguistic "meaning" in terms of "use" - in short, to explain how semantic content can be conferred on expressions and attitudes that are suitably caught up in social practices. At the centre of this enterprise is a notion of discursive commitment.Being able to talk - and so in the fullest sense being able to think - is a matter of mastering the practices that govern such commitments, being able to keep track of one's own commitments and those of others. Assessing the pragmatic signficance of speech acts is a matter of explaining the explicit in terms of the implicit. As he traces the inferential structure of the social practices within which things can be made conceptually explicit, the author defines the distinctively expressive role of logical vocabulary. This expressive account of language, mind and logic is, finally, an account of who "we" are.
Sklep: Libristo.pl
Spintronics-based Computing Springer International Publishing AG
Książki / Literatura obcojęzyczna
This book provides a comprehensive introduction to spintronics-based computing for the next generation of ultra-low power/highly reliable logic. It will cover aspects from device to system-level, including magnetic memory cells, device modeling, hybrid circuit structure, design methodology, CAD tools, and technological integration methods. This book is accessible to a variety of readers and little or no background in magnetism and spin electronics are required to understand its content. The multidisciplinary team of expert authors from circuits, devices, computer architecture, CAD and system design reveal to readers the potential of spintronics nanodevices to reduce power consumption, improve reliability and enable new functionality.
Sklep: Libristo.pl
Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice
Szukaj w sklepach lub całym serwisie
1. Sklepy z libristo pl computer structure and logic 4697589
2. Szukaj na wszystkich stronach serwisu
t1=0.023, t2=0, t3=0, t4=0, t=0.023