Digital library
Textbooks, references and open learning resources.
External
An Introduction to Formal Logic
P.D. Magnus · Fecundity · 2012
forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it lays the groundwork for understanding why these are things that need to be proven. Throughout the book, I have tried to highlight the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6.
External
Writing for Success
University of Minnesota Libraries Publishing · 2015
Writing for Success is a text that provides instruction in steps, builds writing, reading, and critical thinking, and combines comprehensive grammar review with an introduction to paragraph writing and composition. Beginning with the sentence and its essential elements, this book addresses each concept with clear, concise and effective examples that are immediately reinforced with exercises and opportunities to demonstrate, and reinforce, learning. Each chapter allows your students to demonstrate mastery of the principles of quality writing. With its incremental approach, it can address a range of writing levels and abilities, helping each student in your course prepare for their next writing or university course. Constant reinforcement is provided through examples and exercises, and the text involves students in the learning process through reading, problem-solving, practicing, listening, and experiencing the writing process. Each chapter also has integrated examples that unify the discussion and form a common, easy-to-understand basis for discussion and exploration. This will put your students at ease, and allow for greater absorption of the material. Tips for effective writing are included in every chapter, as well. Thought-provoking scenarios provide challenges and opportunities for collaboration and interaction. These exercises are especially helpful if you incorporate group work in your course. Clear exercises teach sentence and paragraph writing skills that lead to common English composition and research essays. Features: Exercises are integrated in each segment. Each concept is immediately reinforced as soon as it is introduced to keep students on track. Exercises are designed to facilitate interaction and collaboration. This allows for peer-peer engagement, development of interpersonal skills, and promotion of critical thinking skills. Exercises that involve self-editing and collaborative writing are featured. This feature develops and promotes student inte
External
Writing Spaces: Readings on Writing Vol. I
Charlie Lowe; Pavel Zemliansky · WAC Clearinghouse · 2010
Volumes in Writing Spaces: Readings on Writing offer multiple perspectives on a wide-range of topics about writing, much like the modelmade famous by Wendy Bishop's “The Subject Is . . .” series. In eachchapter, authors present their unique views, insights, and strategies forwriting by addressing the undergraduate reader directly. Drawing ontheir own experiences, these teachers-as-writers invite students to joinin the larger conversation about developing nearly every aspect of thecraft of writing. Consequently, each essay functions as a standalonetext that can easily complement other selected readings in writing orwriting-intensive courses across the disciplines at any level. Topics in Volume 1 of the series include academic writing, how to interpret writing assignments, motives for writing, rhetorical analysis, revision, invention, writing centers, argumentation, narrative, reflective writing, Wikipedia, patchwriting, collaboration, and genres.
External
Manufacturing Processes
LamNgeun Virasak · Open Oregon Educational Resources · 2019
This textbook provides an introduction to the important area of manufacturing processes. This text will explain the hows, whys, and whens of various machining operations, set-ups, and procedures. Throughout this text, you will learn how machine tools operate, and when to use one particular machine instead of another. It is organized for students who plan to enter the manufacturing technology field and for those who wish to develop the skills, techniques, and knowledge essential for advancement in this occupational cluster. The organization and contents of this text focus primarily on theory and practice. The machining processes and technology sections in this textbook cover such machine tools as surface grinders, bandsaws, drill presses, milling machines, and the engine lathe. Additionally, the importance of Computer Numerical Control (CNC) in the operation of the most machine tools is explained, and its role in automated manufacturing is explored thoroughly.
External
DC Electrical Circuit Analysis: A Practical Approach
James Fiore · dissidents · 2020
Welcome to DC Electrical Circuit Analysis, an open educational resource (OER). The goal of this text is to introduce the theory and practical application of analysis of DC electrical circuits. It is offered free of charge under a Creative Commons non-commercial, share-alike with attribution license. For your convenience, along with the free pdf and odt files, print copies are available at a very modest charge. Check my web sites for links. This text is based on the earlier Workbook for DC Electrical Circuits, which it replaces. The original expository text has been greatly expanded and includes many examples along with computer simulations. For the convenience of those who used the Workbook, many of the problem sets are the same, with some re-ordering depending on the chapter.
External
AC Electrical Circuit Analysis: A Practical Approach
James Fiore · dissidents · 2020
Welcome to the AC Electrical Circuit Analysis, an open educational resource (OER). The goal of this text is to introduce the theory and practical application of analysis of AC electrical circuits. It assumes familiarity with DC circuit analysis. If you have not studied DC circuit analysis, it is strongly recommended that you read the companion OER text, DC Electrical Circuit Analysis before continuing. Both texts are offered free of charge under a Creative Commons non-commercial, share-alike with attribution license. For your convenience, along with the free pdf and odt files, print copies are available at a very modest charge. Check my web sites for links. This text is based on the earlier Workbook for AC Electrical Circuits, which it replaces. The original expository text has been greatly expanded and includes many examples along with computer simulations. For the convenience of those who used the Workbook, many of the problem sets are the same, with some re-ordering depending on the chapter.
External
Additive Manufacturing Essentials
John Barnes; Timothy Simpson · OpenStax · 2025
Additive Manufacturing Essentials is an introduction to the core principles, technologies, and methods in the field of additive manufacturing. Rooted in industry practice and innovation, the material presents examples and approaches from an array of companies, equipment producers, and software developers. The book is designed to support readers from an array of fields and areas of study, including engineering, science, management, operations, entrepreneurship, and education. With a focus on understanding and selecting the best AM methods for diverse processes and organizations, Additive Manufacturing Essentials provides a working knowledge of the concepts and key applications of this critically important domain.
External
Process Improvement using Data
Kevin Dunn · Kevin Dunn · 2026
There is no other free, coherent text that covers what engineers and scientists actually do with process data (visualization, regression, designed experiments, process monitoring, and multivariate / latent-variable methods) in one volume. Most textbooks pick one of those topics and go deep. Practitioners need all of them, and need to see how they fit together, because real industrial problems don't respect chapter boundaries. Process Improvement using Data was written to fill that gap, and has been continuously refined in industry-facing classrooms and in industrial practice since 2010. It is suitable for upper-undergraduate or introductory-graduate courses, and for self-study by working engineers and data scientists with a basic statistics background.
External
Introduction to Engineering - Thinking Like an Engineer
Jonathan Compton · Antelope Valley College · 2026
Welcome to Introduction to Engineering - Thinking Like an Engineer. This textbook introduces first-year engineering students to analytical thinking, engineering disciplines, academic pathways, problem solving, modeling, computation, design, communication, and professional practice.
External
Digital Design: A Datapath and Control
Christopher Coulston · Colorado School of Mines · 2024
This text was written for faculty and students wanting a structured approach to the design of complex digital systems. It guides students and faculty through the process by exposing critical skills gradually through the text.
External
Digital approaches to building measurement: Standards, tools and techniques
Argaw Gurmu; Nilupa Udawatta; Gayani Karunasena; Reza Taban · Deakin University · 2025
To align the teaching and learning of building measurement with current industry practices and standards in Australia, it is essential to update traditional teaching materials. Existing textbooks predominantly focus on manual measurement methods and provide limited coverage of computer-based techniques that are now widely adopted in professional practice. This handbook addresses this gap by integrating digital measurement tools, particularly RIB CostX software, which reflects contemporary industry workflows. The approach adopted in this book aligns with the principles of the Australian and New Zealand Standard Methods of Measurement (ANZSMM) and supports alignment with industry expectations. This handbook covers key trades, namely groundworks, concrete, formwork, reinforcement, and masonry, which are covered in building measurement and estimating units such as SRE272-Building Measurement, SRE302- Building Measurement and Estimating, and SRQ774-Construction Measurement and Estimating.
External
The Design of the Built Environment: The University of Illinois Urbana-Champaign Campus and Its Context
Kevin Hinders · Illinois Open Publishing Network · 2026
Kevin J. Hinders’s The Design of the Built Environment offers an exploration of the architectural, cultural, and historical development of the University of Illinois Urbana-Champaign campus and its surrounding context. Structured around thematic walking tours, the manuscript examines architectural principles and then uses the campus and its surroundings to illustrate the concepts. It delves into the evolution of public spaces, technical design considerations, and the influence of local, regional, and national planning. Through case studies, historical analysis, and design theory, Hinders illustrates how built environments reflect collective values, cultural shifts, and functional needs. The work emphasizes experiential learning and encourages readers to engage with the built world through observation, reflection, and spatial understanding.
External
Engineering Signal Analysis: From Fourier to filtering: Theory
Christian Tiberius; Max Mulder · TU Delft Open · 2026
Engineering Signal Analysis - Theory, is an introductory textbook on the analysis of signals in time and frequency. It takes an engineer’s perspective and discusses how to characterize, analyze and operate on signals. The basic theoretical concepts, Fourier series and transform, are explained in continuous time. It then introduces discrete-time signals, addressing how sampling and finite signal duration affect spectral analysis. It discusses the discrete Fourier transform and its use in spectral estimation. The book concludes with an introduction to linear systems and signal filtering.
External
Communicating Strategically in the Workplace: A Resource for Engineering and Science Majors
Karishma Chatterjee; Damla Ricks; Diane Waryas Hughey · Mavs Open Press · 2025
We created this book to provide a targeted understanding of the process of communication to STEM (Science, Technology, Engineering, Mathematics) students. We have included specific and concise information in this book catering to technical and professional fields. Students will be able to develop their skills in writing, presenting, and interviewing, and improve their interpersonal relationships in the workplace.
External
Elements of Airplane Performance
Gerrit Ruijgrok; Mark Voskuijl; Carmine Varriale · TU Delft Open · 2025
Elements of Airplane Performance provides a comprehensive introduction to the principles governing the flight performance of fixed-wing aircraft. After covering fundamental concepts related to atmospheric properties, equations of motion, aerodynamics, propeller and jet propulsion, electric powertrains, and flight instrumentation, the book guides its readers through the analysis of performance in steady and accelerated flight. Detailed chapters are dedicated to the most important flight phases: climb and descent (including gliding), cruise, take-off and landing, turning and maneuvering flight. Both point and path performance are covered, and the effect of aircraft design parameters, as well as operational parameters like weight, altitude, and local atmospheric conditions, are discussed. Appendices offer essential background in mechanics, coordinate systems and transformations, fluid dynamics, and a standard atmosphere model. Exercises are provided at the end of each chapter.
External
Ethics in Technology
Edward Weber · St. Charles Community College · 2025
The purpose of this text is to serve as an Open Education Resource (OER) designed initially to be used in a secondary or post-secondary education setting. It is intended to be a guide to facilitate focused discussions about contemporary issues of the ethical considerations related to technology evolution, development, deployment, and consumption, as well as issues (both known and unknown) of potential misuse and abuse of technology. This is not a traditional Ethics textbook in that it is not intended to provide a survey of all of the history of Ethics through the ages nor is it intended to dive deeply into any particular ethical movements or frameworks as may be the focus of other ethics studies. Rather, it is intended to focus predominantly on the concepts of applying critical and ethical thinking to issues and subsequent decisions related to our interactions with technology in the 21st century.
External
Transitioning towards a circular (healthcare) economy: Circular Economy principles, leadership, policy and decision-making
Bart van Straten; Bruno Bruins; Tim Horeman · TU Delft Open · 2025
This book offers a comprehensive roadmap toward a circular and sustainable healthcare system, structured into three distinct parts. Part I describes circular principles and policy tactics. Chapter 1 outlines the essentials of sustainable healthcare and designates the paradox in daily practice of sustainability and the circular economy. In Chapter 2 the impact of leadership on policy together with best practices is discussed. The legislation and infrastructural web, in which many stakeholders and circular economy initiatives are strangled, is described. Despite the fact that politicians and policymakers are motivated to encourage sustainability, the infrastructure is designed to discourage circular economy projects. This chapter shows examples of setting-up intrinsic motivated teams of hospital staff, green teams, industry leaders and scientific motivated research teams. Swimming against the current is about the legislation paradox. In chapter 3 described as how legislation should be redesigned to accomplish the goals as set out in the green deal and the climate law. Part II serves as a practical guide to implementing circular strategies. In chapter 4 the reader is guided through the fundamentals of circular strategies by visualizing the circular economy. Chapter 5 reveals successful design strategies for products and processes which contribute to a zero-waste society. Using recycled materials by using waste as input for new products is described in chapter 6. In chapter 6 we will explore (surgical) waste as input for new products. Recycled should and could be used more. This is a fundamental concept within circular design principles but hardly used until this moment. Part III explores circular economy design principles on basis of successful examples. This part dives into real-world applications and measurable outcomes. It showcases successful circular design concepts and business models that have reshaped the market. Chapter 7: Is about leading by design. Success s
External
Engineering Thermodynamics
Olivier Cleynen · Olivier Cleynen · 2025
This textbook offers a clear, progressive introduction to thermodynamics, tailored for university students and future engineers eager to understand the physical principles behind engines and refrigeration systems. With 59 fully-commented, step-by-step calculation examples and 96 problems with solutions, this book equips readers to tackle engineering challenges with confidence. Alongside rigorous analysis, it weaves in historical insights and scientific context — connecting core ideas to their origins and their technological impact.
External
Configuration Aerodynamics
William Mason; Pradeep Raj · Virginia Tech Publishing · 2026
Practical applications of aerodynamic theory are critically important for aerodynamic design of aircraft configurations, but are often omitted from aerospace engineering curricula. Lecture Notes on Configuration Aerodynamics is an incredible resource for educating the next generation of aerospace engineering students who aspire to engage in the aerodynamic design of aircraft configurations. It shows how aerodynamic theory is applied in practice, giving students insight into what a career in aerodynamics entails. This open textbook offers a design-oriented perspective of the development and analysis of aircraft aerodynamics. Based on his academic experience as a professor and his industrial experience at Grumman, Mason presents decades of relevant knowledge and wisdom of a large number of exceptional researchers and practicing engineers. Extensive references throughout the book encourage further study of configuration aerodynamics. This book encompasses the aerodynamic design of flight vehicles with emphasis on flow fields and configuration concepts. Mason covers methodologies for aerodynamic analysis and design for flows ranging from low speed to high speed and includes case studies of classic configurations. Are you reviewing or adopting this book for a course?Please help us understand your use by filling out this form.
External
Petroleum Reservoir Dynamics
Mehdi Zeidouni · Louisiana State University · 2025
The book is structured into nine chapters, each designed to build a comprehensive understanding of reservoir engineering principles. Chapter 1 introduces the discipline and its connections with other areas of petroleum engineering. Chapters 2 through 5 address steady-state flow and its various complexities: Darcy’s equation and its limitations (Chapter 2); flow geometries and skin factor concepts (Chapter 3); compressible oil and gas flow (Chapter 4); and non-horizontal flow using the flow potential concept (Chapter 5). In Chapter 6, the pressure diffusivity equation is explored alongside key concepts of radius of investigation and average reservoir pressure. Chapter 7 delves into the pseudo-steady-state (PSS) flow regime, its applications in multi-well drainage, and its relationship with well productivity index, inflow performance relationship, vertical flow performance, and nodal analysis. The final chapters focus on transient radial flow and its applications in well testing. Chapter 8 introduces transient drawdown analysis. Chapter 9 discusses the superposition principle in time and space, with application to the modeling of sealing faults and buildup test analysis. To enhance engagement and learning, each chapter includes quiz questions - primarily in a True/False format - with answers provided at the end of the book. Additionally, numerous examples are integrated throughout to demonstrate the practical significance of the concepts and their relevance to reservoir engineering practice.