Thư viện số
Giáo trình, tài liệu tham khảo và tài nguyên học tập mở.
Nguồn ngoài
Fundamentals of Infrastructure Management
Donald Coffelt; Chris Hendrickson · Donald Coffelt and Chris Hendrickson · 2017
The authors believe this free of charge book, Fundamentals of Infrastructure Management, will expand the impact of the material and help improve the practice of infrastructure management. By ‘free of charge,' we mean that the material can be freely obtained, but readers should devote time and effort to mastering the material. We have provided problem assignments for various chapters, and we strongly urge readers to undertake the problems as a learning experience. This book grew out of a decade of co-teaching a course entitled ‘Infrastructure Management' at Carnegie Mellon University. Our teaching philosophy was to prepare students for work in the field of infrastructure management. We believe that infrastructure management is a professional endeavor and an attractive professional career. The book is co-authored by two accomplished engineers - each representing professional practice, academic research and theoretical evaluation. Their collective strengths are presented throughout the text and serve to support both the practice of infrastructure management and a role for infrastructure management inquiry and search. Importantly, both co-authors have academic research interests (and a number of research publications) on various topics of infrastructure management. That said, the primary audience for this book is expected to be professionals intending to practice infrastructure management, and only secondarily individuals who intend to pursue a career of research in the area. The text draws examples and discusses a wide variety of infrastructure systems, including roadways, telecommunications, power generation, buildings and systems of infrastructure. We have found that some common fundamentals of asset management, analysis tools and informed decision-making are useful for a variety of such systems. Certainly, many infrastructure managers encounter a variety of infrastructure types during their professional careers. Moreover, due to the functional inter-dependencies of
Nguồn ngoài
Para Todxs: Natal
Grupo de Estudos em Lógica da UFRN · Grupo de Estudos em Lógica da UFRN · 2022
Para Todxs: Natal é um livro didático completo sobre lógica formal. Ele aborda noções fundamentais como consequência lógica e validade de argumentos, a sintaxe da lógica proposicional verofuncional (LVF) e a semântica de tabelas-verdade, a sintaxe da lógica de predicados de primeira ordem (LPO) com identidade (interpretações de primeira ordem), traduções (formalizações) do português para LVF e LPO, além de sistemas de prova em dedução natural (estilo Fitch) para LVF e LPO. Também são abordados alguns tópicos mais avançados, como a correção da LVF e uma introdução à lógica modal. O livro está disponível em PDF otimizado para visualização em tela, com links coloridos. Todos os arquivos fonte em LaTeX estão disponíveis, e podem ser também utilizados para gerar uma outra versão PDF otimizada para impressão. Posteriormente, versões especiais para visualização em tela de dispositivos eletrônicos, versões em folha preta, uma versão com fonte especial para disléxicos, além de um caderno com as soluções dos exercícios também serão produzidos. Um editor/verificador de provas para o sistema usado no livro está disponível online em andersonnakano.hyperphp.com, em versão traduzida ao português por Anderson Luis Nakano do editor original disponível em Open Logic Project.
Nguồn ngoài
forall x: Dortmund
Simon Wimmer · Simpson University · 2021
forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for all exercises in the book is available.