Описание: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.
Автор: Kueker Название: Mathematical Logic and Theoretical Computer Science ISBN: 0824777468 ISBN-13(EAN): 9780824777463 Издательство: Taylor&Francis Рейтинг: Цена: 43639.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.
Автор: Epstein Название: Multiple-Valued Logic Design ISBN: 0750302100 ISBN-13(EAN): 9780750302104 Издательство: Taylor&Francis Рейтинг: Цена: 59717.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Explains the theory and applications of multiple-valued logic and logic design. This book offers introductory knowledge in Boolean algebra, 2-valued logic, or 2-valued switching theory. It is suitable for computer scientists, mathematicians, and electronic engineers.
Описание: This book presents four mathematical essays that explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. It details the state of the art as well as new ideas and directions.
Автор: Egon B?rger; Gerhard J?ger; Hans Kleine B?ning; Mi Название: Computer Science Logic ISBN: 354055789X ISBN-13(EAN): 9783540557890 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The results of a workshop, this volume contains a series of essays on a variety of logical topics in computer science, including abstract data types, bounded theories, complexity results, denotational semantics, cut elimination, minimal proofs, Petri nets, plausibility logic and much more.
Автор: Egon B?rger; Gerhard J?ger; Hans Kleine B?ning; Si Название: Computer Science Logic ISBN: 3540569928 ISBN-13(EAN): 9783540569923 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.
Автор: Steven Homer; Piergiorgio Odifreddi; Anil Nerode; Название: Logic and Computer Science ISBN: 3540527346 ISBN-13(EAN): 9783540527343 Издательство: Springer Рейтинг: Цена: 3043.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers.
Автор: Leszek Pacholski; Jerzy Tiuryn Название: Computer Science Logic ISBN: 3540600175 ISBN-13(EAN): 9783540600176 Издательство: Springer Рейтинг: Цена: 12805.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains revised versions of papers presented during the CSL `94 conference. Some aspects of the methods of mathematical logic in computer science covered include: lambda calculus, proof theory, finite model theory, logic programming, semantics and other logical systems.
Автор: Jan Mycielski; Grzegorz Rozenberg; Arto Salomaa Название: Structures in Logic and Computer Science ISBN: 3540632468 ISBN-13(EAN): 9783540632467 Издательство: Springer Рейтинг: Цена: 9146.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday, the essays in this volume centre around Ehrenfeucht`s scientific work. The book is organized in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, and combinatorics of word.
Автор: Lu Zhongwan Название: Mathematical Logic For Computer Science (2Nd Edition) ISBN: 9810230915 ISBN-13(EAN): 9789810230913 Издательство: World Scientific Publishing Рейтинг: Цена: 10930.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
Автор: Georg Gottlob; Etienne Grandjean; Katrin Seyr Название: Computer Science Logic ISBN: 3540659226 ISBN-13(EAN): 9783540659228 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These 25 refereed post workshop papers and three reviewed invited papers span the whole scope of computer science logic and mathematical foundations and represent the late 1990`s "state of the art" in the area.
Автор: Yiannis N. Moschovakis Название: Logic from Computer Science ISBN: 1461276853 ISBN-13(EAN): 9781461276852 Издательство: Springer Рейтинг: Цена: 14635.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
