Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD SEMANTICS *END*INIT* use /tmp/qspiwww.webspi1/12316.34 QRY 131.225.70.96 . find keyword semantics ( in books using www Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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