Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 0470747005:ONLINE Show nearby items on shelf |
Title: | Multimedia Semantics - Metadata, Analysis and Interaction |
Author(s): |
Troncy |
Date: | 2011 |
Publisher: | Wiley-Blackwell |
Size: | 1 online resource (329 p.) |
ISBN: | 9780470747001 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | Electrical & Electronics Engineering |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | 0470409088:ONLINE Show nearby items on shelf |
Title: | UML 2 Semantics and Applications |
Author(s): |
Lano |
Date: | 2009 |
Publisher: | Wiley |
Size: | 1 online resource (417 p.) |
ISBN: | 9780470409084 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | Computer Science |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | 0470091487:ONLINE Show nearby items on shelf |
Title: | Service-Oriented Computing - Semantics, Processes, Agents |
Author(s): |
Singh |
Date: | 2004 |
Publisher: | Wiley |
Size: | 1 online resource (597 p.) |
ISBN: | 9780470091487 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | Electrical & Electronics Engineering |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319314860:ONLINE Show nearby items on shelf |
Title: | Quantifying Aesthetics of Visual Design Applied to Automatic Design |
Author(s): |
Ali Jahanian |
Date: | 2016 |
Size: | 1 online resource (42 p.) |
Note: | 10.1007/978-3-319-31486-0 |
Contents: | Introduction -- On The Legitimacy Of Quantifying Aesthetics -- Design Mining Color Semantics -- Design Mining Visual Balance -- Automatic Design Of Self-Published Media: A Case Study Of Magazine Covers -- Recommendation System For |
Automatic Design | |
ISBN: | 9783319314860 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Computational linguistics , Electronic circuits , Optical materials , Electronic materials , Physics , Electronic Circuits and Devices , Optical and Electronic Materials , Computational Linguistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319226866:ONLINE Show nearby items on shelf |
Title: | Advances in Proof-Theoretic Semantics |
Author(s): | |
Date: | 2016 |
Edition: | 1st ed. 2016 |
Size: | 1 online resource (283 p.) |
Note: | 10.1007/978-3-319-22686-6 |
Contents: | Chapter 1. Introduction Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory Kosta Došen -- Chapter 4. Generalised elimination ru les Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question Wilfrid Hodges -- Chapter 7. The mode of presentation Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS Dag Prawitz -- Chapter 9. Unification of logics by reflection Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject Göran Sundholm -- Chapter 11. Compositional semantics for pre dicate logic: Eliminating bound variables from formulas and deductions William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation Gabriele Usberti -- Chapter 13. Explicit composition and its application in |
normalization proofs Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoret ic Semantics Yoshihiro Maruyama | |
ISBN: | 9783319226866 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 43 |
Keywords: | Philosophy , Logic , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9789400775480:ONLINE Show nearby items on shelf |
Title: | Advances in Natural Deduction [electronic resource] : A Celebration of Dag Prawitz's Work |
Author(s): |
Luiz Carlos Pereira Edward Hermann Haeusler Valeria de Paiva |
Date: | 2014 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour hisseminal research. Dag Prawit zs work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics andTheoretical Computer Science. The range of contributions includes ma terial on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of naturaldeduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), viamethods of category theory that have been successfully applied to linear logic, as well as many other contributions from h ighly regarded authorities. With an illustrious group of contributors addressing a wealth of topics andapplications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative ofthe rich and varied directions that Prawitz work has inspired in the area of natural deduction. |
Contents: | Chapter 1. Generalizaed elimination inferences Schroeder |
Heister, Peter | |
Chapter 2. Revisiting Zucker's work on the Correspondence between Cut | |
Elimination and Normalisation Urban, Christian | |
Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic Joinet, Jean | |
Baptiste | |
Chapter 4. Natural Deduction for Equality: The Missing Entity de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G | |
Chapter 5. Proof | |
theoretical Conception of Logic Legris, Javier | |
Chapter 6. On the Structure of Natural deduction Derivations for Generally Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sh | |
ISBN: | 9789400775480 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v39 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9788847055322:ONLINE Show nearby items on shelf |
Title: | Social Media e Sentiment Analysis [electronic resource] : Levoluzione dei fenomeni sociali attraverso la Rete |
Author(s): |
Andrea Ceron Luigi Curini Stefano M Iacus |
Date: | 2014 |
Publisher: | Milano : Springer Milan : Imprint: Springer |
Size: | 1 online resource |
Note: | Due miliardi e mezzo di utenti internet, oltre un miliardo di account Facebook, 550 milioni di profili Twitter. Che parlano, discutono, si confrontano sui temi pi svariati. Un flusso in continuo divenire di informazioni che dsostanza ogni giorno al m ondo dei Big Data. Ma come si analizza concretamente il sentiment della Rete? Quali sono i pregi e i limiti dei diversi metodi esistenti? E a quali domande possiamo dare una risposta? Dopo aver presentatole varie tecniche di analisi testuale applicate ai social media, questo libro discute di come linformazione presente in Rete sia in grado di aiutarci a meglio comprendere il presente e a fare previsioni sul futuro riguardo a unamolteplicit di fenomeni sociali, che spaziano dallandamento dei mercati finanz iari, alla diffusione di malattie, alle rivolte e ai sommovimenti popolari fino ai risultati dei talent show, prima di concentrarsi su due casispecifici: landamento della felicit degli italiani giorno per giorno, e i risultati delle campagne elettorali in Francia, Stati Uniti e Italia tra il 2012 e il 2013 |
Contents: | 1 Perch studiare i social media |
2 Opinion Mining e integrated Sentiment Analysis (iSA) | |
3 Catturare l'evoluzione di una emozione | |
4 Sentiment Analysis ed elezioni: prevedere possibile? | |
5 Conclusioni: Dai social media alla politica (e ritorno) | |
ISBN: | 9788847055322 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Sxi Springer per lInnovazione / Sxi Springer for Innovation, 2239-2688 : v9 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Data mining , Semantics , Social sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783764385040:ONLINE Show nearby items on shelf |
Title: | Kripkes Worlds [electronic resource] : An Introduction to Modal Logics via Tableaux |
Author(s): |
Olivier Gasquet Andreas Herzig Bilal Said Franois Schwarzentruber |
Date: | 2014 |
Publisher: | Basel : Springer Basel : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics(alethic, temporal, epis temic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics). All these logics havebeen studied intensively in philosophical an d mathematical logic and in computer science, and have been applied increasingly in domains such as program semantics, artificial intelligence, and more recently in the semantic web.Additionally, all these logics were also studied proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the mostuniform and most successful such systems are tableaux systems. Given a logic and a formula, they al low one to check whether there is a model in that logic. This basically amounts to trying to build a model for the formula by building atree. This book follows a more general approach by trying to build a graph, the advantage being that a graph is closer to a Kripke model than a tree. It provides a step-by-step introduction to possible worlds semantics (and by that tomodal and other nonclassical logics) via the tableaux method. It is accompanied by a piece of software called LoTREC (www.irit.fr/Lotrec). L oTREC allows to check whether a given formula is true at a given world of a given model and tocheck whether a given formula is satisfiable in a given logic. The latter can be done immediately if the tableau system for that logic has already been implement ed in LoTREC. If this is not yet the case LoTREC offers the possibility toimplement a tableau system in a relatively easy way via a simple, graph-based, interactive language. >dy> |
Contents: | Preface |
1 Modelling things with graphs | |
2 Talking about graphs | |
3 The basics of the model construction method | |
4 Logics with simple constraints on models | |
5 Logics with transitive accessibility relations | |
6 Model Checking | |
7 Modal logics with transitive closure | |
Bibliography | |
Index | |
ISBN: | 9783764385040 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Studies in Universal Logic |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319060804:ONLINE Show nearby items on shelf |
Title: | Recent Trends in Philosophical Logic [electronic resource] |
Author(s): |
Roberto Ciuni Heinrich Wansing Caroline Willkommen |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors coverthemes such as the know ability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics. The developments presented here focus on challengingproblems in the specification of fundamental philoso phical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader inmaking connections in the specific areas covered. Thus this work provides bo th a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. Thechapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University Bochum, June 2012 |
Contents: | Chapter 1. Semantic Defectiveness: A Dissolution of Semantic Pathology Bradley Armour |
Garb and James A. Woodbridge | |
Chapter 2. Emptiness and discharge in sequent calculus and natural deduction Michael Arndt and Luca Tranchini | |
Chapter 3. The Knowability Paradox in the light of a Logic for Pragmatics Massimiliano Carrara and Daniele Chi | |
Chapter 4. A Dialetheic Interpretation of Classical Logic Massimiliano Carrara and Enrico Martino | |
Chapter 5. Strongly semantic information as information about the truth Gustavo Cevolani | |
Chapter 6. Priest's Motorbike and Tolerant Identity Pabl | |
ISBN: | 9783319060804 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v41 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Genetic epistemology , Logic , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781461457466:ONLINE Show nearby items on shelf |
Title: | A Course on Mathematical Logic [electronic resource] |
Author(s): |
Shashi Mohan Srivastava |
Date: | 2013 |
Edition: | 2nd ed. 2013 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted withlogic and would like to learn Gdels incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related tofoundations and computability, such as logic, axiomati c set theory, model theory, recursion theory, and computability. In this new edition, many small and large changes have been made throughout the text. The main purpose of this newedition is toprovide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types tomodel theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new editionalso introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, hom ogeneous structures, definability, and many more. Review from the first edition: All results includedin the book are very carefully selected and proved. The authors manner of writing is excellent, which will surely make this book useful to many categories of readers. --Marius Tarnauceanu, Zentralblatt MATH |
Note: | Springer eBooks |
Contents: | Preface |
1 Syntax of First | |
Order Logic | |
2 Semantics of First | |
Order Languages | |
3 Propositional Logic | |
4 Completeness Theorem for First | |
Order Logic | |
5 Model Theory | |
6 Recursive Functions and Arithmetization of Theories | |
7 Incompleteness Theorems and Recursion Theory | |
References | |
Index | |
ISBN: | 9781461457466 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext, 0172-5939 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Algebra , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781447145585:ONLINE Show nearby items on shelf |
Title: | Logic and Structure [electronic resource] |
Author(s): |
Dirk Dalen |
Date: | 2013 |
Edition: | 5th ed. 2013 |
Publisher: | London : Springer London : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Dirk van Dalens popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gdels famous incompletenesstheorem. Propositional and predicat e logic are presented in an easy-to-read style using Gentzens natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness,Skolem-Lwenheim, non-standard models and quantifier elimination. The discuss ion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods andprinciples, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructi ve features, such as apartness and equality, the Gdel translation, the disjunction and existence property are also included.The last chapter on Gdel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary rec ursion theory. This new edition has been properly revised and contains a new section onultra-products |
Note: | Springer eBooks |
Contents: | Introduction |
Propositional Logic | |
Predicate Logic | |
Completeness and Applications | |
Second Order Logic | |
Intuitionistic Logic | |
Normalization | |
Gdel's theorem | |
ISBN: | 9781447145585 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext, 0172-5939 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9788847023611:ONLINE Show nearby items on shelf |
Title: | Logic: A Brief Course [electronic resource] |
Author(s): |
Daniele Mundici |
Date: | 2012 |
Publisher: | Milano : Springer Milan : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gdel's completeness theorem and its main consequences isgiven using Robinson's c ompleteness theorem and Gdel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logicalequivalence and consequence relation, the Davis-Putna m procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphicobjects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book alsointeresting to a wide range of students of philosophy and linguistics |
Note: | Springer eBooks |
Contents: | Introduction |
Fundamental Logical Notions | |
The Resolution Method | |
Robinson Completeness Theorem | |
Fast Classes for DPP | |
Godel Compactness Theorem | |
Propositional Logic: Syntax | |
Propositional Logic: Semantics | |
Normal Forms | |
Recap: Expressivity and Efficiency | |
The Quantifiers There Exists and For All | |
Syntax of Predicate Logic | |
The Meaning of Clauses | |
Godel Completeness Theorem for the Logic of Clauses | |
Equality Axioms | |
The Predicate Logic L | |
ISBN: | 9788847023611 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | UNITEXT, 2038-5714 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Logic, Symbolic and mathematical , Semantics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9788847018846:ONLINE Show nearby items on shelf |
Title: | Logica: Metodo Breve [electronic resource] |
Author(s): |
Daniele Mundici |
Date: | 2011 |
Publisher: | Milano : Springer Milan : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gdel, Lwenheim-Skolem) introducendo i concetti sintattici e semanticiin modo progressivo, dal la logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi |
Note: | Springer eBooks |
ISBN: | 9788847018846 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | UNITEXT, 2038-5714 : v1 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Logic, Symbolic and mathematical , Semantics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9783642156038:ONLINE Show nearby items on shelf |
Title: | The Role of Model Integration in Complex Systems Modelling [electronic resource] An Example from Cancer Biology |
Author(s): |
Manish Patel Sylvia Nagl |
Date: | 2010 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Model integration the process by which different modelling efforts can be brought together to simulate the target system is a core technology in the field of Systems Biology. In the work presented here model integrationwas addressed directly taking cancer systems as an example. An in-depth literature review was carried out to survey the model forms and types currently being utilised. This was used to formalise the main challenges that modelintegration poses, namely that of paradigm (the formalism o n which a model is based), focus (the real-world system the model represents) and scale. A two-tier model integration strategy, including a knowledge-driven approach to addressmodel semantics, was developed to tackle these challenges. In the first step a novel description of models at the level of behaviour, rather than the precise mathematical or computational basis of the model, is developed by distillinga set of abstract classes and properties. These can accurately describe model behaviour and hence de scribe focus in a way that can be integrated with behavioural descriptions of other models. In the second step this behaviour isdecomposed into an agent-based system by translating the models into local interaction rules. The book provides a detailed and highly integrated presentation of the method, encompassing both its novel theoretical and practical aspects,which will enable the reader to practically apply it to their model integration needs in academic research and professional settings. The text is s elf-supporting. It also includes an in-depth current bibliography to relevant researchpapers and literature. The review of the current state of the art in tumour modelling provides added value |
Note: | Springer eBooks |
Contents: | Part 1 Introduction |
Part 2 Nature to Numbers: Complex Systems Modelling of Cancer | |
Part 3 Coping with Complexity: Modelling of Complex Systems | |
Part 4 Complexity and Model Integration: Formalisations | |
Part 5 Novel Strategies for Integrating Models into Systems | |
level Simulations | |
Part 6 Experiments in Model Integration | |
Part 7 Discussion | |
ISBN: | 9783642156038 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Understanding Complex Systems, 1860-0832 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Engineering , Oncology , Biological models |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9780387729268:ONLINE Show nearby items on shelf |
Title: | Semantics-Oriented Natural Language Processing [electronic resource] : Mathematical Models and Algorithms |
Author(s): |
Vladimir Fomichov A. |
Date: | 2010 |
Edition: | First |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book examines key issues in designing semantics-oriented natural language (NL) processing systems. One of the key features is an original strategy for transforming the existing World Wide Web into a new generation SemanticWeb (SW-2) and the basi c formal tools for its realization, which are proposed. The principal distinguishing feature of the proposed SW-2 is the well-developed ability of NL processing. A broad conceptual framework for describingstructured meanings of NL-texts (sentences and arb itrarily complex discourses) is obtained by introducing a mathematical model describing 10 interrelated partial operations on conceptual structures. A new class of formal languagescalled standard knowledge languages (SK-languages) is defined. Readers will gain knowledge of these languages and learn a way of building semantic representations using them. Additionally, a broadly applicable mathematical model of alinguistic database is constructed. A useful for practice and strongly structured multi-lingual a lgorithm of semantic-syntactic analysis of NL-texts is described by means of original formal concepts the input texts can be sentences inEnglish, Russian, and German. With extensive use of examples and illustrations to clarify complex material and demonst rate practical applications, many historical and bibliographical notes, end-of-chapter exercises, and glossaries,this book can serve as a graduate-level textbook, as well as a good reference for researchers and practitioners who deal with the various prob lems involving semantics of natural language texts, ontologies, Semantic Web, semantic dataintegration in e-science, and content languages in multi-agent systems, in particular, in e-commerce and e-health |
Note: | Springer eBooks |
Contents: | Preface |
Acronyms | |
Part I: A Comprehensive Mathematical Framework for the Development of Semantic Technologies | |
Mathematical Models for Designing Natural Language Processing Systems as a New Field of Study for Systems Science | |
Introduction to Integral Formal Semantics of Natural Language | |
A Mathematical Model for Describing a System of Primary Units of Conceptual Level Used by Applied Intelligent Systems | |
A Mathematical Model for Describing Structured Meanings of Natural Language Sentences and Discourses | |
A Study of the Expressive Possibilities of SK | |
Languages | |
The Significance | |
ISBN: | 9780387729268 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | IFSR International Series on Systems Science and Engineering, 1574-0463 : v27 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computational complexity , Information systems , Translators (Computer programs) , Systems theory , Algorithms |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9781402090844:ONLINE Show nearby items on shelf |
Title: | Towards Mathematical Philosophy [electronic resource] : Papers from the Studia Logica conference Trends in Logic IV |
Author(s): |
David Makinson Jacek Malinowski Heinrich Wansing |
Date: | 2009 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its range of subjects is far fromcomplete, but broadly rep resentative. The first group of papers in this volume consists of contributions to pure and applied modal logic. The problems discussed here range from the structure of lattices of normal and other modalpropositional logics to modal proof theory and to th e semantics of quantified modal logic. The second group of papers deals with Many-valued logics - an extensive domain of strictly logical investigations rooting in philosophicalquestions concerning the nature of logical values. Logical investigations in c ognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. Towards MathematicalPhilosophy deals with focal issues of belief revision. The volume concludes with contributions which m ay be seen to belong to the field of formal epistemology, the area applying logical, probabilistic, game-theoretic and other formalmethods to problems and issues in epistemology and philosophy of science, such as those concerning anti-realism, skepticism, theory comparison and theory choice, justification, sources of knowledge and learning theories |
Note: | Springer eBooks |
Contents: | From Logic to Mathematical Philosophy David Makinson, Jacek Malinowski, Heinrich Wansing |
Commutativity of Quantifiers in Varying | |
Domain Kripke Models Rob Goldblatt, Ian Hodkinson | |
The Method of Tree | |
hypersequents for Modal Propositional Logic Francesca Poggiolesi | |
All Splitting Logics in the Lattice NExt(KTB) Tomasz Kowalski, Yukata Miyazaki | |
A Temporal Logic of Normative Systems Thomas gotnes, Wiebe van der Hoek, Juan A. Rodrguez | |
Aguilar, Carles Sierra, Michael Wooldridge | |
Reasoning with Justifications Melvin Fitting | |
Monotone Relations, Fixed Points, and Recursive Defi | |
ISBN: | 9781402090844 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Trends in Logic : v28 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Computer science , Algebra , Logic, Symbolic and mathematical , Computational linguistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9783764385187:ONLINE Show nearby items on shelf |
Title: | Completeness Theory for Propositional Logics [electronic resource] |
Author(s): |
Witold A Pogorzelski Piotr Wojtylak |
Date: | 2008 |
Publisher: | Basel : Birkhuser Basel |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined.Global variants of t he notion mean the possibility of getting all correct and reliable schemata of inference. Its local variants refer to the notion of truth given by some semantics. A uniform theory of completeness in its general andlocal meaning is carried out and it gener alizes and systematizes some variety of the notion of completeness such as Post-completeness, structural completeness and many others. This approach allows also for a more profound view uponsome essential properties (e.g. two-valuedness) of propositional systems. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited |
Note: | Springer eBooks |
Contents: | Introduction |
1. Basic notions: Propositional languages | |
Abstract algebras | |
Preliminary lattice | |
theoretical notions | |
Propositional logics | |
Brief exposition of the most important propositional logics | |
2. Semantic methods in propositional logic: Preordered sets | |
Preordered algebras | |
Logical matrices | |
Adequacy | |
Propositional logic and lattice theory | |
3. Completeness of propositional logic: Generalized completeness | |
Post | |
completeness | |
The problem of uniqueness of Lindenbaum extensions | |
Some related concepts | |
4. Characterization of propositional connectives: Cn | |
definit | |
ISBN: | 9783764385187 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Studies in Universal Logic |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780817647810:ONLINE Show nearby items on shelf |
Title: | Indiscrete Thoughts [electronic resource] |
Author(s): |
Gian-Carlo Rota Fabrizio Palombi |
Date: | 2008 |
Publisher: | Boston, MA : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Indiscrete Thoughts gives a glimpse into a world that has seldom been described, that of science and technology as seen through the eyes of a mathematician. The era covered by this book, 1950 to 1990, was surely one of the goldenages of science as we ll as of the American university. Cherished myths are debunked along the way as Gian-Carlo Rota takes pleasure in portraying, warts and all, some of the great scientific personalities of the period StanislavUlam (who, together with Edward Teller, signed t he patent application for the hydrogen bomb), Solomon Lefschetz (Chairman in the 1950s of the Princeton mathematics department), William Feller (one of the founders of modern probabilitytheory), Jack Schwartz (one of the founders of computer science), and many others. Rota is not afraid of controversy. Some readers may even consider these essays indiscreet. After the publication of the essay The Pernicious Influenceof Mathematics upon Philosophy (reprinted six times in five languages) the author was black listed in analytical philosophy circles. Indiscrete Thoughts should become an instant classic and the subject of debate for decades to come.Read Indiscrete Thoughts for its account of the way we were and what we have become for its sensible advice and its exuberant rhetoric.--The Mathematical Intelligencer Learned, thought-provoking, politically incorrect,delighting in paradox, and likely to offendbut everywhere readable and entertaining.--The American Mathematical Monthly It is about mathematicians, the way they think, and the world in which they live. It is 260 pages of Rotacalling it like he sees it... Readers are bound to find his observations amusing if not insightful. Gian-Carlo Rota has written the sort of book that few mathematicians could write. What will appeal immediately to anyone with aninterest in research mathematics are the stories he tells about the practice of modern mathematics.--MAA Reviews |
Note: | Springer eBooks |
Contents: | Persons and Places |
Fine Hall in its Golden Age | |
Light Shadows | |
Combinatorics, Representation Theory and Invariant Theory | |
The Barrier of Meaning | |
Stan Ulam | |
The Lost Caf | |
Philosophy | |
The Pernicious Influence of Mathematics Upon Philosophy | |
Philosophy and Computer Science | |
The Phenomenology of Mathematical Truth | |
The Phenomenology of Mathematical Beauty | |
The Phenomenology of Mathematical Proof | |
Syntax, Semantics, and the Problem of the Identity of Mathematical Items | |
The Barber of Seville, or The Useless Precaution | |
Kant and Husserl | |
Fundierung as a Logical Co | |
ISBN: | 9780817647810 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Mathematics_$xHistory , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780817647636:ONLINE Show nearby items on shelf |
Title: | Logic for Computer Scientists [electronic resource] |
Author(s): |
Uwe Schning |
Date: | 2008 |
Publisher: | Boston, MA : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computerscience research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advancedundergraduate course in logic for compute r scientists. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists. Schning decides to concentrate on computationalissues, and gives us a short book (less than 170 pages) with a tig ht storyline. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow. This book seemssuitable for a short course, a seminar series, or part of a larger course on Prolog and logic p rogramming, probably at the advanced undergraduate level. SIGACT News Contains examples and 126 interesting exercises which put thestudent in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming. Mathematical Reviews This book concentrates on those aspects ofmathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises andillustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introduct ory course in artificial intelligence. Zentralblatt MATH |
Note: | Springer eBooks |
Contents: | Introduction |
Propositional Logic | |
Predicate Logic | |
Logic Programming | |
Bibliography | |
Table of Notations | |
Index | |
ISBN: | 9780817647636 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Progress in Computer Science and Applied Logic (PCS) : v8 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780387762777:ONLINE Show nearby items on shelf |
Title: | A Course on Mathematical Logic [electronic resource] |
Author(s): |
S. M Srivastava |
Date: | 2008 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowingwhat logic is concerned with and who would like to learn Gdels incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like abranch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all thebasic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory,and computability. The main prerequisite for this book is the willingness to work at a reasonable l evel of mathematical rigor and generality. Shashi Mohan Srivastava is a Professor at the Indian Statistical Institute, Kolkata, India.He is also the author of A Course on Borel Sets, GTM 180 |
Note: | Springer eBooks |
Contents: | Preface |
Syntax of first order logic | |
Semantics of first | |
order languages | |
Propositional logic | |
Proof and metatheorems in first | |
order logic | |
Completeness theorem and model theory | |
Recursive functions and arithmetization of theories | |
Incompleteness theorems and recursion theory | |
References | |
Index | |
ISBN: | 9780387762777 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2006-9788847004726:ONLINE Show nearby items on shelf |
Title: | Imagination and Rigor [electronic resource] : Essays on Eduardo R. Caianiellos Scientific Heritage |
Author(s): |
Settimo Termini |
Date: | 2006 |
Publisher: | Milano : Springer Milan |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The aim of this Volume of scientific essays is twofold. From one side, by remembering the scientific figure of Eduardo R. Caianiello, it aims at focusing his outstanding contributions - from theoretical physics to cybernetics -which after so many yea rs still represent occasion of innovative paths to be fruitfully followed. It must be stressed the contribution that his interdisciplinary methodology can still be of great help in affording and solving presentday complex problems. On the other side, it a ims at pinpointing with the help of the scientists contributing to the Volume - some crucial problems in present day research in the fields of interest of Eduardo Caianiello and which arestill among the main lines of investigation of some of the Istitutes founded by Eduardo (Istituto di Cibernetica del CNR, IIAS, etc) |
Note: | Springer eBooks |
Contents: | Pattern Discovery in the Crib of Procrustes |
Close Encounters With Far Ideas | |
Remarks on the Semantics of Information | |
Simulation Models of Organism Behavior: Some Lessons from Precybernetic and Cybernetic Approaches | |
Caianiello and Neural Nets | |
Computability, Computation, and the Real World | |
Structure, Combinatorics, and Complexity of Words | |
Quantum Field Theory and Renormalization Theory in the Early Scientific Activity of Eduardo R. Caianiello | |
The Renormalization Group from Bogoliubov to Wilson | |
Caianiellos Maximal Acceleration. Recent Developments | |
Model | |
ISBN: | 9788847004726 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Computer science , Astronomy , Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2006-9783540376347:ONLINE Show nearby items on shelf |
Title: | Discovering Mathematics with Magma [electronic resource] : Reducing the Abstract to the Concrete |
Author(s): |
Wieb Bosma John Cannon |
Date: | 2006 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstractparts of mathematics. Th is book introduces the reader to the role Magma plays in advanced mathematical research through 14 case studies which, in most cases, describe computations underpinning new theoretical results. The authors ofthe chapters were chosen both for their experti se in the particular field and for their innovative use of Magma. Although by no means exhaustive, the topics range over much of Magma's coverage of algorithmic algebra: from number theoryand algebraic geometry, via representation theory and group theory to some branches of discrete mathematics and graph theory. A basic introduction to the Magma language is given in an appendix. The book is simultaneously an invitationto learn a new programming language in the context of contemporary research problems, an d an exposition of the types of problem that can be investigated using computational algebra |
Note: | Springer eBooks |
Contents: | Magma: the project. About this volume. How to read the Magma code? |
W.Bosma: Some computational experiments in number theory | |
C.Fieker: Applications of the class field theory of global fields | |
N.Bruin: Some ternary Diophantine equations of signature (n,n,2) | |
W.Stein: Studying the Birch and Swinnerton | |
Dyer conjecture for modular abelian varieties using Magma | |
P.B.van Wamelen: Computing with the analytic Jacobian of a genus 2 curve | |
G.Brown: Graded rings and special K3 surfaces | |
D.E.Taylor: Constructing the split octonions | |
J.F.Carlson: Support varieties for modules | |
J.F.Carlson: | |
ISBN: | 9783540376347 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Algorithms and Computation in Mathematics, 1431-1550 : v19 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Algebra Data processing , Algebra , Algorithms , Computer software |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2005-9781402023354:ONLINE Show nearby items on shelf |
Title: | A Modern Perspective on Type Theory [electronic resource] From its Origins until Today |
Author(s): |
Fairouz Kamareddine Twan Laan Rob Nederpelt |
Date: | 2005 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce typetheory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on theuse of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have themselves been leadingthe way by providing various extensions of type theory which have b een shown to bring many advantages. This book gathers much of their influential work and is highly recommended for anyone interested in type theory. The main emphasisis on: - Types: from Russell to Ramsey, to Church, to the modern Pure Type Systems and so me of their extensions. - Functions: from Frege, to Russell to Church, to Automath and the use of functions in mathematics, programming languagesand theorem provers. - The role of types in logic: Kripke's notion of truth, the evolution and role of the pro positions as types concept and its use in logical frameworks. - The role of types in computation: extensions of type theorieswhich can better model proof checkers and programming languages are given. The first part of the book is historical, yet at the sa me time, places historical systems (like Russell's RTT) in the modern setting. The second part deals withmodern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places anot her historical system (the proof checker Automath) in the modern setting. The thirdpart uses this bridging in the first two parts between historical and modern systems to propose new systems that bring |
Note: | Springer eBooks |
Contents: | The Evolution of Type Theory until the 1940s |
Prehistory | |
Type theory in Principia Mathematica | |
Deramification | |
Propositions as Types, Pure Type Systems, AUTOMATH | |
Propositions as Types and Pure Type Systems | |
The pre | |
PAT RTT and STT in PAT | |
style | |
A Correspondence between RTT and the system Nuprl | |
Automath | |
Extensions of Pure Type Systems | |
Pure Type Systems with definitions | |
The Barendregt cube with parameters | |
Pure Type Systems with parameters and definitions | |
ISBN: | 9781402023354 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Applied Logic Series, 1386-2790 : v29 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783662056790:ONLINE Show nearby items on shelf |
Title: | Alternative Logics. Do Sciences Need Them? |
Author(s): | |
Date: | 2004 |
Size: | 1 online resource (368 p.) |
Note: | 10.1007/978-3-662-05679-0 |
Contents: | I General Topics -- Why Is It Logical to Admit Several Logics? -- Does Metaphysics Need a Non-Classical Logic? -- Logic and the Philosophical Interpretation of Science -- How Set Theory Impinges on Logic -- Geometries and Arithmetics |
-- Remarks on Criteria of Truth and Models in Science -- Significant? Not Significant? The Dilemma of Statistical Induction in Scientific Research -- II Alternative Proposals -- Outline of a Paraconsistent Category Theory -- | |
Combinatory Logic, Language, and Cognitive Representations -- Extending the Realm of Logic: The Adaptive-Logic Programme -- Comments on Jaakko Hintikka’s Post-Tarskian Truth -- III Alternative Logics Motivated by Problems of | |
Application to Science -- Applied Logics for Computer Science -- Stochastic versus Deterministic Features in Learning Models -- Praxic Logics -- Reasons from Science for Limiting Classical Logic -- The Language of Interpretation in | |
Quantum Physics and Its Logic -- Why Objectivist Programs in Quantum Theory Do Not Need an Alternative Logic -- Does Quantum Physics Require a New Logic? -- Experimental Approach to Quantum-Logical Connectives -- From Semantics to | |
Syntax: Quantum Logic of Observables -- An Unsharp Quantum Logic from Quantum Computation -- Quantum Logic and Quantum Probability -- Operator Algebras and Quantum Logic | |
ISBN: | 9783662056790 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Philosophy , Computers , Algebra , Ordered algebraic structures , Quantum physics , Quantum computers , Spintronics , Physics , Quantum Information Technology, Spintronics , Philosophy, general , Theory of Computation , Order, Lattices, Ordered Algebraic Structures , Quantum Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781402028069:ONLINE Show nearby items on shelf |
Title: | Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition |
Author(s): |
Hannes Leitgeb |
Date: | 2004 |
Size: | 1 online resource (386 p.) |
Note: | 10.1007/978-1-4020-2806-9 |
Contents: | 1 Introduction -- 2 Preliminaries -- I The Explication of Monotonic and Nonmonotonic Inference -- 3 Belief -- 4 Inference -- II The Justification of Monotonic and Nonmonotonic Inference -- 5 General Remarks on Justification and |
Justified Belief -- 6 An Informal Account of Our Theory of Justified Inference -- 7 A Discussion of Reliability -- 8 A Theory of Justified Inference -- III The Logic of Justified Monotonic and Nonmonotonic Inference -- 9 The Semantics | |
of Deductive and Nonmonotonic Logic -- 10 Systems of Deductive and Nonmonotonic Logic -- 11 Soundness and Completeness Results -- 12 Further Consequences for Justified Inference -- IV The Cognition of Justified Monotonic and | |
Nonmonotonic Inference by Low-Level Agents -- 13 Introductory Remarks -- 14 Inhibition Nets as Simple Neural Networks -- 15 Interpreted Inhibition Net Agents -- 16 Cumulative-Ordered Interpreted Inh. Net Agents and the System CL -- 17 | |
Cumulative-Ordered Interpreted Inhibition Net Agents as Ideal Agents -- 18 Inhibition Nets and Other Forms of Nonmonotonic Reasoning -- 19 Inhibition Nets and Artificial Neural Networks -- 20 Discussion -- V Appendix -- 21 Digression | |
on States, Dispositions, Causation, Processes -- 22 Goldman’s Reliability Account of Justified Belief -- 23 A Sketch of Logic Programming -- 24 Preferential Interpreted Inhibition Net Agents and the System P -- 25 Cumulative | |
Interpreted Inhibition Net Agents and the System C -- 26 Simple Cumulative Interpreted Inhibition Net Agents and the System CM -- 27 Simple Preferential Interpreted Inhibition Net Agents and the System M -- References | |
ISBN: | 9781402028069 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 30 |
Keywords: | Mathematics , Epistemology , Logic , Artificial intelligence , Probabilities , Statistical physics , Dynamical systems , Mathematics , Probability Theory and Stochastic Processes , Epistemology , Logic , Artificial Intelligence (incl. Robotics) , Statistical Physics, Dynamical Systems and Complexity |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9789401703956:ONLINE Show nearby items on shelf |
Title: | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (302 p.) |
Note: | 10.1007/978-94-017-0395-6 |
Contents: | The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories -- Mathematical Logic and Natural Language: Life at the border -- Bayesian Networks in Philosophy. -- An Application of Circular |
Definitions: Rational Decision -- Two-Dimensionalism and the Metaphysical Possibility of Zombies -- Topics in Reverse Mathematics -- The Logic of Intensional Predicates -- The So-Called Materially Valid Inferences and the Logic of | |
Concepts. -- Analysis and Design from a Viewpoint of Information Flow -- Features in Phonological Theory -- New Semantics for Modal Predicate Logics. -- What is Input/Output Logic? -- The Gupta-Belnap Fixed-Point Problem and the Theory | |
of Clones of Functions -- Situated Reasoning in Time about Time -- Generic Ontology of Linguistic Classification -- Techniques and Methods of Science from a Structuralist Point of View -- Proof Theory and Formal Grammars: Applications | |
of Normalization -- World Travelling and Mood Swings -- Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism -- References | |
ISBN: | 9789401703956 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 17 |
Keywords: | Philosophy , Logic , Philosophy and science , Linguistics , Philosophy , Logic , Theoretical Linguistics , Philosophy of Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9789401731799:ONLINE Show nearby items on shelf |
Title: | Substructural Logics: A Primer |
Author(s): |
Francesco Paoli |
Date: | 2002 |
Size: | 1 online resource (305 p.) |
Note: | 10.1007/978-94-017-3179-9 |
Contents: | Preface -- Part I: The philosophy of substructural logics. 1. The role of structural rules in sequent calculi -- Part II: The proof theory of substructural logics. 2. Basic proof systems for substructural logics. 3. Cut elimination |
and the decision problem. 4. Other formalisms -- Part III: The algebra of substructural logics. 5. Algebraic structures. 6. Algebraic semantics. 7. Relational semantics -- Appendix A: Basic glossary of algebra and graph theory -- | |
Appendix B: Other substructural logics -- Bibliography -- Index of subjects | |
ISBN: | 9789401731799 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 13 |
Keywords: | Philosophy , Logic , Algebra , Ordered algebraic structures , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Order, Lattices, Ordered Algebraic Structures |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9789401700917:ONLINE Show nearby items on shelf |
Title: | The Semantics and Proof Theory of the Logic of Bunched Implications |
Author(s): |
David J Pym |
Date: | 2002 |
Size: | 1 online resource (290 p.) |
Note: | 10.1007/978-94-017-0091-7 |
Contents: | I Propositional BI -- 1. Introduction to Part I -- 2. Natural Deduction for Propositional BI -- 3. Algebraic, Topological, Categorical -- 4. Kripke Semantics -- 5. Topological Kripke Semantics -- 6. Propositional BI as a Sequent |
Calculus -- 7. Towards Classical Propositional BI -- 8. Bunched Logical Relations -- 9. The Sharing Interpretation, I -- II Predicate BI -- 10. Introduction to Part II -- 11. The Syntax of Predicate BI -- 12. Natural Deduction & | |
Sequent Calculus -- 13. Kripke Semantics for Predicate BI -- 14. Topological Kripke Semantics for Predicate BI -- 15. Resource Semantics, Type Theory & Fibred Categories -- 16. The Sharing Interpretation, II | |
ISBN: | 9789401700917 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 26 |
Keywords: | Mathematics , Logic , Programming languages (Electronic computers) , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , Programming Languages, Compilers, Interpreters |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9789401004114:ONLINE Show nearby items on shelf |
Title: | Types, Tableaus, and Gödel’s God |
Author(s): |
Melvin Fitting |
Date: | 2002 |
Size: | 1 online resource (181 p.) |
Note: | 10.1007/978-94-010-0411-4 |
Contents: | I Classical Logic -- Classical Logic-Syntax -- Classical Logic-Semantics -- Classical Logic-Basic Tableaus -- Soundness And Completeness -- Equality -- Extensionality -- II Modal Logic -- Modal Logic, Syntax And Semantics -- Modal |
Tableaus -- Miscellaneous Matters -- III Ontological Arguments -- Godel’s Argument, Background -- Godel’s Argument, Formally -- References | |
ISBN: | 9789401004114 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 12 |
Keywords: | Philosophy , Logic , Metaphysics , Ontology , Religion , Philosophy , Logic , Ontology , Philosophy of Religion , Metaphysics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9783662048863:ONLINE Show nearby items on shelf |
Title: | The Logic of Thermostatistical Physics |
Author(s): |
Gérard G Emch |
Date: | 2002 |
Size: | 1 online resource (703 p.) |
Note: | 10.1007/978-3-662-04886-3 |
Contents: | 1. Theories and Models: a Philosophical Overview -- 2. Thermostatics -- 3. Kinetic Theory of Gases -- 4. Classical Probability -- 5. Modern Probability: Syntax and Models -- 6. Modern Probability: Competing Semantics -- 7. Setting-up |
the Ergodic Problem -- 8. Models and Ergodic Hierarchy -- 9. Ergodicity vs. Integrability -- 10. The Gibbs Canonical Ensembles -- 11. Phase Transitions: van der Waals to Lenz -- 12. Ising and Related Models -- 13. Scaling and | |
Renormalization -- 14. Quantum Models for Phase Transitions -- 15. Approach to Equilibrium in Quantum Mechanics -- 16. The Philosophical Horizon -- A. Appendix: Models in Mathematical Logic -- A.1 Syntax -- A.2 Semantics -- B. | |
Appendix: The Calculus of Differentials -- B.1 Green’s Theorem -- B.2 Stokes’ and Gauss’ Theorems -- B.3 Higher Differentials -- C. Appendix: Recursive Functions -- D. Appendix: Topological Essences -- D.1 Basic Definitions -- D.2 | |
Examples from Functional Analysis -- D.3 Separability and Compactness -- D.4 The Baire Essentials -- E. Appendix: Models vs. Models -- E.1 Models in Wigner’s Writings and in the Third Wigner Symposium -- E.2 A Search for Precedents -- | |
E.3 The Case -- E.4 Closing Statements -- References -- Citation Index | |
ISBN: | 9783662048863 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Philosophy , Philosophy and science , Mechanics , Thermodynamics , Statistical physics , Dynamical systems , Physics , Statistical Physics, Dynamical Systems and Complexity , Thermodynamics , Philosophy of Science , Mathematical Methods in Physics , Mechanics , Philosophy, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9783034881418:ONLINE Show nearby items on shelf |
Title: | The Topos of Music Geometric Logic of Concepts, Theory, and Performance |
Author(s): |
Guerino Mazzola |
Date: | 2002 |
Size: | 1 online resource (1344 p.) |
Note: | 10.1007/978-3-0348-8141-8 |
Contents: | I Introduction and Orientation -- 1 What is Music About? -- 1.1 Fundamental Activities -- 1.2 Fundamental Scientific Domains -- 2 Topography -- 2.1 Layers of Reality -- 2.1.1 Physical Reality -- 2.1.2 Mental Reality -- 2.1.3 |
Psychological Reality -- 2.2 Molino’s Communication Stream -- 2.2.1 Creator and Poietic Level -- 2.2.2 Work and Neutral Level -- 2.2.3 Listener and Esthesic Level -- 2.3 Semiosis -- 2.3.1 Expressions -- 2.3.2 Content -- 2.3.3 The | |
Process of Signification -- 2.3.4 A Short Overview of Music Semiotics -- 2.4 The Cube of Local Topography -- 2.5 Topographical Navigation -- 3 Musical Ontology -- 3.1 Where is Music? -- 3.2 Depth and Complexity -- 4 Models and | |
Experiments in Musicology -- 4.1 Interior and Exterior Nature -- 4.2 What Is a Musicological Experiment? -- 4.3 Questions—Experiments of the Mind -- 4.4 New Scientific Paradigms and Collaboratories -- II Navigation on Concept Spaces -- | |
5 Navigation -- 5.1 Music in the EncycloSpace -- 5.2 Receptive Navigation -- 5.3 Productive Navigation -- 6 Denotators -- 6.1 Universal Concept Formats -- 6.1.1 First Naive Approach To Denotators -- 6.1.2 Interpretations and Comments | |
-- 6.1.3 Ordering Denotators and ‘Concept Leafing’ -- 6.2 Forms -- 6.2.1 Variable Addresses -- 6.2.2 Formal Definition -- 6.2.3 Discussion of the Form Typology -- 6.3 Denotators -- 6.3.1 Formal Definition of a Denotator -- 6.4 | |
Anchoring Forms in Modules -- 6.4.1 First Examples and Comments on Modules in Music -- 6.5 Regular and Circular Forms -- 6.6 Regular Denotators -- 6.7 Circular Denotators -- 6.8 Ordering on Forms and Denotators -- 6.8.1 Concretizations | |
and Applications -- 6.9 Concept Surgery and Denotator Semantics -- III Local Theory -- 7 Local Compositions -- 7.1 The Objects of Local Theory -- 7.2 First Local Music Objects -- 7.2.1 Chords and Scales -- 7.2.2 Local Meters and Local | |
Rhythms -- 7.2.3 Motives -- 7.3 Functorial Local Compositions -- 7.4 First Elements of Local Theory -- 7.5 Alterations Are Tangents -- 7.5.1 The Theorem of Mason—Mazzola -- 8 Symmetries and Morphisms -- 8.1 Symmetries in Music -- 8.1.1 | |
Elementary Examples -- 8.2 Morphisms of Local Compositions -- 8.3 Categories of Local Compositions -- 8.3.1 Commenting the Concatenation Principle -- 8.3.2 Embedding and Addressed Adjointness -- 8.3.3 Universal Constructions on Local | |
Compositions -- 8.3.4 The Address Question -- 8.3.5 Categories of Commutative Local Compositions -- 9 Yoneda Perspectives -- 9.1 Morphisms Are Points -- 9.2 Yoneda’s Fundamental Lemma -- 9.3 The Yoneda Philosophy -- 9.4 Understanding | |
Fine and Other Arts -- 9.4.1 Painting and Music -- 9.4.2 The Art of Object-Oriented Programming -- 10 Paradigmatic Classification -- 10.1 Paradigmata in Musicology, Linguistics, and Mathematics -- 10.2 Transformation -- 10.3 Similarity | |
-- 10.4 Fuzzy Concepts in the Humanities -- 11 Orbits -- 11.1 Gestalt and Symmetry Groups -- 11.2 The Framework for Local Classification -- 11.3 Orbits of Elementary Structures -- 11.3.1 Classification Techniques -- 11.3.2 The Local | |
Classification Theorem -- 11.3.3 The Finite Case -- 11.3.4 Dimension -- 11.3.5 Chords -- 11.3.6 Empirical Harmonic Vocabularies -- 11.3.7 Self-addressed Chords -- 11.3.8 Motives -- 11.4 Enumeration Theory -- 11.4.1 Pólya and de Bruijn | |
Theory -- 11.4.2 Big Science for Big Numbers -- 11.5 Group-theoretical Methods in Composition and Theory -- 11.5.1 Aspects of Serialism -- 11.5.2 The American Tradition -- 11.6 Esthetic Implications of Classification -- 11.6.1 | |
Jakobson’s Poetic Function -- 11.6.2 Motivic Analysis: Schubert/Stolberg “Lied auf dem Wasser zu singen...” -- 11.6.3 Composition: Mazzola/Baudelaire “La mort des artistes” -- 11.7 Mathematical Reflections on Historicity in Music -- | |
11.7.1 Jean-Jacques Nattiez’ Paradigmatic Theme -- 11.7.2 Groups as a Parameter of Historicity -- 12 Topological Specialization -- 12.1 What Ehrenfels Neglected -- 12.2 Topology -- 12.2.1 Metrical Comparison -- 12.2.2 Specialization | |
Morphisms of Local Compositions -- 12.3 The Problem of Sound Classification -- 12.3.1 Topographic Determinants of Sound Descriptions -- 12.3.2 Varieties of Sounds -- 12.3.3 Semiotics of Sound Classification -- 12.4 Making the Vague | |
Precise -- IV Global Theory -- 13 Global Compositions -- 13.1 The Local-Global Dichotomy in Music -- 13.1.1 Musical and Mathematical Manifolds -- 13.2 What Are Global Compositions? -- 13.2.1 The Nerve of an Objective Global Composition | |
-- 13.3 Functorial Global Compositions -- 13.4 Interpretations and the Vocabulary of Global Concepts -- 13.4.1 Iterated Interpretations -- 13.4.2 The Pitch Domain: Chains of Thirds, Ecclesiastical Modes, Triadic and Quaternary Degrees | |
-- 13.4.3 Interpreting Time: Global Meters and Rhythms -- 13.4.4 Motivic Interpretations: Melodies and Themes -- 14 Global Perspectives -- 14.1 Musical Motivation -- 14.2 Global Morphisms -- 14.3 Local Domains -- 14.4 Nerves -- 14.5 | |
Simplicial Weights -- 14.6 Categories of Commutative Global Compositions -- 15 Global Classification -- 15.1 Module Complexes -- 15.1.1 Global Affine Functions -- 15.1.2 Bilinear and Exterior Forms -- 15.1.3 Deviation: Compositions vs. | |
“Molecules” -- 15.2 The Resolution of a Global Composition -- 15.2.1 Global Standard Compositions -- 15.2.2 Compositions from Module Complexes -- 15.3 Orbits of Module Complexes Are Classifying -- 15.3.1 Combinatorial Group Actions -- | |
15.3.2 Classifying Spaces -- 16 Classifying Interpretations -- 16.1 Characterization of Interpretable Compositions -- 16.1.1 Automorphism Groups of Interpretable Compositions -- 16.1.2 A Cohomological Criterion -- 16.2 Global | |
Enumeration Theory -- 16.2.1 Tesselation -- 16.2.2 Mosaics -- 16.2.3 Classifying Rational Rhythms and Canons -- 16.3 Global American Set Theory -- 16.4 Interpretable “Molecules” -- 17 Esthetics and Classification -- 17.1 Understanding | |
by Resolution: An Illustrative Example -- 17.2 Varese’s Program and Yoneda’s Lemma -- 18 Predicates -- 18.1 What Is the Case: The Existence Problem -- 18.1.1 Merging Systematic and Historical Musicology -- 18.2 Textual and Paratextual | |
Semiosis -- 18.2.1 Textual and Paratextual Signification -- 18.3 Textuality -- 18.3.1 The Category of Denotators -- 18.3.2 Textual Semiosis -- 18.3.3 Atomic Predicates -- 18.3.4 Logical and Geometric Motivation -- 18.4 Paratextuality | |
-- 19 Topoi of Music -- 19.1 The Grothendieck Topology -- 19.1.1 Cohomology -- 19.1.2 Marginalia on Presheaves -- 19.2 The Topos of Music: An Overview -- 20 Visualization Principles -- 20.1 Problems -- 20.2 Folding Dimensions -- 20.2.1 | |
?2 ? ? -- 20.2.1 ?n ? ? -- 20.2.3 An Explicit Construction of ? with Special Values -- 20.3 Folding Denotators -- 20.3.1 Folding Limits -- 20.3.2 Folding Colimits -- 20.3.3 Folding Powersets -- 20.3.4 Folding Circular Denotators -- | |
20.4 Compound Parametrized Objects -- 20.5 Examples -- V Topologies for Rhythm and Motives -- 21 Metrics and Rhythmics -- 21.1 Review of Riemann and Jackendoff—Lerdahl Theories -- 21.1.1 Riemann’s Weights -- 21.1.2 Jackendoff—Lerdahl: | |
Intrinsic Versus Extrinsic Time Structures -- 21.2 Topologies of Global Meters and Associated Weights -- 21.3 Macro-Events in the Time Domain -- 22 Motif Gestalts -- 22.1 Motivic Interpretation -- 22.2 Shape Types -- 22.2.1 Examples of | |
Shape Types -- 22.3 Metrical Similarity -- 22.3.1 Examples of Distance Functions -- 22.4 Paradigmatic Groups -- 22.4.1 Examples of Paradigmatic Groups -- 22.5 Pseudo-metrics on Orbits -- 22.6 Topologies on Gestalts -- 22.6.1 The | |
Inheritance Property -- 22.6.2 Cognitive Aspects of Inheritance -- 22.6.3 Epsilon Topologies -- 22.7 First Properties of the Epsilon Topologies -- 22.7.1 Toroidal Topologies -- 22.8 Rudolph Reti’s Motivic Analysis Revisited -- 22.8.1 | |
Review of Concepts -- 22.8.2 Reconstruction -- 22.9 Motivic Weights -- VI Harmony -- 23 Critical Preliminaries -- 23.1 Hugo Riemann -- 23.2 Paul Hindemith -- 23.3 Heinrich Schenker and Friedrich Salzer -- 24 Harmonic Topology -- 24.1 | |
Chord Perspectives -- 24.1.1 Euler Perspectives -- 24.1.2 12-tempered Perspectives -- 24.1.3 Enharmonic Projection -- 24.2 Chord Topologies -- 24.2.1 Extension and Intension -- 24.2.2 Extension and Intension Topologies -- 24.2.3 | |
Faithful Addresses -- 24.2.4 The Saturation Sheaf -- 25 Harmonic Semantics -- 25.1 Harmonic Signs—Overview -- 25.2 Degree Theory -- 25.2.1 Chains of Thirds -- 25.2.2 American Jazz Theory -- 25.2.3 Hans Straub: General Degrees in | |
General Scales -- 25.3 Function Theory -- 25.3.1 Canonical Morphemes for European Harmony -- 25.3.2 Riemann Matrices -- 25.3.3 Chains of Thirds -- 25.3.4 Tonal Functions from Absorbing Addresses -- 26 Cadence -- 26.1 Making the Concept | |
Precise -- 26.2 Classical Cadences Relating to 12-tempered Intonation -- 26.2.1 Cadences in Triadic Interpretations of Diatonic Scales -- 26.2.2 Cadences in More General Interpretations -- 26.3 Cadences in Self-addressed Tonalities of | |
Morphology -- 26.4 Self-addressed Cadences by Symmetries and Morphisms -- 26.5 Cadences for Just Intonation -- 26.5.1 Tonalities in Third-Fifth Intonation -- 26.5.2 Tonalities in Pythagorean Intonation -- 27 Modulation -- 27.1 Modeling | |
Modulation by Particle Interaction -- 27.1.1 Models and the Anthropic Principle -- 27.1.2 Classical Motivation and Heuristics -- 27.1.3 The General Background -- 27.1.4 The Well-Tempered Case -- 27.1.5 Reconstructing the Diatonic Scale | |
from Modulation -- 27.1.6 The Case of Just Tuning -- 27.1.7 Quantized Modulations and Modulation Domains for Selected Scales -- 27.2 Harmonic Tension -- 27.2.1 The Riemann Algebra -- 27.2.2 Weights on the Riemann Algebra -- 27.2.3 | |
Harmonic Tensions from Classical Harmony? -- 27.2.4 Optimizing Harmonic Paths -- 28 Applications -- 28.1 First Examples -- 28.1.1 Johann Sebastian Bach: Choral from “Himmelfahrtsoratorium” -- 28.1.2 Wolfgang Amadeus Mozart: | |
“Zauberflöte”, Choir of Priests -- 28.1.3 Claude Debussy: “Préludes”, Livre 1, No.4 -- 28.2 Modulation in Beethoven’s Sonata op.106, 1stMovement -- | |
ISBN: | 9783034881418 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Philosophy and science , Algebraic geometry , Applied mathematics , Engineering mathematics , Visualization , Geometry , Mathematics , Applications of Mathematics , Philosophy of Science , Geometry , Algebraic Geometry , Mathematics, general , Visualization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9781461506331:ONLINE Show nearby items on shelf |
Title: | Fuzzy Relational Systems Foundations and Principles |
Author(s): |
Radim Bělohlávek |
Date: | 2002 |
Size: | 1 online resource (369 p.) |
Note: | 10.1007/978-1-4615-0633-1 |
Contents: | 1. Preliminaries -- 1.1 Sets, relations, mappings -- 1.2 Ordered sets, lattices -- 1.3 Tolerances, equivalences -- 1.4 Algebras -- 2. Fuzzy Approach, Graded Truth, and Structures of Truth Values -- 2.1 Fuzzy approach: from resolving |
paradoxes to engineering applications -- 2.2 Graded truth and structures of truth values -- 2.3 Residuated lattices -- 2.4 Residuated lattices and t-norms -- 2.5 Bibliographical remarks -- 3. Fuzzy Structures -- 3.1 Fuzzy sets and | |
fuzzy relations -- 3.2 Fuzzy logic: syntax and semantics -- 3.3 Similarity issues -- 3.4 Morphisms, products, substructures -- 3.5 Representation by crisp structures: cutlike semantics -- 3.6 Algebras with fuzzy equalities -- 3.7 | |
Many-sorted case -- 3.8 Bibliographical remarks -- 4. Binary Fuzzy Relations -- 4.1 Operations and properties of binary fuzzy relations -- 4.2 Similarity: fuzzy equivalences -- 4.3 Hierarchy: fuzzy order -- 4.4 Bibliographical remarks | |
-- 5. Object-Attribute Fuzzy Relations and Fuzzy Concept Lattices -- 5.1 Conceptual granulation: fuzzy context, fuzzy concepts, and fuzzy concept lattice -- 5.2 Similarity and logical precision -- 5.3 Fuzzy Galois connections -- 5.4 | |
Main theorem of fuzzy concept lattices -- 5.5 Bibliographical remarks -- 6. Composition and Decomposition of Fuzzy Relations -- 6.1 Composition of fuzzy relations -- 6.2 Decomposition: fuzzy relational equations -- 6.3 Bibliographical | |
remarks -- 7. Miscellanea -- 7.1 Fuzzy closure operators and similarity spaces -- 7.2 Applications of selected results to some problems and models -- 7.3 Fuzzy logic with truth degrees in residuated lattices -- 7.4 Bibliographical | |
remarks -- References | |
ISBN: | 9781461506331 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Federation for Systems Research International Series on Systems Science and Engineering: 20 |
Keywords: | Mathematics , Data structures (Computer science) , Artificial intelligence , System theory , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Systems Theory, Control , Data Structures, Cryptology and Information Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9781447101093:ONLINE Show nearby items on shelf |
Title: | Diagrammatic Representation and Reasoning |
Author(s): | |
Date: | 2002 |
Size: | 1 online resource (584 p.) |
Note: | 10.1007/978-1-4471-0109-3 |
Contents: | I. Views of Diagrams -- 1. Diagrams in the Mind? -- 2. Knowing About Diagrams -- 3. A Meta-Taxonomy for Diagram Research -- 4. Sketches as Mental Reifications of Theoretical Scientific treatment -- 5. The Fundamental Design Variables |
of Diagramming -- II. Cognitive Aspects of Diagrams -- 6. Psychological Perspectives on Diagrams and their Users. -- 7. Combining Semantic and Cognitive Accounts of Diagrams -- 8. Tactile Maps and a Test of the Conjoint Retention | |
Hypothesis -- 9. Spatial Abilities in Problem Solving in Kinematics -- 10. Graph Comprehension: The Role of Format, Content and Individual Differences -- 11. Graphs in Print -- 12. The Role of Representation and Working Memory in | |
Diagrammatic Reasoning and Decision Making -- 13. Mechanical Reasoning about Gear-and-belt Diagrams. Do Eye-movements Predict Performance? -- 14. How do Designers Shift their Focus of Attention in their Own Sketches? -- III. Formal | |
Aspects of Diagrammatic Reasoning -- 15. Diagrammatic Evaluation of Visual Mathematical Notations -- 16. A Topological Framework for Modelling Diagrammatic Reasoning Tasks -- 17. Multiple Readings of Peirce’s Alpha Graphs -- 18. On | |
Automating Diagrammatic Proofs of Arithmetic Arguments -- 19. On the Practical Semantics of Mathematical Diagrams -- 20. EnE Sentences and Local Extent in Diagrams -- 21. Implementing Euler/Venn Reasoning Systems -- 22. Visual Spatial | |
Query Languages: A Semantics Using Description Logic -- IV. Applications of Diagrammatic Reasoning -- 23. Intelligent Diagrammatic Interfaces: State of the Art -- 24. Towards Diagram Processing: A Diagrammatic Information System -- 25. | |
Using Diagrams to Understand Diagrams: A Case-Based Approach to Diagrammatic Reasoning -- 26. Interpreting the Engineer’s Sketch: A Picture is Worth a Thousand Constraints -- 27. Diagramming Research Designs -- 28. How to Build a | |
(Quite General) Linguistic Diagram Editor -- 29. AVOW Diagrams: A Novel Representational System for Understanding Electricity -- 30. AsbruView: Capturing Complex, Time-Oriented Plans - Beyond Flow Charts -- 31. Acting with Diagrams: | |
How to Plan Strategies in Two Case Studies -- 32. Specifying Diagram Languages by Means of Hypergraph Grammars | |
ISBN: | 9781447101093 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Logic , Artificial intelligence , Applied mathematics , Engineering mathematics , Mathematics , Applications of Mathematics , Artificial Intelligence (incl. Robotics) , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9789401728072:ONLINE Show nearby items on shelf |
Title: | Protoalgebraic Logics |
Author(s): |
Janusz Czelakowski |
Date: | 2001 |
Size: | 1 online resource (452 p.) |
Note: | 10.1007/978-94-017-2807-2 |
Contents: | 0. Basic definitions and facts -- I. Protoalgebraic Logics. The Leibniz Operator -- 1. Protoalgebraic logics -- 2. Protoalgebraicity and the Deduction Theorem -- 3. Equivalential logics -- II. Algebraizable Sentential Logics -- Q. |
Quasivarieties of algebras -- 4. Algebraizable logics -- 5. Regularly algebraizable logics -- 6. Fregean logics -- Symbol index -- Index of definitions | |
ISBN: | 9789401728072 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 10 |
Keywords: | Mathematics , Logic , Algebra , Mathematical logic , Semantics , Mathematics , Mathematical Logic and Foundations , Logic , Semantics , Algebra |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9789401597616:ONLINE Show nearby items on shelf |
Title: | New Essays in Free Logic In Honour of Karel Lambert |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (255 p.) |
Note: | 10.1007/978-94-015-9761-6 |
Contents: | Free Logic: A Fifty-Year Past and an Open Future -- I / Names and Definite Descriptions -- Free Logic and Definite Descriptions -- Calculi of Names: Free and Modal -- II / Modalities -- Free Logic and Quantification in Syntactic Modal |
Contexts -- Substitution, Quantifiers and Identity in Modal Logic -- Free Epistemic Logic -- III / Semantics and Programming -- Supervaluational Free Logic and the Logic of Information Growth -- “No Input, No Output” Logic -- Free | |
Logic in Program Specification and Verification -- IV / History -- Existence and Reference in Medieval Logic -- Can Meinongian Logic Be Free? -- V / Comments -- Comments -- Index of Persons | |
ISBN: | 9789401597616 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 23 |
Keywords: | Philosophy , Logic , Programming languages (Electronic computers) , Semantics , Philosophy , Logic , Semantics , Programming Languages, Compilers, Interpreters |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401712019:ONLINE Show nearby items on shelf |
Title: | Current Research in Operational Quantum Logic Algebras, Categories, Languages |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (325 p.) |
Note: | 10.1007/978-94-017-1201-9 |
Contents: | Operational quantum logic: An overview -- Algebraic aspects of orthomodular lattices -- Observables in the logico-algebraic approach -- Test spaces and orthoalgebras -- Representations on unigroups -- Free extensions of group actions, |
induced representations, and the foundations of physics -- Short introduction to enriched categories -- Operational Galois adjunctions -- Operational axiomatics and compound systems -- Quantales -- Quantales and observational semantics | |
-- Quantum languages -- Indices -- Concept index -- Citation index | |
ISBN: | 9789401712019 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Fundamental Theories of Physics : 111 |
Keywords: | Physics , Category theory (Mathematics) , Homological algebra , Group theory , Algebra , Ordered algebraic structures , Applied mathematics , Engineering mathematics , Quantum physics , Physics , Quantum Physics , Applications of Mathematics , Order, Lattices, Ordered Algebraic Structures , Category Theory, Homological Algebra , Group Theory and Generalizations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401593977:ONLINE Show nearby items on shelf |
Title: | Formal Aspects of Context |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (216 p.) |
Note: | 10.1007/978-94-015-9397-7 |
Contents: | Formal and Computational Models of Context for Natural Language Generation -- Requirements for Dialogue Context Modelling -- Contextual Constraints on Thematization in Written Discourse: An Empirical Study -- Context and Implicitness: |
Consequences for Traditional and Computer-assisted Text Analysis -- A Context-based Mechanization of Multi-agent Reasoning -- Presuppositions in Context: Constructing Bridges -- Reasoning with Multilevel Contexts in Semantic | |
Metanetworks -- Contextual Learning: Towards using Contexts to Achieve Generality -- Contextual Deontic Logic: Violation Contexts and Factual Defeasibility -- A Local Models Semantics for Propositional Attitudes -- Context-based | |
Semantics for Information Integration -- Structured Contexts with Fibred Semantics | |
ISBN: | 9789401593977 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 20 |
Keywords: | Philosophy , Logic , Artificial intelligence , Mathematical logic , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401140409:ONLINE Show nearby items on shelf |
Title: | Labelled Deduction |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (267 p.) |
Note: | 10.1007/978-94-011-4040-9 |
Contents: | Labelled Proof Systems for Intuitionistic Provability -- Normal Multimodal Logics with Interaction Axioms -- The SAT Problem of Signed CNF Formulas -- Discipline as Logic: Treating Labels as First Class Citizens -- Labelled Abduction |
-- Labelled Tableaux for Propositional Linear Time Logic over Finite Frames -- Fibred Modal Tableaux -- Labelled Deduction for the Guarded Fragment -- Semantics for Temporal Annotated Constraint Logic Programming -- Alessandra Raffaetà | |
-- The Logic of Reusable Propositional Output with the Fulfilment Constraint | |
ISBN: | 9789401140409 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 17 |
Keywords: | Philosophy , Logic , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9783642571299:ONLINE Show nearby items on shelf |
Title: | Programming for Mathematicians |
Author(s): |
Raymond Séroul |
Date: | 2000 |
Size: | 1 online resource (432 p.) |
Note: | 10.1007/978-3-642-57129-9 |
Contents: | 1. Programming Proverbs -- 1.1. Above all, no tricks! -- 1.2. Do not chewing gum while climbing stairs -- 1.3. Name that which you still don’t know -- 1.4. Tomorrow, things will be better the day after, better still -- 1.5. Never |
execute an order before it is given -- 1.6. Document today to avoid tears tomorrow -- 1.7. Descartes’ Discourse on the Method -- 2. Review of Arithmetic -- 2.1. Euclidean Division -- 2.2. Numeration Systems -- 2.3. Prime Numbers -- | |
2.3.1. The number of primes smaller than a given real number -- 2.4. The Greatest Common Divisor -- 2.5. Congruences -- 2.6. The Chinese Remainder Theorem -- 2.7. The Euler phi Function -- 2.8. The Theorems of Fermat and Euler -- 2.9. | |
Wilson’s Theorem -- 2.10. Quadratic Residues -- 2.11. Prime Number and Sum of Two Squares -- 2.12. The Moebius Function -- 2.13. The Fibonacci Numbers -- 2.14. Reasoning by Induction -- 2.15. Solutions of the Exercises -- 3. An | |
Algorithmic Description Language -- 3.1. Identifiers -- 3.2. Arithmetic Expressions -- 3.3. Boolean Expressions -- 3.4. Statements and their Syntax -- 3.5. The Semantics of Statements -- 3.6. Which Loop to Choose? -- 4. How to Create | |
an Algorithm -- 4.1. The Trace of an Algorithm -- 4.2. First Method: Recycling Known Code -- 4.3. Second Method: Using Sequences -- 4.4. Third Method: Defered Writing -- 4.5. How to Prove an Algorithm -- 4.6. Solutions of the Exercises | |
-- 5. Algorithms and Classical Constructions -- 5.1. Exchanging the Contents of Two Variables -- 5.2. Diverse Sums -- 5.3. Searching for a Maximum -- 5.4. Solving a Triangular Cramer System -- 5.5. Rapid Calculation of Powers -- 5.6. | |
Calculation of the Fibonacci Numbers -- 5.7. The Notion of a Stack -- 5.8. Linear Traversal of a Finite Set -- 5.9. The Lexicographic Order -- 5.10. Solutions to the Exercises -- 6. The Pascal Language -- 6.1. Storage of the Usual | |
Objects -- 6.2. Integer Arithmetic in Pascal -- 6.3. Arrays in Pascal -- 6.4. Declaration of an Array -- 6.5. Product Sets and Types -- 6.6. The Role of Constants -- 6.7. Litter -- 6.8. Procedures -- 6.9. Visibility of the Variables in | |
a Procedure -- 6.10. Context Effects -- 6.11. Procedures: What the Program Seems To Do -- 6.12. Solutions of the Exercises -- 7. How to Write a Program -- 7.1. Inverse of an Order 4 Matrix -- 7.2. Characteristic Polynomial of a Matrix | |
-- 7.3. How to Write a Program -- 7.4. A Poorly Written Procedure -- 8. The Integers -- 8.1. The Euclidean Algorithm -- 8.2. The Blankinship Algorithm -- 8.3. Perfect Numbers -- 8.4. The Lowest Divisor Function -- 8.5. The Moebius | |
Function -- 8.6. The Sieve of Eratosthenes -- 8.7. The Function pi(x) -- 8.8. Egyptian Fractions -- 8.9. Operations on Large Integers -- 8.10. Division in Base b -- 8.11. Sums of Fibonacci Numbers -- 8.12. Odd Primes as a Sum of Two | |
Squares -- 8.13. Sums of Four Squares -- 8.14. Highly Composite Numbers -- 8.15. Permutations: Johnson’s’ Algorithm -- 8.16. The Count is Good -- 9. The Complex Numbers -- 9.1. The Gaussian Integers -- 9.2. Bases of Numeration in the | |
Gaussian Integers -- 9.3. Machin Formulas -- 10. Polynomials -- 10.1. Definitions -- 10.2. Degree of a Polynomial -- 10.3. How to Store a Polynomial -- 10.4. The Conventions we Adopt -- 10.5. Euclidean Division -- 10.6. Evaluation of | |
Polynomials: Horner’s Method -- 10.7. Translation and Composition -- 10.8. Cyclotomic Polynomials -- 10.9. Lagrange Interpolation -- 10.10. Basis Change -- 10.11. Differentiation and Discrete Taylor Formulas -- 10.12. Newton-Girard | |
Formulas -- 10.13. Stable Polynomials -- 10.14. Factoring a Polynomial with Integral Coefficients -- 11. Matrices -- 11.1. Z-Linear Algebra -- 11.2. Linear Systems with Integral Coefficients -- 11.3. Exponential of a Matrix: Putzer’s | |
Algorithm -- 11.4. Jordan Reduction -- 12. Recursion -- 12.1. Presentation -- 12.2. The Ackermann function -- 12.3. The Towers of Hanoi -- 12.4. Baguenaudier -- 12.5. The Hofstadter Function -- 12.6. How to Write a Recursive Code -- | |
13. Elements of compiler theory -- 13.1. Pseudocode -- 13.2. A Pseudocode Interpreter -- 13.3. How to Analyze an Arithmetic Expression -- 13.4. How to Evaluate an Arithmetic Expression -- 13.5. How to Compile an Arithmetic Expression | |
-- References | |
ISBN: | 9783642571299 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Software engineering , Computer programming , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematics , Applications of Mathematics , Software Engineering/Programming and Operating Systems , Computational Mathematics and Numerical Analysis , Programming Techniques |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9780387218564:ONLINE Show nearby items on shelf |
Title: | S Programming |
Author(s): |
W. N Venables |
Date: | 2000 |
Size: | 1 online resource (265 p.) |
Note: | 10.1007/978-0-387-21856-4 |
Contents: | 1 Introduction -- 2 The S Language: Syntax and Semantics -- 3 The S Language: Advanced Aspects -- 4 Classes -- 5 New-style Classes -- 6 Using Compiled Code -- 7 General Strategies and Extended Examples -- 8 S Software Development -- 9 |
Interfaces under Windows -- Appendices -- A Compiling and Loading Code -- A.1 Procedures with S-PLUS -- A.2 Procedures with R -- A.3 Common concerns -- A.4 Writing Dynamic Link Libraries for Windows -- B The Interactive Environment -- | |
B.1 History and audit trails -- B.2 Options -- B.3 Session startup and finishing functions -- C BATCH Operation -- C.1 S-PLUS -- C.2 R -- References | |
ISBN: | 9780387218564 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistics and Computing/Statistics Programs |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9789401716529:ONLINE Show nearby items on shelf |
Title: | Fuzzy Sets, Logics and Reasoning about Knowledge |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (425 p.) |
Note: | 10.1007/978-94-017-1652-9 |
Contents: | Introduction: Bridging the Gap between Multiple-valued Logics, Fuzzy Logic, Uncertain Reasoning and Reasoning about Knowledge -- I: Advances in Mutiple-valued Logics -- The Poincaré Paradox and Non-classical Logics -- Propositional |
Fuzzy Logics based on Frank t-norms: A comparison -- A Resolution-based Axiomatisation of ‘Bold’ Propositional Fuzzy Logic -- How to Make Your Logic Fuzzy: Fibred Semantics and The Weaving of Logics -- Introducing Grade to Some | |
Metalogical Notions -- Closure Operators, Fuzzy Logic and Constraints -- II: Algebraic Aspects of Multiple-valued Logics -- Ulam Game, the Logic of MaxSat, and Many-valued Partitions -- A Many-valued Generalisation of the Ultrapower | |
Construction -- Gabriel Filters and the Spectrum of an MV-Algebra -- Conditional States in Finite-valued Logics -- Conditioning on MV-algebras and Additive Measures—further results -- III: Advances in Approximate Reasoning -- Toward | |
Adequacy Conditions for Inference Schemata in Approximate Reasoning: The Case of the Rule of Syllogism -- Formal Theories in Fuzzy Logic -- A Note on Fuzzy Inference as Deduction -- The Role of Similarity in Fuzzy Reasoning -- | |
T-indistinguishability Operators and Approximate Reasoning via CRI -- About Similarity-based Logical Systems -- On Similarity-based Fuzzy Clusterings -- IV: Reasoning about Information and Knowledge -- Informational Representability: | |
Abstract Models versus Concrete Models -- From Possibilistic Information to Kleene’s Strong Multi-valued Logics -- A Roadmap of Qualitative Independence -- Truth Functionality and Measure-based Logics -- Logic Programs with | |
Context-dependent Preferences -- An Overview of Inconsistency-tolerant Inferences in Prioritized Knowledge Bases | |
ISBN: | 9789401716529 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 15 |
Keywords: | Philosophy , Logic , Artificial intelligence , Algebra , Ordered algebraic structures , Mathematical logic , Discrete mathematics , Philosophy , Logic , Discrete Mathematics , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Order, Lattices, Ordered Algebraic Structures |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9781475731002:ONLINE Show nearby items on shelf |
Title: | The Grammar of Graphics |
Author(s): |
Leland Wilkinson |
Date: | 1999 |
Size: | 1 online resource (408 p.) |
Note: | 10.1007/978-1-4757-3100-2 |
Contents: | 1 Introduction -- 2 How to Make a Pie -- 3 Data -- 4 Variables -- 5 Algebra -- 6 Geometry -- 7 Aesthetics -- 8 Statistics -- 9 Scales -- 10 Coordinates -- 11 Facets -- 12 Guides -- 13 Graphboard -- 14 Reader -- 15 Semantics -- |
References -- Author Index | |
ISBN: | 9781475731002 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Statistics , Mathematics , Visualization , Statistics , Statistics and Computing/Statistics Programs , Visualization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9789401156943:ONLINE Show nearby items on shelf |
Title: | Multi-Dimensional Modal Logic |
Author(s): |
Maarten Marx |
Date: | 1997 |
Size: | 1 online resource (239 p.) |
Note: | 10.1007/978-94-011-5694-3 |
Contents: | 1 Multi-dimensional modal logic -- 1.1 What is multi-dimensional modal logic? -- 1.2 Manifestations of multi-dimensional modal logics -- 1.3 Themes and questions -- 1.4 Overview of the book -- 1.5 How to read this book -- 2 |
Two-dimensional modal logics -- 2.1 Operations on the square universe -- 2.2 Axiomatizing S5-square -- 2.3 Cylindric modal logic of squares -- 2.4 The modal logic of composition -- 2.5 A two-dimensional temporal logic -- 2.6 Historical | |
notes -- 3 Arrow logic -- 3.1 Introduction -- 3.2 Motivation -- 3.3 Arrow logic and relation algebras -- 3.4 Connection with first order logic -- 3.5 Characterizing (local) squares -- 3.6 Axiomatizing (local) squares -- 3.7 | |
Decidability and interpolation -- 3.8 Temporal arrow logic -- 3.9 Other directions in arrow logic -- 4 Modal logics of intervals -- 4.1 Introduction -- 4.2 The System HS: Introduction -- 4.3 The system HS: expressiveness -- 4.4 The | |
System HS: Axiomatics -- 5 Modal logics of relations -- 5.1 Introduction -- 5.2 Modalizing first-order logic -- 5.3 Abstract and generalized assignment frames -- 5.4 Characterizing cubes and local cubes -- 5.5 Meta-properties -- 5.6 | |
Infinite dimensions -- 5.7 Connections -- 6 Multi-dimensional semantics for every modal language -- 6.1 Logics with one modality -- 6.2 Logics with arbitrary many modalities -- 6.3 Versatile similarity types -- 6.4 The modal logic of | |
composition and its conjugates -- Open problems -- Appendices -- A Modal Similarity Types -- A.1 Introduction -- A.2 Modal similarity types -- A.3 Frames, models and correspondence -- A.4 Structural frame operations -- A.5 Boolean | |
S-algebras -- A.6 Frames and algebras -- A.7 Modal logics and derivation systems -- A.8 Algebraic derivations -- A.9 Canonical structures -- B A Modal Toolkit -- B.1 Sahlqvist theory -- B.1.1 Definitions -- B.1.2 Sahlqvist | |
correspondence -- B.1.3 Canonicity & completeness -- B.1.4 Algebraic aspects of Sahlqvist theory -- B.2 Logical operators -- B.2.1 The universal modality -- B.2.2 Versatile similarity types -- B.2.3 The D-operator -- B.3 Negative | |
definability and unorthodox axiomatics -- B.4 Interpolation -- B.5 Filtrations -- B.6 A local and a global paradigm -- List of symbols | |
ISBN: | 9789401156943 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 4 |
Keywords: | Philosophy , Logic , Mathematical logic , Computational linguistics , Philosophy , Logic , Mathematical Logic and Foundations , Computational Linguistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9789401156387:ONLINE Show nearby items on shelf |
Title: | Logic, Language and Computation |
Author(s): | |
Date: | 1997 |
Size: | 1 online resource (253 p.) |
Note: | 10.1007/978-94-011-5638-7 |
Contents: | 1. Recent Issues in Logic, Language and Computation -- 2. Restricted Quantification -- 3. The Epsilon Calculus’ Problematic -- 4. Definite Descriptions and Choice Functions -- 5. Spatio-Temporal Structure in Text -- 6. DRT and |
Many-Valued Logics -- 7. On Constructive Modality -- 8. Displaying as Temporalizing: Sequent Systems for Subintuitistic Logics -- 9. Quantification and Dependence Logics -- 10. Relevant Conditionals, and Relevant Application Thereof | |
ISBN: | 9789401156387 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 5 |
Keywords: | Philosophy , Logic , Language and languages , Computational linguistics , Semantics , Philosophy , Logic , Computational Linguistics , Semantics , Philosophy of Language |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9780817647810:ONLINE Show nearby items on shelf |
Title: | Indiscrete Thoughts |
Author(s): |
Gian-Carlo Rota |
Date: | 1997 |
Size: | 1 online resource (280 p.) |
Note: | 10.1007/978-0-8176-4781-0 |
Contents: | Persons and Places -- Fine Hall in its Golden Age -- Light Shadows -- Combinatorics, Representation Theory and Invariant Theory -- The Barrier of Meaning -- Stan Ulam -- The Lost Café -- Philosophy -- The Pernicious Influence of |
Mathematics Upon Philosophy -- Philosophy and Computer Science -- The Phenomenology of Mathematical Truth -- The Phenomenology of Mathematical Beauty -- The Phenomenology of Mathematical Proof -- Syntax, Semantics, and the Problem of | |
the Identity of Mathematical Items -- The Barber of Seville, or The Useless Precaution -- Kant and Husserl -- Fundierung as a Logical Concept -- The Primacy of Identity -- Three Senses of “A is B” in Heidegger -- Indiscrete Thoughts -- | |
Ten Lessons I wish I Had Been Taught -- Ten Lessons for the Survival of a Mathematics Department -- A Mathematician’s Gossip -- Book Reviews | |
ISBN: | 9780817647810 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Applied mathematics , Engineering mathematics , Game theory , History , Mathematical logic , Mathematics , History of Mathematical Sciences , Mathematical Logic and Foundations , Game Theory, Economics, Social and Behav. Sciences , Applications of Mathematics , Mathematics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9781475725063:ONLINE Show nearby items on shelf |
Title: | Closure Spaces and Logic |
Author(s): |
Norman M Martin |
Date: | 1996 |
Size: | 1 online resource (230 p.) |
Note: | 10.1007/978-1-4757-2506-3 |
Contents: | 1 Logic and Topology -- 2 Basic Topological Properties -- 3 Some Theorems of Tarski -- 4 Continuous Functions -- 5 Homeomorphisms -- 6 Closed Bases and Closure Semantics I -- 7 Theory of Complete Lattices -- 8 Closed Bases and Closure |
Semantics II -- 9 Truth Functions | |
ISBN: | 9781475725063 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications : 369 |
Keywords: | Mathematics , Logic , Mathematical logic , Topology , Mathematics , Mathematical Logic and Foundations , Topology , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9789401728720:ONLINE Show nearby items on shelf |
Title: | Reflections on Spacetime Foundations, Philosophy, History |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (165 p.) |
Note: | 10.1007/978-94-017-2872-0 |
Contents: | Outlawing Time Machines: Chronology Protection Theorems -- A New Semantics for the Epistemology of Geometry. I: Modeling Spacetime Structure -- A New Semantics for the Epistemology of Geometry. II: Epistemological Completeness of |
Newton—Galilei and Einstein—Maxwell Theory -- A Minimal Interpretation of General Relativistic Spacetime Geometry -- Science without Reference? -- Did Einstein Stumble? The Debate over General Covariance -- Carnap and Weyl on the | |
Foundations of Geometry and Relativity Theory -- Geometry, Intuition and Experience: From Kant to Husserl | |
ISBN: | 9789401728720 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , History , Philosophy and science , Geometry , Gravitation , Physics , History and Philosophical Foundations of Physics , Classical and Quantum Gravitation, Relativity Theory , History of Science , Geometry , Philosophy of Science , Theoretical, Mathematical and Computational Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9789401101875:ONLINE Show nearby items on shelf |
Title: | Quality of Communication-Based Systems Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (195 p.) |
Note: | 10.1007/978-94-011-0187-5 |
Contents: | Contributions to Quality from Specification Techniques -- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes -- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs -- |
Specification of Concurrent Systems: from Petri Nets to Graph Grammars -- Towards a Theory of Strong Bisimulation for the Service Rendezvous -- Contributions to Quality from Quantitative Modelling -- Transient Analysis of Real-Time | |
Systems Using Deterministic and Stochastic Petri Nets -- Performance Modeling with Structured Actions -- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables -- Discrete Time | |
Deterministic and Stochastic Petri Nets -- Contributions to Quality from Distributed Systems Organization -- Bauhaus Linda: An Overview -- Naming and Typing in Languages for Coordination in Open Distributed System -- An Efficient | |
Implementation of Decoupled Communication in Distributed Environments -- Extending the Rôle of Object References in Distributed Systems -- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks | |
ISBN: | 9789401101875 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Microprocessors , Computer communication systems , Programming languages (Electronic computers) , Category theory (Mathematics) , Homological algebra , System theory , Mathematics , Category Theory, Homological Algebra , Mathematics, general , Computer Communication Networks , Systems Theory, Control , Processor Architectures , Programming Languages, Compilers, Interpreters |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9783642852138:ONLINE Show nearby items on shelf |
Title: | Music and Schema Theory Cognitive Foundations of Systematic Musicology |
Author(s): |
Marc Leman |
Date: | 1995 |
Size: | 1 online resource (101 p.) |
Note: | 10.1007/978-3-642-85213-8 |
Contents: | 1. Introduction -- 2. Tone Semantics -- 2.1 The Problem of Tone Semantics -- 2.2 Historical Background -- 2.3 Consonance Theory -- 2.4 Cognitive Structuralism -- 2.5 The Static vs. Dynamic Approach -- 2.6 Conclusion -- 3. Pitch as an |
Emerging Percept -- 3.1 The Two-Component Theory of Révész -- 3.2 Attribute Theory Reconsidered -- 3.3 The Shepard-Tone -- 3.4 Paradoxes of Pitch Perception -- 3.5 The Shepard-Illusion -- 3.6 Ambiguous Stimuli -- 3.7 Conclusion -- 4. | |
Defining the Framework -- 4.1 The Computer Model -- 4.2 Representational Categories -- 4.3 Conclusion -- 5. Auditory Models of Pitch Perception -- 5.1 The Missing Fundamental -- 5.2 Auditory Models -- 5.3 SAM: A Simple Model -- 5.4 | |
TAM: A Place Model -- 5.5 VAM: A Place-Time Model 53 -- 5.6 Conclusion -- 6. Schema and Learning -- 6.1 Gestalt Perception -- 6.2 Tone Semantics and Self-Organization -- 6.3 SOM: The Self-Organizing Map -- 6.4 Architecture -- 6.5 | |
Dynamics -- 6.6 Implementation -- 6.7 Conclusion -- 7. Learning Images-out-of-Time -- 7.1 SAMSOM -- 7.2 TAMSOM -- 7.3 VAMSOM -- 7.4 Conclusion -- 8. Learning Images-in-Time -- 8.1 Temporal Constraints in Tonality Perception -- 8.2 Tone | |
Images-in-Time -- 8.3 Tone Context Images -- 8.4 Determination of the Integration Period -- 8.5 TAMSOM -- 8.6 VAMSOM -- 8.7 Conclusion -- 9. Schema and Control -- 9.1 Schema-Based Dynamics -- 9.2 TCAD: Tone Center Attraction Dynamics | |
-- 9.3 TCAD — Stable States -- 9.4 TCAD — Recognition -- 9.5 TCAD — Interpretation -- 9.6 The TCAD Model -- 9.7 TCAD — At Work -- 9.8 Conclusion -- 10. Evaluation of the Tone Center Recognition Model -- 10.1 Overview of Other Models -- | |
10.2 TCAD-Based Tone Center Analysis -- 10.3 The Evaluation Method -- 10.4 Bartók — Through the Keys -- 10.5 Brahms — Sextet No. 2 -- 10.6 Chopin — Prélude No. 20 -- 10.7 The Effect of Phrase — Re-evaluation of Through the Keys -- 10.8 | |
Conclusion -- 11. Rhythm and Timbre Imagery -- 11.1 Models of Rhythm Perception -- 11.2 VRAM: A Rhythm Analysis Model -- 11.3 The Analysis of Timbre -- 11.4 Conclusion -- 12. Epistemological Foundations -- 12.1 Epistemological | |
Relevance -- 12.2 Neurophysiological Foundations -- 12.3 Modular Organization -- 12.4 Relevance for a Theory of Meaning -- 12.5 Music Semantics and Meaning Formation -- 12.6 Epistemological Principles -- 12.7 Conclusion -- 13. | |
Cognitive Foundations of Systematic Musicology -- 13.1 Cognitive Musicology, AI and Music, and Systematic Musicology -- 13.2 Historical-Scientific Background -- 13.3 New Developments in the 1960s -- 13.4 A Discipline of Musical Imagery | |
-- 13.5 A Psycho-morphological Account of Musical Imagery -- 13.6 Interdisciplinary Foundations -- 13.7 General Conclusion -- A. Orchestra Score in CSOUND -- A.l The Orchestra File -- A. 2 The Score File -- B. Physiological Foundations | |
of the Auditory Periphery -- B.1 The Ear -- B.2 The Neuron -- B.3 Coding -- B. 4 The Brain Stem and Cortex -- C. Normalization and Similarity Measures -- C. l Similarity Measures -- C.2 Towards a Psychoacoustic-Based Similarity Measure | |
-- References | |
ISBN: | 9783642852138 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Information Sciences: 31 |
Keywords: | Physics , Acoustics , Physics , Acoustics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9781489914248:ONLINE Show nearby items on shelf |
Title: | Mathematical Models for Handling Partial Knowledge in Artificial Intelligence |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (308 p.) |
Note: | 10.1007/978-1-4899-1424-8 |
Contents: | Invited Papers -- Ellsberg Paradox Intuition and Choquet Expected Utility -- Fuzzy Logic as Logic -- Mathematical Foundations of Evidence Theory -- Semantics for Uncertain Inference Based on Statistical Knowledge -- Prospects and |
Problems in Applying the Fundamental Theorem of Prevision as an Expert System: An Example of Learning about Parole Decisions -- Coherent Prevision as a Linear Functional without an Underlying Measure Space: The Purely Arithmetic | |
Structure of Logical Relations among Conditional Quantities -- Revision Rules for Convex Sets of Probabilities -- Some Mathematical Tools for Decision Making under Partial Knowledge -- From Bayesian Networks to Causal Networks -- | |
Contributed Papers -- Generalized Concept of Atoms for Conditional Events -- Checking the Coherence of Conditional Probabilities in Expert Systems: Remarks and Algorithms -- A Hyperstructure of Conditional Events for Artificial | |
Intelligence -- Possibilistic Logic and Plausible Inference -- Probability Logic as a Fuzzy Logic -- Algorithms for Precise and Imprecise Conditional Probability Assessments -- A Valuation-Based Architecture for Assumption-Based | |
Reasoning -- Computing Symbolic Support Functions by Classical Theorem-Proving Techniques -- Inconsistent Knowledge Integration in a Probabilistic Model -- Conditional and Comparative Probabilities in Artificial Intelligence -- | |
Roundtable -- Panel Discussion -- List of Participants to the Workshop | |
ISBN: | 9781489914248 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Statistics , Management information systems , Computer science , Mathematics , Statistics , Statistics, general , Mathematics, general , Management of Computing and Information Systems |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9781475723557:ONLINE Show nearby items on shelf |
Title: | Mathematical Logic |
Author(s): |
H.-D Ebbinghaus |
Date: | 1994 |
Edition: | Second Edition |
Size: | 1 online resource (291 p.) |
Note: | 10.1007/978-1-4757-2355-7 |
Contents: | A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim-Skolem and the Compactness Theorem -- VII The Scope of |
First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Limitations of the Formal Method -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of | |
Elementary Equivalence -- XIII Lindström’s Theorems -- References -- Symbol Index | |
ISBN: | 9781475723557 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematics , Mathematical Logic and Foundations , Mathematics Education |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9781461202639:ONLINE Show nearby items on shelf |
Title: | Maple V: Mathematics and its Applications Proceedings of the Maple Summer Workshop and Symposium, Rensselaer Polytechnic Institute, Troy, New York, August 9–13,1994 |
Author(s): | |
Date: | 1994 |
Size: | 1 online resource (236 p.) |
Note: | 10.1007/978-1-4612-0263-9 |
Contents: | I A. Maple in Computer Science -- x201CTurtle Graphics” in Maple V. 2 -- A Distributed Approach to Problem Solving in Maple -- Denotational Semantics Applied to the Typesetting of Maple Expressions -- IB. Maple in Applied Mathematics |
-- A Symbolic Engineering Mechanics System Built on OEM Maple -- Signal Processing Using Maple V -- Implementation of a Mapping Procedure for the Domain Decomposition for PDEs in Maple -- II A. Maple in Education -- The Influence of | |
Maple on a Linear Algebra Course at the Delft University of Technology -- Can Maple Help in Teaching Calculus with Limited Time and Staff? -- Enlivening the Mathematics Curriculum with Maple -- II B. Maple in Science -- Analytical | |
Approaches to Solving Coupled Nonlinear Schrödinger Equations Using Maple V -- Solution of the Solar Cell Transport Equations Using Maple -- Kramers and Wannier V-Matrices for the Partition Functions of the Ising Model -- III A. Maple | |
in Abstract Algebra -- FRAC: A Maple Package for Computing in the Rational Function Field K(X) -- Group Rings and Hopf-Galois Theory in Maple -- Rational Generating Function Applications in Maple -- III B. Maple in Science -- | |
Symbolic-Numeric Computations for Problem-Solving in Physical Chemistry and Biochemistry -- Maple V Analytically Calculating Plane Strain FE-Matrices with Rotational Degrees of Freedom -- Chemical Engineering with Maple -- IV A. Maple | |
in Education -- Maple Labs and Programs for Calculus -- Maple at the University of North London -- Introducing Maple to First Year Engineering Students Via Project Study -- Another Look at Learning the Techniques of Elementary | |
Integration -- Worksheets: Can We Teach Mathematical Algorithms with Them? -- IV B. Maple in Science and the Applications -- Computer Algebra as a Tool for Analyzing Nonlinear Systems -- Maple V and Geometrical Optics: Aberration | |
Coefficients in Arbitrary Optical Systems -- Solution of Banded Linear Systems of Equations in Maple Using LU Factorization -- Using Maple to Design a Complex Mixture Experiment | |
ISBN: | 9781461202639 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Applied mathematics , Engineering mathematics , Computer mathematics , Computer software , Mathematics , Applications of Mathematics , Mathematical Software , Computational Mathematics and Numerical Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9789401582322:ONLINE Show nearby items on shelf |
Title: | Algorithms: Main Ideas and Applications |
Author(s): |
Vladimir Uspensky |
Date: | 1993 |
Size: | 1 online resource (270 p.) |
Note: | 10.1007/978-94-015-8232-2 |
Contents: | Notation and Terminology -- 1.0 Preliminary notions of the theory of algorithms: constructive objects and aggregates local properties and local actions -- 1.1 The general notion of an algorithm as an independent (separate) concept -- |
1.2 Representative computational models -- 1.3 The general notion of a calculus as an independent (separate) concept -- 1.4 Representative generating models -- 1.5 Interrelations between algorithms and calculuses -- 1.6 Time and Space | |
as complexities of computation and generation -- 1.7 Computable functions and generable sets decidable sets enumerable sets -- 1.8 The concept of a ?-recursive function -- 1.9 Possibility of an arithmetical and even Diophantine | |
representation of any enumerable set of natural numbers -- 1.10 Construction of an undecidable generable set -- 1.11 Post’s reducibility problem -- 1.12 The concept of a relative algorithm, or an oracle algorithm -- 1.13 The concept of | |
a computable operation -- 1.14 The concept of a program programs as objects of computation and generation -- 1.15 The concept of a numbering and the theory of numberings -- 1.16 First steps in the invariant, or machine-independent, | |
theory of complexity of computations -- 1.17 The theory of complexity and entropy of constructive objects -- 1.18 Convenient computational models -- 2.1 Investigations of mass problems -- 2.2 Applications to the foundations of | |
mathematics: constructive semantics -- 2.3 Applications to mathematical logic: formalized languages of logic and arithmetic -- 2.4 Computable analysis -- 2.5 Numbered structures -- 2.6 Applications to probability theory: definitions of | |
a random sequence -- 2.7 Applications to information theory: the algorithmic approach to the concept of quantity of information -- 2.8 Complexity bounds for particular problems -- 2.9 Influence of the theory of algorithms on | |
algorithmic practice -- Appendix. Probabilistic Algorithms (How the Use of Randomness Makes Computations Shorter) -- A.1 Preliminary remarks -- A.2 Main results -- A.3 Formal definitions -- References -- Author Index | |
ISBN: | 9789401582322 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications : 251 |
Keywords: | Mathematics , Logic , Computers , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Theory of Computation , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9789401117777:ONLINE Show nearby items on shelf |
Title: | The Quantum Labyrinth |
Author(s): |
Dick J Hoekzema |
Date: | 1993 |
Size: | 1 online resource (281 p.) |
Note: | 10.1007/978-94-011-1777-7 |
Contents: | The Quantum Labyrinth, A Treatise on Quantum Mechanics and Comparative Metaphysics -- 1 Realism, empiricism, pluralism -- 1.1 Realism versus empiricism -- 1.2 Metaphysical pluralism -- 2 Comparative metaphysics -- 2.1 Ambiguity and |
meta-ambiguity -- 2.2 Describing complex systems -- 3 The construction of physical reality -- 3.1 A model of theories -- 3.2 Contexts -- 3.3 Further elaborations on contextual semantics -- 4 Quantum mechanics -- 4.1 Logical | |
peculiarities of QM -- 4.2 Measurement postulates -- 5 ‘Recent’ developments in measurement theory -- 5.1 Effect valued measures -- 5.2 Operation valued measures -- 5.3 Some cases in measurement theory -- 5.4 ABL measures -- 6 | |
Contextual QM -- 6.1 The initial contextual formulation of QM -- 6.2 Quantum process theory -- 6.3 A particle interpretation -- 6.4 Event theory -- 7 Completeness and locality -- 7.1 Quantum ‘theory’? -- 7.2 Contextual QM and | |
completeness -- 7.3 Splitting magnitudes -- 7.4 The incompleteness of the standard formalism of QM -- 7.5 Locality -- 7.6 Speculations on time-symmetry, causality, and quantum gravity -- 8 A maze of QMs -- 8.1 General methodological | |
remarks -- 8.2 Nonclassical alternatives -- 8.3 Variations on the initial formalism -- 8.4 The Von Neumann chain -- 8.5 Relative process states -- 8.6 Conclusions -- 9 Quantum Event Theory, A Tetrode-Fokker version of Quantum Field | |
Theory -- 9.1 Quantum events -- 9.2 Event fields -- 9.3 Field equations -- 9.4 The correspondence between field theory and event theory -- 9.5 Probabilities reconsidered -- 10 Contextual logic -- 10.1 The general structure of | |
contextual logic -- 10.2 Some applications -- 10.3 Relevance, truth, reality -- 10.4 End | |
ISBN: | 9789401117777 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Fundamental Theories of Physics, An International Book Series on The Fundamental Theories of Physics: Their Clarification, Development and Application : 51 |
Keywords: | Physics , Logic , Philosophy and science , Quantum physics , Elementary particles (Physics) , Quantum field theory , Physics , Quantum Physics , Elementary Particles, Quantum Field Theory , Philosophy of Science , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9781461203254:ONLINE Show nearby items on shelf |
Title: | Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday |
Author(s): | |
Date: | 1993 |
Size: | 1 online resource (816 p.) |
Note: | 10.1007/978-1-4612-0325-4 |
Contents: | The Work of Anil Nerode: A Retrospective -- Embedding Distributive Lattices Preserving 1 Below A Nonzero Recursively Enumerable Turing Degree -- Prime Isols and the Theorems of Fermat and Wilson -- Problem Solving Strategies for the |
Derivation of Programs -- Effective Real Dynamics -- An Integer Lattice Arising in the Model Theory of Wreath Products -- Undecidability and Definability for Parametrized Polynomial Time m-Reducibilities -- Extracting Programs from | |
Proofs by an Extension of the Curry-Howard Process -- A Bird’s-Eye View of Twilight Combinatorics -- Effectively and Noneffectively Nowhere Simple Subspaces -- Index Sets in Recursive Combinatorics -- Computability in Unitary | |
Representations of Compact Groups -- Recursive Properties of Intervals of Recursive Linear Orders -- Algorithmic Stability of Models -- The Combinatorics of the Friedberg-Muchnick Theorem -- Partial Automata and Finitely Generated | |
Congruences: An Extension of Nerode’s Theorem -- Minimal Pair Constructions and Iterated Trees of Strategies -- Intuitionistic L -- n-Recursive Linear Orders Without (n + 1)-Recursive Copies -- Multiple Agent Autonomous Control — A | |
Hybrid Systems Architecture -- Distributed Concurrent Programs as Strategies in Games -- Dempster-Shafer Logic Programs and Stable Semantics -- Who Put the “Back” in Back-and-Forth? -- Polynomial Time Categoricity and Linear Orderings | |
-- The Disjunction and Numerical Existence Properties for Intuitionistic Analysis -- On the Strength of Fraïssé’s Conjecture | |
ISBN: | 9781461203254 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Computer Science and Applied Logic : 12 |
Keywords: | Computer science , Computer logic , Mathematical logic , Computer science , Applied mathematics , Engineering mathematics , Computer Science , Math Applications in Computer Science , Applications of Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages , Logics and Meanings of Programs |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1992-9781489923172:ONLINE Show nearby items on shelf |
Title: | The Alternative Mathematical Model of Linguistic Semantics and Pragmatics |
Author(s): |
Vilém Novák |
Date: | 1992 |
Size: | 1 online resource (204 p.) |
Note: | 10.1007/978-1-4899-2317-2 |
Contents: | 1. Claims and Assumptions -- 2. The Alternative Set Theory -- 3. Functional Generative Description of Natural Language -- 4. Fuzzy Logic and Fuzzy Sets -- 5. The Alternative Mathematical Model of Linguistic Semantics and Pragmatics -- |
6. Comments on Possible Practical Application and Further Development -- List of Symbols | |
ISBN: | 9781489923172 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Federation for Systems Research International Series on Systems Science and Engineering: 8 |
Keywords: | Linguistics , Artificial intelligence , Computer science , Computer mathematics , Computational linguistics , Linguistics , Computational Linguistics , Artificial Intelligence (incl. Robotics) , Mathematical Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1992-9781461228226:ONLINE Show nearby items on shelf |
Title: | Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 |
Author(s): | |
Date: | 1992 |
Size: | 1 online resource (608 p.) |
Note: | 10.1007/978-1-4612-2822-6 |
Contents: | Preface -- The Imperative Future: Past Successes Future Actions -- A Logical Operational Semantics of Full Prolog: Part III. Built-in Predicates for Files, Terms, Arithmetic and Input-Output -- Computability and Complexity of Higher |
Type Functions -- Constructively Equivalent Propositions and Isomorphisms of Objects, or Terms as Natural Transfomrations -- Logics for Termination and Correctness of Functional Programs -- Transparent Grammars -- Designing Unification | |
Procedures Using Transformations: A survey -- NormaL Forms and Cut-Free Proofs as Natural Transformations -- Computer Implementation and Applications of Kleene’s S-M-N and Recursion Theorems -- 0–1 Laws for Fragments of Second-Order | |
Logic: an Overview -- No Counter-Example Interpretation and Interactive Computation -- Semantic Characterizations of Number Theories -- Constructive Kripke Semantics and Realizability -- Splitting and Density for the Recursive Sets of | |
a Fixed Time Complexity -- Reals and Forcing with an Elementary Topos -- Completeness Theorems for Logics of Feature Structures -- Concurrent Programs as Strategies in Games -- Finite and Infinite Dialogues -- Some Relations Between | |
Subsystems of Arithmetic and Complexity of Computations -- Logics for Negation as Failure -- Normal Varieties of Combinators -- Complexity of Proofs in Classical Propositional Logic | |
ISBN: | 9781461228226 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematical Sciences Research Institute Publications: 21 |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1992-9781461209270:ONLINE Show nearby items on shelf |
Title: | Sheaves in Geometry and Logic A First Introduction to Topos Theory |
Author(s): |
Saunders Mac Lane |
Date: | 1992 |
Size: | 1 online resource (630 p.) |
Note: | 10.1007/978-1-4612-0927-0 |
Contents: | Prologue -- Categorial Preliminaries -- I. Categories of Functors -- 1. The Categories at Issue -- 2. Pullbacks -- 3. Characteristic Functions of Subobjects -- 4. Typical Subobject Classifiers -- 5. Colimits -- 6. Exponentials -- 7. |
Propositional Calculus -- 8. Heyting Algebras -- 9. Quantifiers as Adjoints -- Exercises -- II. Sheaves of Sets -- 1. Sheaves -- 2. Sieves and Sheaves -- 3. Sheaves and Manifolds -- 4. Bundles -- 5. Sheaves and Cross-Sections -- 6. | |
Sheaves as Étale Spaces -- 7. Sheaves with Algebraic Structure -- 8. Sheaves are Typical -- 9. Inverse Image Sheaf -- Exercises -- III. Grothendieck Topologies and Sheaves -- 1. Generalized Neighborhoods -- 2. Grothendieck Topologies | |
-- 3. The Zariski Site -- 4. Sheaves on a Site -- 5. The Associated Sheaf Functor -- 6. First Properties of the Category of Sheaves -- 7. Subobject Classifiers for Sites -- 8. Subsheaves -- 9. Continuous Group Actions -- Exercises -- | |
IV. First Properties of Elementary Topoi -- 1. Definition of a Topos -- 2. The Construction of Exponentials -- 3. Direct Image -- 4. Monads and Beck’s Theorem -- 5. The Construction of Colimits -- 6. Factorization and Images -- 7. The | |
Slice Category as a Topos -- 8. Lattice and Heyting Algebra Objects in a Topos -- 9. The Beck-Chevalley Condition -- 10. Injective Objects -- Exercises -- V. Basic Constructions of Topoi -- 1. Lawvere-Tierney Topologies -- 2. Sheaves | |
-- 3. The Associated Sheaf Functor -- 4. Lawvere-Tierney Subsumes Grothendieck -- 5. Internal Versus External -- 6. Group Actions -- 7. Category Actions -- 8. The Topos of Coalgebras -- 9. The Filter-Quotient Construction -- Exercises | |
-- VI. Topoi and Logic -- 1. The Topos of Sets -- 2. The Cohen Topos -- 3. The Preservation of Cardinal Inequalities -- 4. The Axiom of Choice -- 5. The Mitchell-Bénabou Language -- 6. Kripke-Joyal Semantics -- 7. Sheaf Semantics -- 8. | |
Real Numbers in a Topos -- 9. Brouwer’s Theorem: All Functions are Continuous -- 10. Topos-Theoretic and Set-Theoretic Foundations -- Exercises -- VII. Geometric Morphisms -- 1. Geometric Morphisms and Basic Examples -- 2. Tensor | |
Products -- 3. Group Actions -- 4. Embeddings and Surjections -- 5. Points -- 6. Filtering Functors -- 7. Morphisms into Grothendieck Topoi -- 8. Filtering Functors into a Topos -- 9. Geometric Morphisms as Filtering Functors -- 10. | |
Morphisms Between Sites -- Exercises -- VIII. Classifying Topoi -- 1. Classifying Spaces in Topology -- 2. Torsors -- 3. Classifying Topoi -- 4. The Object Classifier -- 5. The Classifying Topos for Rings -- 6. The Zariski Topos | |
Classifies Local Rings -- 7. Simplicial Sets -- 8. Simplicial Sets Classify Linear Orders -- Exercises -- IX. Localic Topoi -- 1. Locales -- 2. Points and Sober Spaces -- 3. Spaces from Locales -- 4. Embeddings and Surjections of | |
Locales -- 5. Localic Topoi -- 6. Open Geometric Morphisms -- 7. Open Maps of Locales -- 8. Open Maps and Sites -- 9. The Diaconescu Cover and Barr’s Theorem -- 10. The Stone Space of a Complete Boolean Algebra -- 11. Deligne’s Theorem | |
-- Exercises -- X. Geometric Logic and Classifying Topoi -- 1. First-Order Theories -- 2. Models in Topoi -- 3. Geometric Theories -- 4. Categories of Definable Objects -- 5. Syntactic Sites -- 6. The Classifying Topos of a Geometric | |
Theory -- 7. Universal Models -- Exercises -- Appendix: Sites for Topoi -- Epilogue -- Index of Notation | |
ISBN: | 9781461209270 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , K-theory , Geometry , Mathematical logic , Mathematics , Geometry , K-Theory , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1992-9781447132738:ONLINE Show nearby items on shelf |
Title: | On the Refinement Calculus |
Author(s): | |
Date: | 1992 |
Size: | 1 online resource (159 p.) |
Note: | 10.1007/978-1-4471-3273-8 |
Contents: | The Specification Statement -- 1 Introduction -- 2 Specification statements -- 3 The implementation ordering -- 4 Suitability of the definitions -- 5 Using specification statements -- 6 Miracles -- 7 Guarded commands are miracles -- 8 |
Positive applications of miracles -- 9 Conclusion -- 10 Acknowledgements -- Specification Statements and Refinement -- 1 Introduction -- 2 The refinement theorems -- 3 The refinement calculus -- 4 An example: square root -- 5 | |
Derivation of laws -- 6 Conclusion -- 7 Acknowledgements -- Procedures, Parameters, and Abstraction: Separate Concerns -- 1 Introduction -- 2 Procedure call -- 3 Procedural abstraction -- 4 Parameters -- 5 Conclusion -- 6 | |
Acknowledgements -- Data Refinement by Miracles -- 1 Introduction -- 2 An abstract program -- 3 A difficult data refinement -- 4 Miraculous programs -- 5 Eliminating miracles -- 6 Conclusion -- 7 Acknowledgements -- Auxiliary Variables | |
in Data Refinement -- 1 Introduction -- 2 The direct technique -- 3 The auxiliary variable technique -- 4 The correspondence -- 5 Conclusion -- 6 Acknowledgements -- Data Refinement of Predicate Transformers -- 1 Introduction -- 2 | |
Predicate transformers -- 3 Algorithmic refinement of predicate transformers -- 4 Data refinement of predicate transformers -- 5 The programming language -- 6 Distribution of data refinement -- 7 Data refinement of specifications -- 8 | |
Data refinement in practice -- 9 Conclusions -- 10 Acknowledgements -- Data Refinement by Calculation -- 1 Introduction -- 2 Refinement -- 3 Language extensions -- 4 Data refinement calculators -- 5 Example of refinement: the “mean” | |
module -- 6 Specialized techniques -- 7 Conclusions -- 8 Acknowledgements -- 9 Appendix: refinement laws -- A Single Complete Rule for Data Refinement -- 1 Introduction -- 2 Data refinement -- 3 Predicate transformers -- 4 Completeness | |
-- 5 Soundness -- 6 Partial programs -- 7 An example -- 8 Conclusion -- 9 Acknowledgements -- Types and Invariants in the Refinement Calculus -- 1 Introduction -- 2 Invariant semantics -- 3 The refinement calculus -- 4 A development | |
method -- 5 Laws for local invariants -- 6 Eliminating local invariants -- 7 Type-checking -- 8 Recursion -- 9 Examples -- 10 A discussion of motives -- 11 Related work -- 12 Conclusions -- A Additional refinement laws -- References -- | |
Authors’ Addresses | |
ISBN: | 9781447132738 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Mathematical analysis , Analysis (Mathematics) , Mathematics , Analysis , Computer Science, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1991-9783642763076:ONLINE Show nearby items on shelf |
Title: | Classification, Data Analysis, and Knowledge Organization Models and Methods with Applications |
Author(s): | |
Date: | 1991 |
Size: | 1 online resource (394 p.) |
Note: | 10.1007/978-3-642-76307-6 |
Contents: | I: Mathematical and statistical methods for classification and data analysis -- Classification and clustering methods -- An agglomerative method for two-mode hierarchical clustering -- Selection from overlapping classifications -- On |
cluster methods for qualitative data II -- A regression analytic modification of Ward’s method: A contribution to the relation between cluster analysis and factor analysis -- The “partition with a structure” concept in biological data | |
analysis -- Classification with neural networks -- Statistical and probabilistic aspects of clustering and classifications -- Multigraphs for the uncovering and testing of structures -- Estimators and relative efficiencies in models of | |
overlapping samples -- Lower bounds for the tail probabilities of the scan statistic -- Poisson approximations of image processes in computer tomography -- Statistical, geometrical and algebraic methods for data analysis -- Some recent | |
developments in linear models: A short survey (plenary lecture) -- Causal analysis in marketing research with LISREL or a combination of traditional multivariate methods? -- Analysis of data measured on a lattice -- Dual algorithms in | |
multidimensional scaling -- Comparison of biplot analysis and formal concept analysis in the case of a repertory grid -- Convexity in ordinal data -- Classification and seriation by iterative reordering of a data matrix -- Data | |
analysis based on a conceptual file -- II: Knowledge organization, data bases, and information retrieval -- Modelling, representation and organization of conceptual knowledge -- Decentralized modelling of data and relationships in | |
enterprises -- A contribution to the examination of semantic relations between lexemes -- A mathematical model for conceptual knowledge systems -- Compositional semantics and concept representation 163 -- Data bases, expert systems, | |
information retrieval, and library systems -- Small and beautiful? Some remarks on evaluating microcomputer based library systems -- A tool for validating PROLOG programs -- On the database component in the knowledge-based system | |
WIMDAS -- Information retrieval techniques in rule-based expert systems -- Object databases and thesauri for small museums (plenary lecture) -- Terminology and classification -- The structure and role of specialized information in | |
scientific and technical terminologies -- Terminology work in the World Health Organization: EUROTERM abbreviations -- HyperTerm — A proposal for a user-friendly termbank -- The role of classification in terminology documentation | |
(plenary lecture) -- III: Applications and methods for special subject fields -- Classification, systematics, and evolution in biology -- The hierarchy of organisms: Systematics and classification in biology (plenary lecture) -- | |
Estimating phylogenies with invariant functions of data (plenary lecture) -- Statistical analysis of genetic distance data -- Variance estimation in the additive tree model -- Classification and documentation in medicine -- | |
Semi-automated classification of medical phrases using a personal computer -- Structure of informations on medical trials -- Recent problems and longterm activities in the classification of medical concepts -- Exploring | |
three-dimensional image data with classification methods -- Data analysis in the archeological and historical sciences -- The reconstruction of “genetic kinship” in prehistoric burial complexes — Problems and statistics -- An approach | |
to a formal statistical analysis of historical data based on the town of Bamberg -- Automatic syntax analysis of meroitic funeral inscriptions -- Application of computers in historical-topographical research: A database for travel | |
reports on Greece (18th and 19th century) -- The use of multivariate statistics in Scandinavian archeology -- The application of correspondence analysis: some examples in archeology -- An analysis of beads found in the Merovingian | |
cemetery of Weingarten -- Classification in industry: Coding systems and commodity description -- Bank code numbers as defining arguments and controlling tools in automated payments -- From commodity description to expert systems -- | |
Tabular layouts of article characteristics and formal concept analysis (in German) -- The postcode, a local and routing code for the transport of mail items | |
ISBN: | 9783642763076 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Statistics , Operations research , Decision making , Data structures (Computer science) , Statistics , Statistics for Business/Economics/Mathematical Finance/Insurance , Operation Research/Decision Theory , Data Structures |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1990-9783642840173:ONLINE Show nearby items on shelf |
Title: | Relative Information Theories and Applications |
Author(s): |
Guy Jumarie |
Date: | 1990 |
Size: | 1 online resource (258 p.) |
Note: | 10.1007/978-3-642-84017-3 |
Contents: | 1. Relative Information — What For? -- 1.1 Information Theory, What Is It? -- 1.1.1 Summary of the Story -- 1.1.2 Communication and Information -- 1.2 Information and Natural Language -- 1.2.1 Syntax, Semantics, Lexeme -- 1.2.2 |
Information, Learning, Dislearning -- 1.3 Prerequisites for a Theory of Information -- 1.3.1 Relativity of Information -- 1.3.2 Negative Information -- 1.3.3 Entropy of Form and Pattern -- 1.3.4 Information and Thermodynamics -- 1.3.5 | |
Information and Subjectivity -- 1.4 Information and Systems -- 1.4.1 A Model of General Systems -- 1.4.2 A Model of Relative Information -- 1.4.3 A Few Comments -- 1.5 How We Shall Proceed -- 1.5.1 Aim of the Book -- 1.5.2 Subjective | |
Information and Relative Information -- 1.5.3 Minkowskian Observation of Events -- 1.5.4 A Unified Approach to Discrete Entropy and Continuous Entropy -- 1.5.5 A Word of Caution to the Reader -- 2. Information Theory — The State of the | |
Art -- 2.1 Introduction -- 2.2 Shannon Measure of Uncertainty -- 2.2.1 The Probabilistic Framework -- 2.2.2 Shannon Informational Entropy -- 2.2.3 Entropy of Random Variables -- 2.3 An Intuitive Approach to Entropy -- 2.3.1 Uniform | |
Random Experiments -- 2.3.2 Non Uniform Random Experiments -- 2.4 Conditional Entropy -- 2.4.1 Framework of Random Experiments -- 2.4.2 Application to Random Variables -- 2.5 A Few Properties of Discrete Entropy -- 2.6 Prior | |
Characterization of Discrete Entropy -- 2.6.1 Properties of Uncertainty -- 2.6.2 Some Consequences of These Properties -- 2.7 The Concept of Information -- 2.7.1 Shannon Information -- 2.7.2 Some Properties of Transinformation -- 2.7.3 | |
Transinformation of Random Variables -- 2.7.4 Remarks on the Notation -- 2.8 Conditional Transinformation -- 2.8.1 Main Definition -- 2.8.2 Some Properties of Conditional Transinformation -- 2.8.3 Conditional Transinformation of Random | |
Variables -- 2.9 Renyi Entropy -- 2.9.1 Definition of Renyi Entropy -- 2.9.2 Meaning of the Renyi Entropy -- 2.9.3 Some Properties of the Renyi Entropy -- 2.10 Cross-Entropy or Relative Entropy -- 2.10.1 The Main Definition -- 2.10.2 A | |
Few Comments -- 2.11 Further Measures of Uncertainty -- 2.11.1 Entropy of Degree c -- 2.11.2 Quadratic Entropy -- 2.11.3 R norm Entropy -- 2.11.4 Effective Entropy -- 2.12 Entropies of Continuous Variables -- 2.12.1 Continuous Shannon | |
Entropy -- 2.12.2 Some Properties of Continuous Entropy -- 2.12.3 Continuous Transinformation -- 2.12.4 Further Extensions -- 2.13 Hatori’s Derivation of Continuous Entropy -- 2.14 Information Without Probability -- 2.14.1 A Functional | |
Approach -- 2.14.2 Relative Information -- 2.15 Information and Possibility -- 2.15.1 A Few Prerequisites -- 2.15.2 A Measure of Uncertainty Without Probability -- 2.16 Conclusions -- 3. A Critical Review of Shannon Information Theory | |
-- 3.1 Introduction -- 3.2 On the Invariance of Measures of Information -- 3.3 On the Modelling of Negative Transinformation -- 3.3.1 Classification of Terms -- 3.3.2 The Problem of Modelling “True” and “False” -- 3.3.3 Error-Detecting | |
Codes -- 3.4 On the Symmetry of Transinformation -- 3.4.1 A Diverting Example -- 3.4.2 Application of Information Theory -- 3.4.3 On the Symmetry of Transinformation -- 3.4.4 On a Possible Application of Renyi Entropy -- 3.5 Entropy | |
and the Central Limit Theorem -- 3.5.1 The Central Limit Theorem -- 3.5.2 An Information Theoretical Approach to the Central Limit Theorem -- 3.5.3 Relation with Thermodynamics -- 3.5.4 Continuous Entropy Versus Discrete Entropy -- 3.6 | |
On the Entropy of Continuous Variables -- 3.6.1 The Sign of the Continuous Entropy -- 3.6.2 A Nice Property of Continuous Entropy -- 3.7 Arguments to Support Continuous Entropy -- 3.7.1 On the Negativeness of Continuous Entropy -- | |
3.7.2 On the Non-invariance of Continuous Entropy -- 3.7.3 Channel Capacity in the Presence of Noise -- 3.8 The Maximum Entropy Principle -- 3.8.1 Statement of the Principle -- 3.8.2 Some Examples -- 3.9 Arguments to Support the | |
Maximum Entropy Principle -- 3.9.1 Information Theoretical Considerations -- 3.9.2 Thermodynamic Considerations -- 3.9.3 Axiomatic Derivation -- 3.9.4 A Few Comments -- 3.10 Information, Syntax, Semantics -- 3.10.1 On the Absolute | |
Nature of Information -- 3.10.2 Information and Natural Language -- 3.11 Information and Thermodynamics -- 3.11.1 Informational and Thermodynamic Entropy -- 3.11.2 Thermodynamic Entropy of Open Systems -- 3.12 Conclusions -- 4. A | |
Theory of Relative Information -- 4.1 Introduction -- 4.2 Observation, Aggregation, Invariance -- 4.2.1 Principle of Aggregation -- 4.2.2 Principle of Invariance -- 4.2.3 A Few Comments -- 4.3 Observation with Informational Invariance | |
-- 4.4 Euclidean Invariance -- 4.4.1 Orthogonal Transformation -- 4.4.2 Application to the Observation of Probabilities -- 4.4.3 Application to the Observation of Classes -- 4.5 Minkowskian Invariance -- 4.5.1 Lorentz Transformation -- | |
4.5.2 Application to the Observation of Probabilities -- 4.5.3 Application to the Observation of Classes -- 4.6 Euclidean or Minkowskian Observation? -- 4.6.1 Selection of the Observation Mode -- 4.6.2 Application to the [Uncertainty, | |
Information] Pair -- 4.7 Information Processes and Natural Languages -- 4.7.1 On the Absoluteness of Information -- 4.7.2 The Information Process -- 4.7.3 Natural Language -- 4.7.4 Information and Natural Language -- 4.8 Relative | |
Informational Entropy -- 4.8.1 Introduction to the Relative Observation -- 4.8.2 Informational Invariance of the Observation -- 4.8.3 Relative Entropy -- 4.8.4 Comments and Remarks -- 4.9 Conditional Relative Entropy -- 4.9.1 Relative | |
Entropy of Product of Messages -- 4.9.2 Composition Law for Cascaded Observers -- 4.9.3 Relative Entropy Conditional to a Given Experiment -- 4.9.4 Applications to Determinacy -- 4.9.5 Comparison of H(?/?) with Hr(?/?) -- 4.10 On the | |
Meaning and the Estimation of the Observation Parameter -- 4.10.1 Estimation of the Observation Parameter -- 4.10.2 Practical Meaning of the Observation Parameter -- 4.10.3 On the Value of the Observation Parameter u(R) -- 4.11 | |
Relative Transinformation -- 4.11.1 Derivation of Relative Transinformation -- 4.11.2 Some Properties of the Relative Transinformation -- 4.11.3 Relative Entropy and Information Balance -- 4.11.4 Application to the Encoding Problem -- | |
4.12 Minkowskian Relative Transinformation -- 4.12.1 Definition of Minkowskian Relative Transinformation -- 4.12.2 Some Properties of Minkowskian Relative Transinformation -- 4.12.3 Identification via Information Balance -- 4.13 Effect | |
of Scaling Factor in an Observation with Informational Invariance -- 4.14 Comparison with Renyi Entropy -- 4.14.1 Renyi Entropy and Relative Entropy -- 4.14.2 Transinformation of Order c and Relative Transinformation -- 5. A Theory of | |
Subjective Information -- 5.1 Introduction -- 5.2 Subjective Entropy -- 5.2.1 Definition of Subjective Entropy -- 5.2.2 A Few Remarks -- 5.3 Conditional Subjective Entropy -- 5.3.1 Definition of Conditional Subjective Entropy -- 5.3.2 | |
Application to Determinacy -- 5.3.3 A Basic Inequality -- 5.4 Subjective Transinformation -- 5.4.1 Introduction -- 5.4.2 Subjective Transinformation -- 5.4.3 A Few Properties of Subjective Transinformation -- 5.4.4 Application to | |
Independent Random Experiments -- 5.5 Conditional Subjective Transinformation -- 5.5.1 Definition -- 5.5.2 A Few Properties of Subjective Conditional Transinformation -- 5.6 Information Balance -- 5.6.1 Optimum Conditions for | |
Information Balance -- 5.6.2 Non-optimum Conditions for Information Balance -- 5.7 Explicit Expression of Subjective Transinformation -- 5.7.1 Discrete Probability -- 5.7.2 Continuous Probability -- 5.8 The General Coding Problem -- | |
5.8.1 Preliminary Remarks -- 5.8.2 The General Coding Problem -- 5.8.3 On the Problem of Error Correcting Codes Revisited -- 5.9 Capacity of a Channel -- 5.9.1 The General Model -- 5.9.2 Channel with Noise -- 5.9.3 Channel with Noise | |
and Filtering -- 5.10 Transinformation in the Presence of Fuzziness -- 5.10.1 On the Entropy of a Fuzzy Set -- 5.10.2 Application of Subjective Transinformation -- 5.10.3 The Brillouin Problem -- 5.11 On the Use of Renyi Entropy -- | |
5.11.1 Renyi Entropy and Subjective Entropy -- 5.11.2 Transinformation of Order c and Shannon Transinformation -- 6. A Unified Approach to Discrete and Continuous Entropy -- 6.1 Introduction -- 6.2 Intuitive Derivation of “Total | |
Entropy” -- 6.2.1 Preliminary Definitions and Notation -- 6.2.2 Physical Derivation of He (X) -- 6.3 Mathematical Derivation of Total Entropy -- 6.3.1 The Main Axioms -- 6.3.2 Derivation of Total Entropy -- 6.3.3 On the Expression of | |
the Total Entropy -- 6.4 Alternative Set of Axioms for the Total Entropy -- 6.4.1 Generalization of Shannon Recurrence Equation -- 6.4.2 A Model via Uniform Interval of Definition -- 6.5 Total Entropy with Respect to a Measure -- 6.6 | |
Total Renyi Entropy -- 6.6.1 Preliminary Remarks About Renyi Entropy -- 6.6.2 Axioms for Total Renyi Entropy -- 6.6.3 Total Renyi Entropy -- 6.6.4 Total Renyi Entropy with Respect to a Measure -- 6.7 On the Practical Meaning of Total | |
Entropy -- 6.7.1 General Remarks -- 6.7.2 Total Entropy and Relative Entropy -- 6.7.3 Total Entropy and Subjective Entropy -- 6.8 Further Results on the Total Entropy -- 6.8.1 Some Mathematical Properties of the Total Entropy -- 6.8.2 | |
On the Entropy of Pattern -- 6.9 Transinformation and Total Entropy -- 6.9.1 Total Entropy of a Random Vector -- 6.9.2 Conditional Total Entropy -- 6.9.3 On the Definition of Transinformation -- 6.9.4 Total Kullback Entropy -- 6.10 | |
Relation Between Total Entropy and Continuous Entropy -- 6.10.1 Total Shannon Entropy and Continuous Entropy -- 6.10.2 Total Renyi Entropy and Continuous Renyi Entropy -- 6.10.3 Application to an Extension Principle -- 6.11 Total | |
Entropy and Mixed Theory of Information -- 6.11.1 Background to Effective Entropy and Inset Entropy -- 6.11.2 Inset Entropy is an Effective Entropy -- 7. A Unified Approach to Informati | |
ISBN: | 9783642840173 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Synergetics: 47 |
Keywords: | Physics , Coding theory , Acoustics , Statistical physics , Dynamical systems , Physics , Acoustics , Coding and Information Theory , Statistical Physics, Dynamical Systems and Complexity |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1990-9781461306092:ONLINE Show nearby items on shelf |
Title: | Mathematical Logic |
Author(s): | |
Date: | 1990 |
Size: | 1 online resource (420 p.) |
Note: | 10.1007/978-1-4613-0609-2 |
Contents: | Heyting Session (Invited Papers) -- On the Early History of Intuitionistic Logic -- Heyting and Intuitionistic Geometry -- Summer School (Invited Lectures) -- Provability Logics for Relative Interpretability -- Constructive |
Mathematics and Computer-Assisted Reasoning Systems -- Markov’s Constructive Mathematical Analysis: the Expextations and Results -- Normalization Theorems for the Intuitionistic Systems with Choice Principles -- Formalizing the Notion | |
of Total Information -- Structural Rules and a Logical Hierarchy -- Semantics of Non-classical First Order Predicate Logics -- On the Computational Power of the Logic Programs -- Some Relations among Systems for Bounded Arithmetic -- A | |
Survey of Intuitionistic Descriptive Set Theory -- Interpretability Logic -- Hierarchies of Provably Computable Functions -- Conference (Contributed Papers) -- Sequent Calculus for Intuitionistic Linear Propositional Logic -- Order | |
Isomorphisms — a Constructive Measure-Theoretic View -- 1-Generic Enumeration Degrees Below Oe’ -- Remarks on Denjoy Sets -- Normal Modal Logic in Which the Heyting Proposotional Calculus Can be Embedded -- Lattices Adequate for | |
Intutionistic Predicate Logic -- A Note on Boolean Modal Logic -- Completeness and Incompleteness in the Bimodal Base L(R,?R) -- A Temporal Logic for Event Structures -- Completeness of Propositional Dynamic Logic with Infinite | |
Repeating -- An Equivalence between Polinomial Constructivity of Markov’s Principle and Equality P=NP -- Effective Enumerations of Abstract Structures -- Modal Characterization of the Classes of Finite and Infinite Quasi-Ordered Sets | |
-- Least Fixed Points in Preassociative Combinatory Algebras -- Participants, Contributors and Programme Committee Members | |
ISBN: | 9781461306092 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Logic , Algebra , Field theory (Physics) , Functional analysis , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Functional Analysis , Logic , Field Theory and Polynomials |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1987-9781461308973:ONLINE Show nearby items on shelf |
Title: | Mathematical Logic and Its Applications |
Author(s): | |
Date: | 1987 |
Size: | 1 online resource (386 p.) |
Note: | 10.1007/978-1-4613-0897-3 |
Contents: | Gödel Session (Invited Papers) -- Remarks Concerning Kurt Gödel’s Life and Work -- Facets of Incompleteness -- Goder s Life and Work -- Summer School (Invited Papers) -- Categorial Grammar Lambda Calculus -- A Constructive Morse |
Theory of Sets -- Differentiation of Constructive Functions of a Real Variable and Relative Computability -- A Completeness Theorem for Higher-Order Intuitionistic Logic: An Intuitionistic Proof -- Reasoning in Trees -- | |
Non-Deterministic Program Schemata and their Relation to Dynamic Logic -- The Parallel Evaluation of Functional Programs -- Logic Approximating Sequences of Sets -- Intuitionistic Formal Spaces — A First Communication -- On the Logic | |
of Small Changes in Theories, II -- On ‘Logical Relations’ in Program Semantics -- Conference (Contributed Papers) -- Search Computabi1ity and Computabi1ity with Numberings Are Equivalent the Case of Finite Set of Objects -- | |
Cut-Elimination Theorem for Higher-Order Classical Logic. An Intuitionistic Proof -- Modal Environment for Boolean Speculations -- Distributive Spaces -- Approximating the Projective Model -- Projection Complete Graph Problems | |
Corresponding to a Branching-Program-Based Characterization of the Complexity Classes HC2, L and NL -- Constructive Theories with Abstract Data Types for Program Synthesis -- A First-Order Logic for Logic Programming -- The Relational | |
Semantics for Branched Quantifiers -- Propositional Dynamic Logic in Two- and More Dimensions -- On a Non-Constructive Type Theory and Program Derivation -- Prime Computabi1ity on Partial Structures -- Complexity Bounded Martin-Löf | |
Tests -- Participants and Contributors | |
ISBN: | 9781461308973 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Logic , Integral transforms , Operational calculus , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Integral Transforms, Operational Calculus , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1984-9783540391197:ONLINE Show nearby items on shelf |
Title: | Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II |
Author(s): | |
Date: | 1984 |
Size: | 1 online resource (482 p.) |
Note: | 10.1007/BFb0099476 |
Contents: | Contiguous R.E. Degrees -- Abstract construction of counterexamples in recursive graph theory -- Minimal degrees and 1-generic sets below 0? -- Undecidability and recursive equivalence II -- Logical syntax and computational complexity |
-- Subrecursive hierarchies via direct limits -- A star-finite relational semantics for parallel programs -- Between constructive and classical mathematics -- Partial closures and semantics of while: Towards an iteration-based theory | |
of data types -- Toward logic tailored for computational complexity -- On a new notion of partial conservativity -- Finitely approximable sets -- A unified approach to constructive and recursive analysis -- On faithful interpretability | |
-- Abstract recursion as a foundation for the theory of algorithms -- Some logical problems connected with a modular decomposition theory of automata -- Diophantine equations in a fragment of number theory -- Generalized rules for | |
quantifiers and the completeness of the intuitionistic operators &, ?, ?, ?, ?, ? -- On subsets of the Skolem class of exponential polynomials -- Effective operators in a topological setting -- An axiomatization of the apartness | |
fragment of the theory DLO+ of dense linear order | |
ISBN: | 9783540391197 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 1104 |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1983-9781468488302:ONLINE Show nearby items on shelf |
Title: | Old and New Questions in Physics, Cosmology, Philosophy, and Theoretical Biology Essays in Honor of Wolfgang Yourgrau |
Author(s): | |
Date: | 1983 |
Size: | 1 online resource (920 p.) |
Note: | 10.1007/978-1-4684-8830-2 |
Contents: | A: Current Problems in Physics and Cosmology -- 1 • On The Connections Between PICO- and Mega-Cosmos (According To The Unification and Geometrization Suggested by Einstein, Eddington, and Schrödinger -- 2 • The Zitterbewegung and The |
Einstein A Coefficient of Spontaneous Emission -- 3 • Supersymmetry Groups -- 4 • Relativistic Phase Space Arising out of the Dirac Algebra -- 5 • Why Mourn the Passing of Determinacy -- 6 • On The True Ideas Underlying Wave Mechanics | |
-- 7 • CPT Invariance as Basic for Interpreting Quantum Mechanics -- 8 • The Hilbert Space Axiom in Quantum Mechanics -- 9 • The Cyclotron-Soliton Model of Terrestrial Kilometric Radiation -- 10 • Clumpy Irregular Galaxies: A Progress | |
Report -- 11 • The Aporias of Cosmology and The Attempts at Overcoming Them by Nonstandard Models -- 12 • On Relativistic Quantum Theory -- 13 • Vacuum Tunneling in Static Space-Times -- 14 • On The Extensions of General Relativity -- | |
15 • Status and Perspectives of Cosmology -- 16 • The Connection Between The Objective Description of Macrosystems and Quantum Mechanics of “ Many Particles” -- 17 • The Current Theory of Strong interactions and The Problem of Quark | |
Confinement -- 18 • Statistical Inference by Minimal Bures Distances -- 19 • The Knots of Quantum Thermodynamics -- 20 • About The Facts of Cosmological Significance -- 21 • Stochastic Interpretation of Relativistic Quantum Equations | |
-- 22 • New Quantum Mechanics -- 23 • On Nonlinear Classical Dirac Fields and Quantum Physics -- 24 • Elementary Particles as Microuniverses -- 25 • Precision Mathematics and Approximation Mathematics in Physics -- 26 • Electroweak | |
interaction in Polarized Electron-Positron and Electron-Electron Scattering -- 27 • Infinity and the Natural World -- 28 • Induced Superfluorescence and the Nature of the Wave- Particle Duality -- 29 • Breakdown of Predictability: an | |
Investigation into the Nature of Singularities -- 30 • Wave Functions in One-Dimensional Disordered Systems with Long-Range Hopping -- 31 • Perception of Quantum Systems -- 32 • Stochastic Electrodynamics: an Overview -- 33 • On The | |
Increase of Entropy in The Carleman Model II -- 34 • The Klein Paradox Revisited -- 35 • Einstein Nonlocality, Space-Time Structure, and Thermodyanics -- B. Issues in Biology, Philosophy, and the History of Science -- 1 • Biology and | |
Physics: Reflections on Reductionism -- 2 • The Age of Analysis Reassessed -- 3 • Transphyletic Animal Similarities and Predictive Toxicology -- 4 • The Wronging of Wright -- 5 • On The Historical Development of the | |
IndisTinguishability Concept for Microparticles -- 6 • Philosophical Semantics -- 7 • Social Exemplifications of Physical Principles -- 8 • Seneca’s Ethics Viewed From A Modern Standpoint -- 9 • Physics and Philosophy -- 10 • Einstein, | |
Spinoza, and God -- 11 • The Satellites of Jupiter, From Galileo to Bradley -- 12 • Emergent Properties -- 13 • The Theory of Relativity and Our World View -- 14 • Science Beyond Science -- 15 • God as Cosmic Guest-Worker -- 16 • A | |
Model of Reality as Mind -- 17 • A Matter of Chance -- 18 • On The Nature and Origin of Life -- 19 • Science, History, Philosophy, and World Views -- 20 • Queries About Inquiries -- 21 • The Nature of The Physical World -- 22 • Early | |
Attempts at A Unitary Understanding of Nature -- Name Index | |
ISBN: | 9781468488302 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Philosophy and science , Materials science , Physics , Physics, general , Philosophy of Science , Characterization and Evaluation of Materials |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1983-9781461337249:ONLINE Show nearby items on shelf |
Title: | The Acquisition of Symbolic Skills |
Author(s): | |
Date: | 1983 |
Size: | 1 online resource (623 p.) |
Note: | 10.1007/978-1-4613-3724-9 |
Contents: | Toward a skillful psychology -- Waves and streams of symbolization: Notes on the development of symbolic capacities in young children -- Graphic Skills -- The use of communication tasks to investigate depiction of spatial |
relationships in young children’s drawings -- Intellectual realism in adults’ and children’s copies of cubes and straight lines -- The conservatism of children’s drawing strategies: At what level does stability persist? -- Children’s | |
representations in drawing and speech: Content, structure and context -- Young children’s planning strategies and early principles of spatial organization in drawing -- Individual drawing styles of three children from five to seven | |
years -- Children’s sensitivity to aesthetic properties of line drawings -- Reading and Spelling -- Microethology of spelling behaviour in normal and dyslexic development -- Phonological impairment in Italian: Acquired and | |
developmental dyslexia -- Interaction of symbol systems in reading -- Bi-alphabetism and word recognition -- The development of strategies in the acquisition of symbolic skills -- The development of phoneme segmentation skills in young | |
children -- Understanding the alphabetic system -- Patterns of writing errors in the framework of an information-processing model of writing -- The psychological productivity of inflectional and derivational morphemes -- Symbolic | |
Skills in the Deaf -- Symbolic skills in the deaf: Some recent developments in research -- Meaning in sign: Recalling events in British Sign Language and English -- Early sign language acquisition and cognitive development -- The | |
semantics of early deaf communication: Object acquisitive volitionals -- The development of symbolic play in young deaf children -- Language, deafness and mathematical reasoning -- Musical Skill -- Is music a symbolic skill? | |
Introduction -- The perception of musical pitch - A sense of scale -- The initial identification of tonal centres in music -- Towards a contour-pitch continuum theory of memory for melodies -- Reproduction and representation of musical | |
rhythms: The effects of musical skill -- A preliminary investigation of motor programming in piano performance as a function of skill level -- Logical Skill -- Logical development: Introduction -- What preschoolers know about animate | |
and inanimate objects -- Knowledge-derived categorization in young children -- Perception of inclusion in collections of objects -- Semantic and cognitive factors in class-inclusion and co-extension performance -- On the | |
generalizability of conservation: Context and transformation -- Map and Navigational Skill -- Maps and navigation: Introduction -- Maps and memorability -- Children’s plan drawings of their houses -- Mental imagery and mental maps -- | |
Spatial representations of taxi drivers -- First Language Acquisition -- Symbolic skill acquisition in language: Introduction -- The role of symbolic thought in language development -- On the acquisition of the notion of types of | |
flying objects: Support for prototype-based theories of word meaning development -- A study of children’s writings in non-instructional settings -- Hidden meanings: The role of covert conceptual structures in children’s development of | |
language -- Second Language Acquisition -- Second language acquisition: Introduction -- Universal grammar and second language acquisition -- Similarities and differences between first and second language acquisition: Setting the | |
parameters of universal grammar -- The predictive role of the theories of markedness and language transfer in second language acquisition -- Cerebral organization in bilingual and deaf subjects -- Mathematical Skill -- The acquisition | |
of mathematical skills: Introduction -- Numerical representation from infancy to middle childhood: What develops? -- Young children’s ideas about the written number system -- Cognitive factors in children’s arithmetic errors -- Effects | |
of reference domain in children’s comprehension of coordinate graphs -- Exploring difficulties in transforming between natural language and image based representations and abstract symbol systems of mathematics -- Abstracts: Poster | |
displays and other papers given at the conference -- Participants -- Author Index | |
ISBN: | 9781461337249 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Linguistics , Psycholinguistics , Linguistics , Psycholinguistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9789400978935:ONLINE Show nearby items on shelf |
Title: | Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare |
Author(s): | |
Date: | 1982 |
Size: | 1 online resource (672p p.) |
Note: | 10.1007/978-94-009-7893-5 |
Contents: | I: Program Development and Verification -- Smoothsort, an Alternative for Sorting in Situ -- Lambek and Moser Revisited -- A General Axiom of Assignment -- Assignment and Linked Data Structures -- A Proof of the Schorr-Waite Algorithm |
-- Verification of Sequential Programs: Temporal Axiomatization -- Specification and Derivation of Programs -- Repaying Our Debts -- II: Denotational Semantics -- Lectures on a Mathematical Theory of Computation -- Semantic Models -- | |
III: Abstract Data Types -- Algebras, Theories and Freeness: An Introduction for Computer Scientists -- An Analysis of Semantic Models for Algebraic Specifications -- IV: Infinite Structures -- Fundamental Properties of Infinite Trees | |
-- Behaviors of Processes and Synchronized Systems of Processes -- V: Concurrent Programs -- A Tutorial on the Split Binary Semaphore -- A Fixed Point Approach to Applicative Multiprogramming -- Discrete Event Simulation Based on | |
Communicating Sequential Processes -- Structure of an Operating System | |
ISBN: | 9789400978935 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 91 |
Keywords: | Mathematics , Mathematics , Mathematics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9781461257493:ONLINE Show nearby items on shelf |
Title: | A Programming Approach to Computability |
Author(s): |
A. J Kfoury |
Date: | 1982 |
Size: | 1 online resource (251 p.) |
Note: | 10.1007/978-1-4612-5749-3 |
Contents: | 1 Introduction -- 1.1 Partial Functions and Algorithms -- 1.2 An Invitation to Computability Theory -- 1.3 Diagonalization and the Halting Problem -- 2 The Syntax and Semantics of while-Programs -- 2.1 The Language of while-Programs |
-- 2.2 Macro Statements -- 2.3 The Computable Functions -- 3 Enumeration and Universality of the Computable Functions -- 3.1 The Effective Enumeration of while-Programs -- 3.2 Universal Functions and Interpreters -- 3.3 | |
String-Processing Functions -- 3.4 Pairing Functions -- 4 Techniques of Elementary Computability Theory -- 4.1 Algorithmic Specifications -- 4.2 The s-m-n Theorem -- 4.3 Undecidable Problems -- 5 Program Methodology -- 5.1 An | |
Invitation to Denotational Semantics -- 5.2 Recursive Programs 110 5.3* Proof Rules for Program Properties -- 6 The Recursion Theorem and Properties of Enumerations -- 6.1 The Recursion Theorem -- 6.2 Model-Independent Properties of | |
Enumerations -- 7 Computable Properties of Sets (Part 1) -- 7.1 Recursive and Recursively Enumerable Sets -- 7.2 Indexing the Recursively Enumerable Sets -- 7.3 Gödel’s Incompleteness Theorem -- 8 Computable Properties of Sets (Part 2) | |
-- 8.1 Rice’s Theorem and Related Results -- 8.2 A Classification of Sets -- 9 Alternative Approaches to Computability -- 9.1 The Turing Characterization -- 9.2 The Kleene Characterization -- 9.3 Symbol-Manipulation Systems and Formal | |
Languages -- References -- Notation Index -- Author Index | |
ISBN: | 9781461257493 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Software engineering , Computers , Applied mathematics , Engineering mathematics , Mathematics , Applications of Mathematics , Computation by Abstract Devices , Software Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1981-9781461259053:ONLINE Show nearby items on shelf |
Title: | Regular Structures Lectures in Pattern Theory Volume III |
Author(s): |
Ulf Grenander |
Date: | 1981 |
Size: | 1 online resource (570 p.) |
Note: | 10.1007/978-1-4612-5905-3 |
Contents: | 1. Patterns: From Chaos to Order -- 1.1. The search for regularity -- 1.2. Some regular structures -- 1.3. The mathematical study of regularity -- 2. A Pattern Formalism -- 2.1. The principle of atomism -- 2.2. The combinatory |
principle -- 2.3. The principle of observability -- 2.4. The principle of realism -- 3. Algebra of Regular Structures -- 3.1. Generator coordinates -- 3.2. Configuration coordinates -- 3.3. Connectors -- 3.4. Configuration | |
homomorphisms -- 3.5. Configuration categories -- 3.6. Set operations in C (R) -- 3.7. Operations on images -- 3.8. Homomorphisms for given global regularity -- 3.9. Representations by image isomorphisms -- 4. Some Topology of Image | |
Algebras -- 4.1. A topology for configurations -- 4.2. A topology for images -- 4.3. Some examples -- 5. Metric Pattern Theory -- 5.1. Regularity controlled probabilities -- 5.2. Conditioning by regularity -- 5.3. Frozen patterns: | |
finite G and n -- 5.4. Frozen patterns: infinite G and finite n. -- 5.5. Quadratic energy function -- 5.6. Frozen patterns: infinite G and n -- 5.7. Asymptotically minimum energy -- 5.8. Asymptotics for large configurations -- 5.9. | |
Spectral density matrix for ? = LINEAR(?) -- 5.10. Factorization of the spectral density matrix -- 5.11. Representation of the random configurations -- 5.12. Spectral density matrix for ? = LATTICE(?) -- 5.13. Factorization of the | |
spectral density matrix in two dimensions -- 5.14. Representations of the random configurations in the two dimensional case -- 5.15. Laws of large numbers in pattern theory -- 5.16. Random dynamics for configurations -- 6. Patterns of | |
Scientific Hypotheses -- 6.1. Hypotheses as regular structures -- 6.2. Patterns of statistical hypotheses -- 6.3. Generators for statistical hypotheses -- 6.4. Examples of configurations -- 6.5. Hypotheses as images -- 6.6. Image | |
algebras of hypotheses -- 6.7. Conclusions -- 7. Synthesis of Social Patterns of Domination -- 7.1. Patterns in mathematical sociology -- 7.2. Domination regularity -- 7.3. Configuration dynamics -- 7.4. System in equilibrium -- 7.5. | |
Large configurations — simulation results -- 7.6. Large configurations — analytical result -- 7.7. Further problems and extensions -- 7.8. Appendix -- 8. Taxonomic Patterns -- 8.1. A logic for taxonomic patterns -- 8.2. Logic of | |
taxonomic affinity patterns -- 8.3. Synthesis of taxonomic affinity patterns -- 8.4. Analysis of affinity patterns -- 9. Patterns in Mathematical Semantics -- 9.1. Introduction -- 9.2. Introducing mathematical semantics -- 9.3. | |
Formalization through regular structures -- 9.4. Two special image algebras -- 9.5. The choice of language type for the study -- 9.6. Semantic maps -- 9.7. Special semantic maps -- 9.8. Learning semantics -- 9.9. Abduction of semantic | |
maps -- Outlook -- Notes | |
ISBN: | 9781461259053 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Mathematical Sciences: 33 |
Keywords: | Mathematics , Combinatorics , Mathematics , Combinatorics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1980-9789400990913:ONLINE Show nearby items on shelf |
Title: | Spoken Language Generation and Understanding Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 26 – July 7, 1979 |
Author(s): | |
Date: | 1980 |
Size: | 1 online resource (600 p.) |
Note: | 10.1007/978-94-009-9091-3 |
Contents: | § 1. An Overview, with an Emphasis on Psychology -- Spoken Language Generation and Understanding by Machine: A Problems and Applications Oriented Overview -- Speech Understanding as a Psychological Process -- What the Engineers Would |
Like to Know from the Psychologists -- Perceptual Studies of Speech Rhythm: Isochrony and Intonation -- Estimation of Articulatory Motion from Speech Waves and Its Application for Automatic Recognition -- § 2. Acoustic and Phonemic -- | |
Speech Signal Processing and Feature Extraction -- Pattern Recognition Techniques for Speech Recognition -- Automatic Mapping of Acoustic Features into Phonemic Labels -- Automatic Phoneme Recognition in Continuous Speech: A Syntactic | |
Approach -- Syntactic Approach to Pattern Recognition -- Phoneme Recognition Using a Cochlear Model -- Pitch Determination of Speech Signals — A Survey -- Speech Analysis Using Syntactic Methods and a Pitch Synchronous Formant Detector | |
on the Direct Signal -- Variability of Vowel Formant Frequency in Different Speech Styles -- § 3. Lexicon, Syntax and Semantic -- The Representation and Use of a Lexicon in Automatic Speech Recognition and Understanding -- Control of | |
Syntax and Semantics in Continuous Speech Understanding -- A Classification Method Based on Fuzzy Naming Relations over Finite Languages -- § 4. Speech Synthesis -- Speech Synthesis from Text -- An Over-view of Speech Synthesis -- | |
Speech Synthesis for an Unlimited Vocabulary, a Powerful Tool for Inquiry and Information Services -- Time-Domain Formant-Wave-Function Synthesis -- A Programmable, Digital Speech Synthesiser -- An Intelligent Speech Prosthesis with a | |
Lexical Memory -- § 5. Sysytems and Applications -- Industrial Applications of Speech Recognition -- Some Points Concerning Speech Communication with Computers -- Secure Speech Communication over a CCITT-Speech Channel -- Speech | |
Compression/Recognition with Robust Features -- A Real-Time System for Speech Recognition -- Speech Training of Deaf Children Using the Sirene System: First Results and Conclusions -- The KEAL Speech Understanding System -- The LOCUST | |
System -- The MYRTILLE II Speech Understanding System -- Index of Names | |
ISBN: | 9789400990913 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 59 |
Keywords: | Mathematics , Mathematics , Mathematics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1979-9783642953606:ONLINE Show nearby items on shelf |
Title: | The Structuralist View of Theories A Possible Analogue of the Bourbaki Programme in Physical Science |
Author(s): |
Wolfgang Stegmüller |
Date: | 1979 |
Size: | 1 online resource (104 p.) |
Note: | 10.1007/978-3-642-95360-6 |
Contents: | § 1. The Origin of the Structuralist Approach: The Attempted Integration of Physical Science into the Bourbaki Programme by P. Suppes. Non-Statement View1 -- § 2. Empiricism Liberalized, Informal Semantics and the Extended Bourbaki |
Programme (‘Sneedification’) -- § 3. The Force of T-Theoreticity and the Ramsey-View Emended. Non-Statement View2 and Non-Statement View2, 5 -- § 4. Theory-Nets Instead of Expanded Cores -- § 5. Pragmatization. Theory-Evolution in | |
Scientific Communities -- § 6. Progress, Progress-Branching, Kuhn-Loss and Rationality in Science -- § 7. On the Importance of the Distinction between General and Special Philosophy of Science. Non-Statement View3 -- § 8. | |
Kuhn-Interpretation and Withdrawal of Objections Against Kuhn -- § 9. Holism, Underdetermination of Theories and Research Programmes: Remarks on W.V. Quine and I. Lakatos -- § 10. Some Additional New Results -- § 11. | |
Incommensurabilities -- § 12. Concluding Remarks -- Formal Appendix | |
ISBN: | 9783642953606 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Business , Management science , Mathematics , Mathematics, general , Business and Management, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1978-9781468425321:ONLINE Show nearby items on shelf |
Title: | Recent Advances in the Psychology of Language Formal and Experimental Approaches |
Author(s): | |
Date: | 1978 |
Size: | 1 online resource (432 p.) |
Note: | 10.1007/978-1-4684-2532-1 |
Contents: | of Volume 4B -- Section I: Formal Approaches -- Learning the Syntax of Questions -- Semantics and Language Acquisition: Some Theoretical Considerations -- Empirical Question About Developmental Psycholinguistics Raised By a Theory of |
Language Acquisition -- The Interplay of Semantic and Surface Structure Acquisition -- Predictive Understanding -- Sentence Construction By a Psychologically Plausible Formulator -- A Computational Model of Discourse Production -- | |
Structure and Use of Verbs of Motion -- Verbs of Judging and Acts of Judging -- A Programmatic Theory of Linguistic Performance -- On the Re-integration of Linguistics and Psychology -- Language Acquisition as the Addition of Verbal | |
Routines -- Syntax and Semantics for the Psycholinguist -- Syntax and Semantics of Relative Clauses -- Section II: Sentence Comprehension and Production -- Foreground and Background Information in Reasoning -- Anaphora: A Problem in | |
Text Comprehension -- Sentence Comprehension Processes in the Pre-Schooler -- Reference as a Speech Art: An Argument for Studying the Listener -- Gesture and Silence as Indicators of Planning in Speech -- Section III: Phonology -- | |
Sound Patterns and Spelling Patterns in English -- Children’s Knowledge of Selected Aspects of Sound Pattern of English -- “Environmental Invariants” and the Prosodic Aspects of Reversed Speech -- Implications of Studying Reduced | |
Consonant Clusters in Normal and Abnormal Child Speech -- Contributors -- Author Index | |
ISBN: | 9781468425321 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Conference Series : 4b |
Keywords: | Linguistics , Psycholinguistics , Experiential research , Linguistics , Psycholinguistics , Psychology Research |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1977-9789401576246:ONLINE Show nearby items on shelf |
Title: | Complementarity in Mathematics A First Introduction to the Foundations of Mathematics and Its History |
Author(s): |
Willem Kuyk |
Date: | 1977 |
Size: | 1 online resource (175 p.) |
Note: | 10.1007/978-94-015-7624-6 |
Contents: | I. Semantical and Syntactical Aspects of Elementary Mathematical Theories -- I.1. Introduction to the Elementary Predicate Calculus without Equality -- I.2. Semantical Interpretation of the Propositional Calculus -- I.3. Semantical |
Interpretation of the Elementary Predicate Calculus -- I.4. Decision Procedure for the Elementary Predicate Calculus -- I.5. Predicate Calculus — the Theory Z -- I.6. Gödel’s Incompleteness Theorem -- I.7. The Incompleteness Theorems | |
and Semantics -- I.8. Remarks on Non-Standard Mathematics -- II. Epistemological Aspects of Mathematics in Historical Perspective -- II. 1. Introduction -- II.2. The Philosophy of Mathematics in History -- II.3. Transition to the | |
Present Century -- II.4. Directions in the 20th Century Philosophy of Mathematics -- II.4.1.1. Frege (1848–1925) -- II.4.1.2. Russell (1872–1970) -- II.4.2.1. Poincaré (1854–1912) -- II.4.2.2. Brouwer (1881–1966) -- II.4.2.3. The | |
‘Bourbaki’ Group -- III. An Outline of a Complementaristic Approach to Mathematics -- III.1. Facets and Methods of a Philosophy of Mathematics -- III.2. Two Kinds of Mathematical Existence -- III.3. Language, Set Theory and | |
Mathematical Complementarity -- III.4. Complementarist Set Theory — an Outline -- III.5. The Unity of Mathematics: Algebra and Topology -- III.6. Bridging the Abyss Between the Discrete and the Continuous -- Selected Bibliography -- | |
References for Further Study -- Index of Names -- Index of Subjects | |
ISBN: | 9789401576246 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications : 1 |
Keywords: | Mathematics , History , Mathematical logic , Mathematics , Mathematical Logic and Foundations , History of Mathematical Sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1975-9783540380221:ONLINE Show nearby items on shelf |
Title: | ⊨ISILC Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 |
Author(s): | |
Date: | 1975 |
Size: | 1 online resource (651 p.) |
Note: | 10.1007/BFb0079414 |
Contents: | An observation on the product of Silver's forcing -- Recursively unsolvable algorithmic problems and related questions reexamined -- Lectures on large cardinal axioms -- Indescribability properties and small large cardinals -- |
Marginalia to a theorem of Silver -- Computation theories: An axiomatic approach to recursion on general structures -- Closed models and hulls of theories -- Axioms of choice in Morse-Kelley class theory -- First-order logic and its | |
extensions -- Set theory in infinitary languages -- Sur la méthode en histoire de la logioue -- The model theory of local fields -- Quantifier elimination -- Intensional semantics for natural language -- On extendability of models of | |
ZF set theory to the models of Kelley-Morse theory of classes -- Many-valued algorithmic logic -- The least ? 2 1 and ? 2 1 reflecting ordinals -- Data types as lattices | |
ISBN: | 9783540380221 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 499 |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1975-9783540374954:ONLINE Show nearby items on shelf |
Title: | Model Theory and Topoi A Collection of Lectures by Various Authors |
Author(s): | |
Date: | 1975 |
Size: | 1 online resource (358 p.) |
Note: | 10.1007/BFb0061290 |
Contents: | to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos |
theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi | |
ISBN: | 9783540374954 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 445 |
Keywords: | Mathematics , Topology , Mathematics , Topology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1973-9783642871320:ONLINE Show nearby items on shelf |
Title: | Introduction to Mathematical Logic |
Author(s): |
Hans Hermes |
Date: | 1973 |
Size: | 1 online resource (244 p.) |
Note: | 10.1007/978-3-642-87132-0 |
Contents: | I. Introduction -- II. The Language of Predicate Logic -- III. The Semantics of Predicate Logic -- IV. A Predicate Calculus -- V. Gödel’s Completeness Theorem -- VI. Peano’s Axiom System -- VII. Extensions of the Language, Normal |
Forms -- VIII. The Theorems of A. Robinson, Craig and Beth -- IX. Miscellaneous -- Further Reading -- Index of Abbreviations for Defining and Derived Rules -- Notation -- Name and Subject Index | |
ISBN: | 9783642871320 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1973-9783642653742:ONLINE Show nearby items on shelf |
Title: | Algebraic Systems |
Author(s): |
A. I Mal’cev |
Date: | 1973 |
Size: | 1 online resource (320 p.) |
Note: | 10.1007/978-3-642-65374-2 |
Contents: | I General Concepts -- 1. Relations and Mappings -- Problems and Complements -- 2. Models and Algebras -- Problems and Complements -- II Classical Algebras -- 3. Groupoids and Groups -- Problems and Complements -- 4. Rings and Fields |
-- Problems and Complements -- 5. Lattices (Structures) -- III First and Second-Order Languages -- 6. Syntax and Semantics -- Problems and Complements -- 7. Classification of Formulas -- IV Products and Complete Classes -- 8. Filters | |
and Filtered Products -- Problems and Complements -- 9. Indistinguishability and Elementary Embedding -- 10. Completeness and Model Completeness -- Problems and Complements -- V Quasivarieties -- 11. General Properties -- Problems and | |
Complements -- 12. Free Systems and Free Compositions -- Problems and Complements -- VI Varieties -- 13. General Properties -- Problems and Complements -- 14. Primitive Closures -- Problems and Complements -- Name Index | |
ISBN: | 9783642653742 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Die Grundlehren der mathematischen Wissenschaften, in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete: 192 |
Keywords: | Mathematics , Algebra , Mathematics , Algebra |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1972-9783642653643:ONLINE Show nearby items on shelf |
Title: | Categories |
Author(s): |
Horst Schubert |
Date: | 1972 |
Size: | 1 online resource (385 p.) |
Note: | 10.1007/978-3-642-65364-3 |
Contents: | 1. Categories -- 1.1 Definition of Categories -- 1.2 Examples -- 1.3 Isomorphisms -- 1.4 Further Examples -- 1.5 Additive Categories -- 1.6 Subcategories -- 1.7 Problems -- 2. Functors -- 2.1 Covariant Functors -- 2.2 Standard Examples -- 2.3 Contra variant Functors -- 2.4 Dual Categories -- 2.5 Bifunctors -- 2.6 Natural Transformations -- 2.7 Problems -- 3. Categories of Categories and Categories of Functors -- 3.1 Preliminary Remarks -- 3.2 Universes -- 3.3 Conventions -- 3.4 Functor Categories -- 3.5 The Category of Small Categories -- 3.6 Large Categories -- 3.7 The Evaluation Functor -- 3.8 The Additive Case -- 3.9 Problems -- 4. Representable Functors -- 4.1 Embeddings -- 4.2 Yoneda Lemma -- 4.3 The Additive Case -- 4.4 Representable Functors - - 4.5 Partially Representable Bifunctors -- 4.6 Problems -- 5. Some Special Objects and Morphisms -- 5.1 Monomorphisms -- 5.1° Epimorphisms -- 5.2 Retractions and Coretractions -- 5.3 Bimprphisms -- 5.4 Terminal and Initial Objects -- 5.5 |
Zero objects -- 5.6 Problems -- 6. Diagrams -- 6.1 Diagram Schemes and Diagrams -- 6.2 Diagrams with Commutativity Conditions -- 6.3 Diagrams as Presentations of Functors -- 6.4 Quotients of Categories -- 6.5 Classes of Mono-, resp., Epimorphisms -- 6.6 Problems -- 7 Limits -- 7.1 Definition of Limits -- 7.2 Equalizers -- 7.3 Products -- 7.4 Complete Categories -- 7.5 Limits in Functor Categories -- 7.6 Double Limits -- 7.7 Criteria for Limits -- 7.8 Pullbacks -- 7.9 Problems -- 8. Colimits -- 8.1 D efinition of Colimits -- 8.2 Coequalizers -- 8.3 Coproducts -- 8.4 Cocomplete Categories -- 8.5 Colimits in Functor Categories -- 8.6 Double Colimits -- 8.7 Criteria for Colimits -- 8.8 Pushouts -- 8.9 Problems -- 9. Filtered Colimits -- 9.1 Connected Cat egories -- 9.2 On the Calculation of Limits and Colimits -- 9.3 Filtered Categories -- 9.4 Filtered Colimits -- 9.5 Commutativity Theorems -- 9.6 Problems -- 10. Setvalued Functors -- 10.2 Properties Inherited from the Codomain Category -- | |
10.2 The Yoneda Embedding H*: C ? [C0, Ens] -- 10.3 The General Representation Theorem -- 10.4 Projective and Injective Objects -- 10.5 Generators and Cogenerators -- 10.6 Well-powered Categories -- 10.7 Problems -- 11. Objects with an Algebraic Str ucture -- 11.1 Algebraic Structures -- 11.2 Operations of an Object on Another -- 11.3 Homomorphisms -- 11.4 Reduction to Ens -- 11.5 Limits and Filtered Colimits -- 11.6 Homomorphically Compatible Structures -- 11.7 Problems -- 12. Abelian Categories -- 12.1 Survey -- 12.2 Semi-additive Structure -- 12.3 Kernels and Cokernels -- 12.4 Factorization of Morphisms -- 12.5 The Additive Structure -- 12.6 Idempotents -- 12.7 Problems -- 13. Exact Sequences -- 13.1 Exact Sequences in Exact Categories -- 13.2 Sho rt Exact Sequences -- 13.3 Exact and Faithful Functors -- 13.4 Exact Squares -- 13.5 Some Diagram Lemmas -- 13.6 Problems -- 14. Colimits of Monomorphisms -- 14.1 Preordered Classes -- 14.2 Unions of Monomorphisms -- 14.3 Inverse Images of | |
Monomorphisms -- 14.4 Images of Monomorphisms -- 14.5 Constructions for Colimits -- 14.6 Grothendieck Categories -- 14.7 Problems -- 15. Injective Envelopes -- 15.1 Modules over Additive Categories -- 15.2 Essential Extensions -- 15.3 Existence of I njectives -- 15.4 An Embedding Theorem -- 15.5 Problems -- 16. Adjoint Functors -- 16.1 Composition of Functors and Natural Transformations -- 16.2 Equivalences of Categories -- 16.3 Skeletons -- 16.4 Adjoint Functors -- 16.5 Quasi-inverse Adjunction Tran sformations -- 16.6 Fully Faithful Adjoints -- 16.7 Tensor Products -- 16.8 Problems -- 17. Pairs of Adjoint Functors between Functor Categories -- 17.1 The Kan Construction -- 17.2 Dense Functors -- 17.3 Characterization of the Yoneda Embedding -- 17.4 S mall Projective Objects -- 17.5 Finitely Generated Objects -- 17.6 Natural Transformations with Parameters -- 17.7 Tensor Products over Small Categories -- 17.8 Relatives of the Tensor Product -- 17.9 Problems -- 18. Principles of Universal | |
Algebra -- 18.1 Algebraic Theories -- 18.2 Yoneda Embedding and Free Algebras -- 18.3 Subalgebras and Cocompleteness -- 18.4 Coequalizers and Kernel Pairs -- 18.5 Algebraic Functors and Left Adjoints -- 18.6 Semantics and Structure -- 18.7 The Krone cker Product -- 18.8 Characterization of Algebraic Categories -- 18.9 Problems -- 19. Calculus of Fractions -- 19.1 Categories of Fractions -- 19.2 Calculus of Left Fractions -- 19.3 Factorization of Functors and Saturation -- 19.4 Interrelation with Subc ategories -- 19.5 Additivity and Exactness -- 19.6 Localization in Abelian Categories -- 19.7 Characterization of Grothendieck Categories with a Generator -- 19.8 Problems -- 20. Grothendieck Topologies -- 20.1 Sieves and Topologies -- 20.2 Covering Morph isms and Sheaves -- 20.3 Sheaves Associated with a Presheaf -- 20.4 Generation of Topologies -- 20.5 Pretopologies -- 20.6 Characterization of Topos -- 20.7 Problems -- 21. Triples -- 21.1 The Construction of Eilenberg and Moore -- 21.2 Full | |
Image and Kleisli Categories -- 21.3 Limits and Colimits in Eilenberg-Moore Categories -- 21.4 Split Forks -- 21.5 Characterization of Eilenberg-Moore Situations -- 21.6 Consequences of Factorizations of Morphisms -- 21.7 Eilenberg-Moore Categories as Functor Categories -- 21.8 Problems | |
ISBN: | 9783642653643 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Algebra , Mathematics , Algebra |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1971-9783540364993:ONLINE Show nearby items on shelf |
Title: | Symposium on Semantics of Algorithmic Languages |
Author(s): | |
Date: | 1971 |
Size: | 1 online resource (376 p.) |
Note: | 10.1007/BFb0059689 |
Contents: | Axiom systems for simple assignment statements -- A property of linear conditionals -- Formalization of storage properties -- Program schemes, programs and logic -- Algebraic theories and program schemes -- Structure and meaning of elementary progr ams -- Procedures and parameters: An axiomatic approach -- Semantics of algol-like statements -- Proving correctness of implementation techniques -- Examples of formal semantics -- Experience with inductive assertions for proving programs correct -- Mathe matical theory of partial correctness -- Towards automatic program synthesis -- The lattice of flow diagrams |
ISBN: | 9783540364993 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 188 |
Keywords: | Mathematics , Mathematics , Mathematics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1971-9783540364481:ONLINE Show nearby items on shelf |
Title: | Torsion Theories, Additive Semantics, and Rings of Quotients |
Author(s): |
Joachim Lambek |
Date: | 1971 |
Size: | 1 online resource (96 p.) |
Note: | 10.1007/BFb0061029 |
Contents: | An exposition of torsion theories -- Additive semantics -- Torsion ideals and rings of quotients -- Protorsion modules -- Embedding theorems |
ISBN: | 9783540364481 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 177 |
Keywords: | Mathematics , Mathematics , Mathematics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1969-9783540361404:ONLINE Show nearby items on shelf |
Title: | Category Theory, Homology Theory and Their Applications III Proceedings of the Conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24–July, 19, 1968 Volume Three |
Author(s): | |
Date: | 1969 |
Size: | 1 online resource (492 p.) |
Note: | 10.1007/BFb0081959 |
Contents: | Lectures on generalised cohomology -- On H-spaces and infinite loop spaces -- Functors between categories of vector spaces -- Natural vector bundles -- Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuou s and concordant completions of categories -- The categorical comprehension scheme -- Non-abelian sheaf cohomology by derived functors -- Foncteurs derives et K-theorie -- Relative functorial semantics: Adjointness results -- Minimal subalgebras for dynam ic triples -- Categories of spectra and infinite loop spaces -- Homology of squares and factoring of diagrams |
ISBN: | 9783540361404 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 99 |
Keywords: | Mathematics , Category theory (Mathematics) , Homological algebra , Algebraic topology , Mathematics , Algebraic Topology , Mathematics, general , Category Theory, Homological Algebra |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1969-9783540360919:ONLINE Show nearby items on shelf |
Title: | Seminar on Triples and Categorical Homology Theory ETH 1966/67 |
Author(s): |
H Appelgate |
Date: | 1969 |
Size: | 1 online resource (406 p.) |
Note: | 10.1007/BFb0083078 |
Contents: | An outline of functorial semantics -- Applied functorial semantics, II -- Coequalizers in categories of algebras -- A triple theoretic construction of compact algebras -- Distributive laws -- Ordinal sums and equational doctrines -- Categories with models -- Homology and standard constructions -- Composite cotriples and derived functors -- Cohomology and obstructions: Commutative algebras -- On cotriple and andré (co)homology, their relationship with classical homological algebra |
ISBN: | 9783540360919 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 80 |
Keywords: | Mathematics , Algebra , Category theory (Mathematics) , Homological algebra , Mathematics , Algebra , Mathematics, general , Category Theory, Homological Algebra |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1968-9783540359005:ONLINE Show nearby items on shelf |
Title: | The Syntax and Semantics of Infinitary Languages |
Author(s): | |
Date: | 1968 |
Size: | 1 online resource (270 p.) |
Note: | 10.1007/BFb0079679 |
Contents: | Implicit definability and compactness in infinitary languages -- Some remarks on the model theory of infinitary languages -- Remarks on the theory of geometrical constructions -- Note on admissible ordinals -- An algebraic proof of the barwise comp actness theorem -- Formulas with linearly ordered quantifiers -- Some problems in group theory -- Choice of infinitary languages by means of definability criteria Generalized recursion theory -- Definability, automorphisms, and infinitary languages -- The hanf number for complete sentences -- Quantified algebras -- Normal derivability in classical logic -- A determinate logic -- (?1, ?) properties of unions of models |
ISBN: | 9783540359005 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 72 |
Keywords: | Mathematics , Computer logic , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Mathematics, general , Logics and Meanings of Programs |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1968-9783540358633:ONLINE Show nearby items on shelf |
Title: | Reports of the Midwest Category Seminar II |
Author(s): |
M André |
Date: | 1968 |
Size: | 1 online resource (94 p.) |
Note: | 10.1007/BFb0077113 |
Contents: | On the vanishing of the second cohomology group of a commutative algebra -- Homology and universality relative to a functor -- Some algebraic problems in the context of functorial semantics of algebraic theories -- An application of categories of f ractions to homotopy theory -- Adjoint triangles |
ISBN: | 9783540358633 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 61 |
Keywords: | Mathematics , Algebra , Mathematics , Algebra |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1967-9783642869341:ONLINE Show nearby items on shelf |
Title: | Handbook for Automatic Computation Volume I · Part a Description of ALGOL 60 |
Author(s): |
H Rutishauser |
Date: | 1967 |
Size: | 1 online resource (326 p.) |
Note: | 10.1007/978-3-642-86934-1 |
Contents: | I Introduction -- § 1. The Concept of Automatic Programming -- § 2. Historical Remarks on Algorithmic Languages -- § 3. The Algol Conferences of 1958, 1960, 1962 -- § 4. Algol Dialects and the IFIP Subset of Algol 60 -- § 5. Preliminary Definit ion of Algol -- II Basic Concepts -- § 6. Auxiliary Conventions -- § 7. The Basic Symbols of Algol -- § 8. Values -- § 9. Quantities and their Names -- § 10. Numerical Constants -- § 11. Labels -- § 12. Strings -- § 13. Comments -- III Expressions -- § 14. Variables -- § 15. Function Designators -- § 16. Simple Arithmetic Expressions -- § 17. Relations -- § 18. Simple Boolean Expressions -- § 19. Conditional Expressions -- § 20. Subscript Expressions -- IV Statements -- § 21. Assignment St atements -- § 22. Sequences of Statements -- § 23. Labelled Statements -- § 24. The Dummy Statement -- § 25. Goto-Statements -- § 26. Procedure Statements I -- § 27. Compound Statements and Blocks -- § 28. The If-Statement -- § 29. The If-Else-Sta tement -- § |
30. The For-Statement -- V Miscellaneous Applications -- § 31. Algebraic Problems -- § 32. Interpolation and Numerical Quadrature -- § 33. Numerical Integration of Differential Equations -- § 34. Least Square Problems -- §35. Computations Relat ed to Continued Fractions -- § 36. Considerations Concerning Computer Limitations -- §37. Data Processing Applications -- VI Declarations -- § 38. Type Declarations -- § 39. Array Declarations -- § 40. Switch Declarations -- § 41. Procedure Declarat ions I -- §42. Semantics of Blocks -- §43. Entire Programs -- VII Procedures -- § 44. Procedure Declarations II -- §45. Procedure Statements II -- § 46. Function Procedures and their Use -- § 47. Code Procedures -- § 48. Parameter Procedures -- VII I Input and Output -- § 49. The Standard I/O-Procedures of Algol -- § 50. Applications of Procedures insymbol, outsymbol -- §51. Use of inarray, outarray for Auxiliary Storage -- Appendix A -- § 52. The Jensen Device -- 52.1. The full name-concept -- 52.2. | |
The Jensen device -- 52.3. Bound variables -- § 53. Conclusion -- 53.1. Church’s lambda notation -- 53.2. The lambda notation for arrays -- 53.3. Syntax of the proposed extension -- 53.4. Semantics of the proposed extension -- 53.5. Applications of the proposed extension -- Appendix B. The IFIP-Reports on Algol -- References | |
ISBN: | 9783642869341 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Die Grundlehren der mathematischen Wissenschaften: 135 |
Keywords: | Mathematics , Mathematics , Mathematics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Return to the Fermilab Library catalog