| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910999687703321 |
|
|
Autore |
Farmer William M |
|
|
Titolo |
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / / by William M. Farmer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[2nd ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXIX, 319 p. 11 illus., 5 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Computer Science Foundations and Applied Logic, , 2731-5762 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Set theory |
Mathematical logic |
Computational complexity |
Reasoning |
Computer Science Logic and Foundations of Programming |
Set Theory |
Mathematical Logic and Foundations |
Computational Complexity |
Formal Reasoning |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Chapter 1 Introduction -- Chapter 2 Answers to Readers’ Questions -- Chapter 3 Preliminary Concepts -- Chapter 4 Syntax -- Chapter 5 Semantics -- Chapter 6 Additional Notation -- Chapter 7 Beta-reduction and Substitution -- Chapter 8 Proof Systems -- Chapter 9 Theories -- Chapter 10 Inductive Sets and Types -- Chapter 11 Sequences -- Chapter 12 Developments -- Chapter 13 Real Number Mathematics -- Chapter 14 Morphisms -- Chapter 15 Alonzo Variants -- Chapter 16 Software Support. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that |
|
|
|
|
|
|
|
|
|
|
is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge. For this second edition, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types. Topics and features: · Offers the first book-length introduction to simple type theory as a predicate logic · Provides the reader with a logic that is close to mathematical practice · Includes a module system for building libraries of mathematical knowledge · Employs two semantics, one for mathematics and one for logic · Emphasizes the model-theoretic view of predicate logic · Presents several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooks Aimed at students of mathematics and computing at the graduate or upper-undergraduate level, this book is well suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas. William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada. . |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911006706403321 |
|
|
Autore |
Bloetscher Frederick |
|
|
Titolo |
Ethics and Responsibilities of Engineers |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Chicago : , : J. Ross Publishing, , 2021 |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9781523148479 |
1523148470 |
9781604278354 |
1604278358 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (280 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Intro -- CONTENTS -- PREFACE -- ABOUT THE AUTHOR -- WAV Page -- CHAPTER 1: THE PROFESSION AND ETHICAL CONDUCT -- CHAPTER 2: FROM WHERE DO ETHICS EVOLVE? -- CHAPTER 3: STATES AND LICENSURE -- CHAPTER 4: FUNDAMENTAL EDUCATION COMPETENCY -- CHAPTER 5: WORKING AS AN ENGINEER -- CHAPTER 6: ORGANIZING FOR WORK -- CHAPTER 7: EXAMPLES OF ETHICAL CONUNDRUMS FOR ENGINEERS -- CHAPTER 8: ECONOMICS AND ENGINEERING-THE NEED FOR LEADERSHIP -- CHAPTER 9: CONCLUSIONS -- APPENDIX A -- APPENDIX B. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"Ethics and Responsibilities of Engineers is designed to help students and new practitioners understand from where ethics originate and how they have developed in the profession. It is written to help engineers understand how the coursework they take in school aligns with the public good. What separates this book from others is the focus on the historical development of ethics for the profession and the role played by our educational system, accreditation commissions, and licensing boards. The knowledge and regulatory basis for the engineering occupation permits engineers to comprehend and address (and thereby often avoid) the challenges that might compromise the image of engineers in society. The trust that the public has in their judgment to |
|
|
|
|
|
|
|
|
|
|
|
|
|
protect and serve society is what allows engineers to be held in high esteem" |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910965833203321 |
|
|
Autore |
Guthrie-Shimizu Sayuri |
|
|
Titolo |
Transpacific field of dreams : how baseball linked the United States and Japan in peace and war / / Sayuri Guthrie-Shimizu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Chapel Hill, : University of North Carolina Press, c2012 |
|
|
|
|
|
|
|
ISBN |
|
979-88-9313-040-9 |
979-88-908427-0-1 |
1-4696-0183-4 |
0-8078-8266-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (345 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Baseball - Political aspects - Japan |
Baseball - Political aspects - United States |
Japan Foreign relations United States |
United States Foreign relations Japan |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Contents; Acknowledgments; Introduction; CHAPTER 1. Pacific Crossings; CHAPTER 2. Colonial Baseball; CHAPTER 3. Leagues of Their Own; CHAPTER 4. The Business of Baseball; CHAPTER 5. Empires of Fun and Games; A section of illustrations; CHAPTER 6. Spartan Leagues; CHAPTER 7. A Field of New Dreams; CHAPTER 8. The Search for Postwar Order; Epilogue; Notes; Selected Bibliography; Index; |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Baseball has joined America and Japan, even in times of strife, for over 150 years. After the ""opening"" of Japan by Commodore Perry, Sayuri Guthrie-Shimizu explains, baseball was introduced there by American employees of the Japanese government tasked with bringing Western knowledge and technology to the country, and Japanese students in the United States soon became avid players. In the early twentieth century, visiting Japanese warships fielded teams that played against American |
|
|
|
|
|
|
|
|
|
|
teams, and a Negro League team arranged tours to Japan. By the 1930's, professional baseball was organized |
|
|
|
|
|
| |