Sebanyak 30798 item atau buku ditemukan

Computational Thinking: A Perspective on Computer Science

This textbook is intended as a textbook for one-semester, introductory computer science courses aimed at undergraduate students from all disciplines. Self-contained and with no prerequisites, it focuses on elementary knowledge and thinking models. The content has been tested in university classrooms for over six years, and has been used in summer schools to train university and high-school teachers on teaching introductory computer science courses using computational thinking. This book introduces computer science from a computational thinking perspective. In computer science the way of thinking is characterized by three external and eight internal features, including automatic execution, bit-accuracy and abstraction. The book is divided into chapters on logic thinking, algorithmic thinking, systems thinking, and network thinking. It also covers societal impact and responsible computing material – from ICT industry to digital economy, from the wonder of exponentiation to wonder of cyberspace, and from code of conduct to best practices for independent work. The book’s structure encourages active, hands-on learning using the pedagogic tool Bloom's taxonomy to create computational solutions to over 200 problems of varying difficulty. Students solve problems using a combination of thought experiment, programming, and written methods. Only 300 lines of code in total are required to solve most programming problems in this book.

This book introduces computer science from a computational thinking perspective.

Computation and Reasoning

A Type Theory for Computer Science

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science.

Computational Design Thinking

Computation Design Thinking

The current transition from Computer Aided Design (CAD) to Computational Design in architecture represents a profound shift in design thinking and methods. Representation is being replaced by simulation, and the crafting of objects is moving towards the generation of integrated systems through designer-authored computational processes. While there is a particular history of such an approach in architecture, its relative newness requires the continued progression of novel modes of design thinking for the architect of the 21st century. This AD Reader establishes a foundation for such thinking. It includes multifaceted reflections and speculations on the profound influence of computational paradigms on architecture. It presents relevant principles from the domains of mathematics and computer science, developmental and evolutionary biology, system science and philosophy, establishing a discourse for computational design thinking in architecture. Rather than a merely technical approach, the book will discuss essential intellectual concepts that are fundamental not only for a discourse on computational design but also for its practice. This anthology provides a unique collection of seminal texts by authors, who have either provided a significant starting point through which a computational approach to design has been pursued or have played a considerable role in shaping the field. An important aspect of this book is the manner in which adjacent fields and historical texts are connected. Both the source of original inspiration and scientific thought are presented alongside contemporary writings on the continually evolving computational design discourse. Emerging from the field of science, principally the subjects of morphogenesis, evolution and mathematics, selected texts provide a historical basis for a reconfigured mindset of processes that generate, arrange and describe form. Juxtaposed against more contemporary statements regarding the influence of computation on design thinking, the book offers advancements of fundamental texts to the particular purpose of establishing novel thought processes for architecture, theoretically and practically. The first reader to provide an effective framework for computational thinking in design. Includes classic texts by Johan W. von Goethe, D’Arcy Thompson, Ernst Mayr, Ludwig von Bertalanffy, Gordan Pask, Christopher Alexander, John H. Holland, Nicholas Negroponte, William Mitchell, Peter J. Bentley & David W. Corne, Sanford Kwinter, John Frazer, Kostis Terzidis, Michael Weinstock and Achim Menges Features new writing by: Mark Burry, Jane Burry, Manuel DeLanda and Peter Trummer.

An important aspect of this book is the manner in which adjacent fields and historical texts are connected.

The Viabilities of Musyarakah as Social Protection Mechanism

Case Studies of Jogjakarta Earthquake 2006

The increasing occurrence of natural disaster nowadays has shifted the paradigm of disaster mitigation from government centric towards society-based mitigation. This book explores the financial aspects as crucial factors in determining better conditions in disaster situation by highlighting the viabilities of musyarakah as a social protection mechanism in time of disaster. As the oldest financial instrument in islamic economic system, musyarakah provides a financing framework which is potentially useful in disaster situations. Through field observation in Jogjakarta in the context of 2006 earthquake, it appeared that the practice of musyarakah by both social organization and financial institution has given a relief mechanism for the victims and at the same time carry out social resiliencies in responding to disaster frustration. In addition, musyarakah will remain as a mere potential without creativity and engagement of various elements in society as well as government support.

This book explores the financial aspects as crucial factors in determining better conditions in disaster situation by highlighting the viabilities of musyarakah as a social protection mechanism in time of disaster.

Akad MMQ (Musyarakah Mutanaqishah) Dalam Transaksi Muamalah Maliyah

Buku ini disusun untuk memberikan pemahaman mengenai akad MMQ (Musyarakah Mutanaqishah) yang mendapatkan perhatian karena berbagai keunggulannya. Pemahaman yang baik terhadap akad ini sangat penting agar penerapannya dapat sesuai dengan prinsip-prinsip syariah dan memberikan manfaat para pembaca, baik dari kalangan akademisi, praktisi, maupun masyarakat umum yang ingin memahami lebih dalam mengenai akad MMQ (Musyarakah Mutanaqishah). Berikutnya membahas Akad MMQ (Musyarakah Mutanaqishah), termasuk definisi, konsep hybrid contract dalam MMQ, serta berbagai pendapat ulama mengenai akad ini. Selain itu, kami juga mengulas fatwa yang dikeluarkan oleh Dewan Syariah Nasional Majelis Ulama Indonesia (DSN-MUI) terkait akad MMQ, sebagai dasar hukum yang digunakan dalam praktik perbankan dan lembaga keuangan syariah.

Buku ini disusun untuk memberikan pemahaman mengenai akad MMQ (Musyarakah Mutanaqishah) yang mendapatkan perhatian karena berbagai keunggulannya.