Logic and Machines: Decision Problems and Complexity, E. B?rger; G. Hasenjaeger; D. R?dding
Автор: Osamu Watanabe Название: Kolmogorov Complexity and Computational Complexity ISBN: 3642777376 ISBN-13(EAN): 9783642777370 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The mathematical theory of computation has given rise to two important ap- proaches to the informal notion of "complexity": Kolmogorov complexity, usu- ally a complexity measure for a single object such as a string, a sequence etc., measures the amount of information necessary to describe the object.
Автор: Lassaigne, Richard De Rougemont, Michel Название: Logic and complexity ISBN: 1447110528 ISBN-13(EAN): 9781447110521 Издательство: Springer Рейтинг: Цена: 23751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic.
Автор: Dov Gabbay; Sergei Goncharov; Michael Zakharyasche Название: Mathematical Problems from Applied Logic II ISBN: 0387692444 ISBN-13(EAN): 9780387692449 Издательство: Springer Рейтинг: Цена: 23751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarasz, Istvan Nemeti, and Gergely, Szekely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.
Автор: Daniele Micciancio; Shafi Goldwasser Название: Complexity of Lattice Problems ISBN: 1461352932 ISBN-13(EAN): 9781461352938 Издательство: Springer Рейтинг: Цена: 32142.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The study of lattices, specifically from a computational point of view, was marked by two major breakthroughs: the development of the LLL lattice reduction algorithm by Lenstra, Lenstra and Lovasz in the early 80`s, and Ajtai`s discovery of a connection between the worst-case and average-case hardness of certain lattice problems in the late 90`s.
Описание: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
Автор: Wiktor Marek; Janusz Onyszkiewicz Название: Elements of Logic and Foundations of Mathematics in Problems ISBN: 9027721319 ISBN-13(EAN): 9789027721310 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Freerk A. Lootsma Название: Fuzzy Logic for Planning and Decision Making ISBN: 1441947795 ISBN-13(EAN): 9781441947796 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thisvolume starts with the basicconceptsof FuzzyLogic: the membership function, the intersection and the union of fuzzy sets, fuzzy numbers, and the extension principle underlying the algorithmic operations. Several chapters are devoted to applications of FuzzyLogic in various branches of Operations Research: PERT planning with uncertain activity durations, SMART and the AHP for Multi-Criteria Decision Analysis (MCDA) with vague preferential statements, ELECTRE usingthe ideasof the AHP and SMART, and Multi-Objective Optimization (MOO) with weighted degrees of satisfaction. Finally, earlierstudiesof colour perception illustrate the attemptsto find a physiological basisfor the set-theoretical and the algorithmic operations in Fuzzy Logic. The last chapter also discusses somekey issues in linguistic categorization and the prospectsof FuzzyLogicas a multi-disciplinary research activity. I am greatly indebted to the Department of Mechanical Engineering and Applied Mechanics, College of Engineering, University of Michigan, Ann Arbor, for the splendid opportunity to start the actual work on this book during my sabbatical leavefrom Delft (1993 - 1994); to LAMSADE, Universite de Paris-Dauphine, where many ideas emerged duringtwo winter visits (1989, 1990); to the International Institute for Applied Systems Analysis, Laxenburg, Austria, whereI got further inspiration duringa number of summer visits (1992, 1995, and 1996); and to the NISSAN Foundation in The Netherlands who enabled me to visit several Japanese universities (June 1996). Moreover, I gratefully acknowledge the stimulating supportgiven by many colleagues inthe International Society on Multi-Criteria Decision Making and in the European Working Group "Aide Multicritere Ii la Decision".
Автор: Wiktor Marek; Janusz Onyszkiewicz Название: Elements of Logic and Foundations of Mathematics in Problems ISBN: 9027710848 ISBN-13(EAN): 9789027710840 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
