To learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general. Computation is integral to all modern engineering disciplines, so the better you are at programming, the better you will be in your chosen field. The author departs radically from the typical presentation by teaching concepts and techniques in a rigorous manner rather than listing how to use libraries and functions. He presents pointers in the very first chapter as part of the development of a computational model that facilitates an ab initio presentation of subjects such as function calls, call-by-reference, arrays, the stack, and the heap. The model also allows students to practice the essential skill of memory manipulation throughout the entire course rather than just at the end. As a result, this textbook goes further than is typical for a one-semester course -- abstract data types and linked lists, for example, are covered in depth. The computational model will also serve students in their adventures with programming beyond the course: instead of falling back on rules, they can think through the model to decide how a new programming concept fits with what they already know. The book is appropriate for undergraduate students of engineering and computer science, and graduate students of other disciplines. It contains many exercises integrated into the main text, and the author has made the source code available online.
Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study.
To learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general. Computation is integral to all modern engineering disciplines, so the better you are at programming, the better you will be in your chosen field. The author departs radically from the typical presentation by teaching concepts and techniques in a rigorous manner rather than listing how to use libraries and functions. He presents pointers in the very first chapter as part of the development of a computational model that facilitates an ab initio presentation of subjects such as function calls, call-by-reference, arrays, the stack, and the heap. The model also allows students to practice the essential skill of memory manipulation throughout the entire course rather than just at the end. As a result, this textbook goes further than is typical for a one-semester course -- abstract data types and linked lists, for example, are covered in depth. The computational model will also serve students in their adventures with programming beyond the course: instead of falling back on rules, they can think through the model to decide how a new programming concept fits with what they already know. The book is appropriate for undergraduate students of engineering and computer science, and graduate students of other disciplines. It contains many exercises integrated into the main text, and the author has made the source code available online.
Androgynous Democracy examines how the notions of gender equality propounded by transcendentalists and other nineteenth-century writers were further developed and complicated by the rise of literary modernism. Aaron Shaheen specifically investigates the ways in which intellectual discussions of androgyny, once detached from earlier gonadal-based models, were used by various American authors to formulate their own paradigms of democratic national cohesion. Indeed, Henry James, Frank Norris, Charlotte Perkins Gilman, John Crowe Ransom, Grace Lumpkin, W. E. B. Du Bois, and Marita Bonner all expressed a deep fascination with androgyny—an interest that bore directly on their thoughts about some of the most prominent issues America confronted as it moved into the first decades of the twentieth century. Shaheen not only considers the work of each of these seven writers individually, but he also reveals the interconnectedness of their ideas. He shows that Henry James used the concept of androgyny to make sense of the discord between the North and the South in the years immediately following the Civil War, while Norris and Gilman used it to formulate a new model of citizenship in the wake of America’s industrial ascendancy. The author next explores the uses Ransom and Lumpkin made of androgyny in assessing the threat of radicalism once the Great Depression had weakened the country’s faith in both capitalism and religious fundamentalism. Finally, he looks at how androgyny was instrumental in the discussions of racial uplift and urban migration generated by Du Bois and Bonner. Thoroughly documented, this engrossing volume will be a valuable resource in the fields of American literary criticism, feminism and gender theory, queer theory, and politics and nationalism. Aaron Shaheen is UC Foundation Assistant Professor of English at the University of Tennessee at Chattanooga. He has published articles in the Southern Literary Journal, American Literary Realism, and the Henry James Review.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.