Bücher veröffentlicht von College Publications

This book deals with a problem that has been discussed quite a lot, both in the academic and the halachic literature, the problem of partitioning. The fundamental and well-known partition problem in the Talmud is the partition of lost property ("Two hold a garment") found in Baba Metzia 2a, and its generalisation ("n hold a garment"). The Talmud also deals with the problem of division of the estate of a deceased among creditors in Ketubot 93a.Our aim is to organise previous work, give a complete picture of the domain and add our original work. We specify what the basic assumptions are, similarities and dissimilarities between the problems and the various approaches to their solution. We give general case algorithms for these solutions. Where necessary we also prove the existence and uniqueness of the solutions.The book is partly in English and partly in Hebrew

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers.This handbook provides, through its several volumes, an up-to-date systematic presentation of the best-developed areas of MFL. Its intended audience is researchers working on MFL or related fields, that may use the text as a reference book, and anyone looking for a comprehensive introduction to MFL. This handbook will be useful not only for readers interested in pure mathematical logic, but also for those interested in logical foundations of fuzzy set theory or in a mathematical apparatus suitable for dealing with some philosophical and linguistic issues related to vagueness.This third volume starts with three chapters on semantics of fuzzy logics, namely, on the structure of linearly ordered algebras, on semantic games, and on Ulam-Rényi games; it continues with an introduction to fuzzy logics with evaluated syntax, a survey of fuzzy description logics, and a study of probability on MV-algebras; and it ends with a philosophical chapter on the role of fuzzy logics in theories of vagueness.

This is a volume containing papers honoring Patrick Suppes (1922-2014). All contributors have worked directly with Suppes or/and with his ideas. The book also contains one of the last papers by Suppes (co-authored by two of his collaborators). The work of Suppes touches many different areas, ranging from meteorology to physics, through logic, mathematics, psychology, neuroscience, education, painting, but he was first of all and above all a philosopher, always questioning, but not in vain. There are not many philosophers who can be proud of having written influential math textbooks, contributed decisively to the philosophical foundations of science, helped to develop research in real labs, promoted new forms o education (computer-assisted learning and the EGPY - Education Program for Gifted Youth). Since the range of interest of Suppes was very broad, so is the variety of topics dealt with in this volume. The work of a researcher is certainly not limited to his own writings, but also has to be appreciated through the work of the people he has been working with and influenced. From this point of view the work of Suppes is very impressive, and the present book contributes to show that. This is a follow up of a special issue of the journal Synthese, New Directions in the Foundations of Science, edited by Béziau and Krause, after a meeting they organized with Suppes in Florianópolis (Brazil) in 2002 for his 80th birthday. Jean-Yves Béziau worked with Suppes at Stanford University for two years (2000 and 2001) and has been continuously working in the Suppes tradition of logic, methodology and philosophy of science, which emphasizes structures and models. Décio Krause has used Suppes' approach to the axiomatization of scientific theories in many fields. With J.C.M. Magalhães, he presented a "Suppes predicate" for genetics and natural selection and with S. French he developed a Suppes predicate for quantum field theories via Fock spaces.

Updated and revised September 2018.At last -- a first programming in Java course that is truly aimed at students who have not programmed before! (It has an entry point for those who have.) * Using neither the confusing `objects first' approach, nor the confidence destroying `objects late' ordering, students are instead taken gently from their natural `task oriented' view of problem solving, through the basics of programming and then soon onto objects. * Every programming and Java concept is introduced, Just in Time, in the context of one of more than a hundred program examples, so motivation is never lacking. Even when objects are introduced, readers immediately see their benefit, and thus happily augment their `task oriented' view with the `object oriented' one. * Programming skill, being at least 51% confidence, is built in manageable layers by undertaking over one hundred pieces of coursework. * Other learning enhancing aspects include coffee time questions, end of chapter collected concepts, no use of non-standard library code, and independence of any confidence-entrapping learning environment. John Latham has been teaching first programming since 1982 using various languages and styles, and this course has been running since 2004 at The University of Manchester, UK.

Beyond Alignment: Applying Systems Thinking to Architecting Enterprises is a comprehensive reader about how enterprises can apply systems thinking in their enterprise architecture practice, for business transformation and for strategic execution. The book's contributors find that systems thinking is a valuable way of thinking about the viable enterprise and how to architect it.Edited by John Gøtze and Anders Jensen-Waud, the book features contributions from 32 international experts in the fields of systems thinking and enterprise architecture.Contributors:Adrian Campell, Alex Conn, Dennis Sherwood, Don deGuerre, Erik Perjons, Gene Bellinger, Harold "Bud" Lawson, Ilia Bider, Jack Ring, James Lapalme, James Martin, Jan Dietz, Jan Hoogervorst, Janne J. Korhonen, John Morecroft, Leo Laverdure, Linda Clod Præstholm, Mesbah Khan, Mikkel Stokbro Holst, Namkyu Park, Olov Östberg, Olusola O. Oduntan, Patrick Hoverstadt, Per Johannisson, Per-Arne Persson, Peter Sjølin, Rasmus Fischer Frost, Sally Bean, Tom Graves, and Tue Westmark Steensen.

This book studies Talmudic temporal logic and compares it with the logic of time in contemporary law. Following a general introduction about the logical handling of time, the book examines several key Talmudic debates involving time. The book finds that we need multi-dimensional temporal models with backward causation and parallel histories. It seems that two major issues are involved: 1 Actions conditional about future actions (Tenayim), connecting with backward causality 2 Actions involving entities defined using future events (Breira), connecting with ideas from quantum Mechanics The book concludes with a general comparative discussion of the handling of time in general law and in the Talmud.

This book is a Festschrift dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday. It contains contributions by his students, colleagues, and friends. The articles, written by computer scientists, mathematicians, and logicians, address recent research trends in areas such as rigorous methods, databases, mathematical reasoning and conceptual modeling.

Although a number of recent technological applications require classical deductive computation with non-classical logics, many key technologies still do well-or exclusively, for that matter-with classical logic. In this first of a two-volume work, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing-a.k.a. formal languages and automata theory-and classical deduction with the classical first-order predicate calculus with a view to computational implementations, namely in automated theorem proving and logic programming.As a complement to the mathematical-based exposition of the topics we offer the reader a very large selection of exercises. This selection aims at not only practice of discussed material, but also creative approaches to problems, for both discussed and novel contents, as well as at research into further relevant topics.The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines.

Inconsistency robustness is information system performance in the face of continually pervasive inconsistencies---a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination attempting to sweep them under the rug. Inconsistency robustness is a both an observed phenomenon and a desired feature: ¿ Inconsistency Robustness is an observed phenomenon because large information-systems are required to operate in an environment of pervasive inconsistency. ¿ Inconsistency Robustness is a desired feature because we need to improve the performance of large information system. This volume has revised versions of refereed articles and panel summaries from the first two International Symposia on Inconsistency Robustness conducted under the auspices of the International Society for Inconsistency Robustness (iRobust http://irobust.org). The articles are broadly based on theory and practice, addressing fundamental issues in inconsistency robustness. The field of Inconsistency Robustness aims to provide practical rigorous foundations for computer information systems dealing with pervasively inconsistent information.