Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

A Logical Approach to Discrete Math, David Gries; Fred B. Schneider


Варианты приобретения
Цена: 7615.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: David Gries; Fred B. Schneider   (Дэвид Грис, Фред Шнайдер)
Название:  A Logical Approach to Discrete Math
Перевод названия: Дэвид Грис, Фред Шнайдер: Логический подход к дискретной математике
ISBN: 9781441928351
Издательство: Springer
Классификация:

ISBN-10: 1441928359
Обложка/Формат: Paperback
Страницы: 516
Вес: 0.73 кг.
Дата издания: 01.12.2010
Серия: Monographs in Computer Science
Язык: English
Размер: 234 x 156 x 27
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo- sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math- ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con- tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding.


Material Selections by a Hybrid Multi-Criteria Approach

Автор: Fabrizio D`Errico
Название: Material Selections by a Hybrid Multi-Criteria Approach
ISBN: 3319130293 ISBN-13(EAN): 9783319130293
Издательство: Springer
Рейтинг:
Цена: 7836.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Brief presents a new method that is based on the author and his students` shared experience in applying a structured procedure that has as its main goal the creation of a material selection technique that uses language and employs a platform that is not restricted to engineers.

Fundamentals of Discrete Math for Computer Science

Автор: Tom Jenkyns; Ben Stephenson
Название: Fundamentals of Discrete Math for Computer Science
ISBN: 3319701509 ISBN-13(EAN): 9783319701509
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

An understanding of discrete mathematics is essential for students of computer science wishing to improve their programming competence.

Fundamentals of Discrete Math for Computer Science provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computer science students. The text empowers students to think critically, to be effective problem solvers, to integrate theory and practice, and to recognize the importance of abstraction. Clearly structured and interactive in nature, the book presents detailed walkthroughs of several algorithms, stimulating a conversation with the reader through informal commentary and provocative questions.

Topics and features: highly accessible and easy to read, introducing concepts in discrete mathematics without requiring a university-level background in mathematics; ideally structured for classroom-use and self-study, with modular chapters following ACM curriculum recommendations; describes mathematical processes in an algorithmic manner, often including a walk-through demonstrating how the algorithm performs the desired task as expected; contains examples and exercises throughout the text, and highlights the most important concepts in each section; selects examples that demonstrate a practical use for the concept in question.

This easy-to-understand and fun-to-read textbook is ideal for an introductory discrete mathematics course for computer science students at the beginning of their studies. The book assumes no prior mathematical knowledge, and discusses concepts in programming as needed, allowing it to be used in a mathematics course taken concurrently with a student's first programming course.

Cellular Automata and Discrete Complex Systems

Автор: Teijiro Isokawa; Katsunobu Imai; Nobuyuki Matsui;
Название: Cellular Automata and Discrete Complex Systems
ISBN: 3319188119 ISBN-13(EAN): 9783319188119
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014. The 10 regular papers included in this volume were carefully reviewed and selected from a total of 25 submissions.

The Use Case and Smart Grid Architecture Model Approach

Автор: Marion Gottschalk; Mathias Uslar; Christina Delfs
Название: The Use Case and Smart Grid Architecture Model Approach
ISBN: 3319492284 ISBN-13(EAN): 9783319492285
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces readers to the fundamentals of the IEC 62559 Use Case Methodology, explains how it is related to the Smart Grid Architecture Model (SGAM), and details how a holistic view for both architecture and requirements engineering can be achieved.

On the Device-Independent Approach to Quantum Physics

Автор: Jean-Daniel Bancal
Название: On the Device-Independent Approach to Quantum Physics
ISBN: 3319011820 ISBN-13(EAN): 9783319011820
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explores the nonlocality of multipartite systems. It explains and demonstrates robust entanglement detection as well as disproves alternative models for quantum nonlocality.

Protein Bioinformatics: An Algorithmic Approach to Sequence and Structure Analysis

Автор: Ingvar Eidhammer
Название: Protein Bioinformatics: An Algorithmic Approach to Sequence and Structure Analysis
ISBN: 0470848391 ISBN-13(EAN): 9780470848395
Издательство: Wiley
Рейтинг:
Цена: 12189.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book takes the novel approach to cover both the sequence and structure analysis of proteins in one volume and from an algorithmic perspective. Key features of the book include:* Provides a comprehensive introduction to the analysis of protein sequence and structure analysis.

Discrete Geometry for Computer Imagery

Автор: Nicolas Normand; Jeanpierre Gu?don; Florent Autrus
Название: Discrete Geometry for Computer Imagery
ISBN: 3319323598 ISBN-13(EAN): 9783319323596
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Thisbook constitutes the refereed proceedings of the 19th IAPR InternationalConference on Discrete Geometry for Computer Imagery, DGCI 2016, held in Nantes,France, in April 2016. discrete and combinatorial topology; models fordiscrete geometry; and discrete shape representation, recognition and analysis.

A Journey Through Discrete Mathematics

Автор: Martin Loebl; Jaroslav Ne?et?il; Robin Thomas
Название: A Journey Through Discrete Mathematics
ISBN: 3319444786 ISBN-13(EAN): 9783319444789
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This collection of high-quality articles in the field of combinatorics, geometry, algebraic topology and theoretical computer science is a tribute to Jiri Matousek, who passed away prematurely in March 2015.

Cellular Automata and Discrete Complex Systems

Автор: Alberto Dennunzio; Enrico Formenti; Luca Manzoni;
Название: Cellular Automata and Discrete Complex Systems
ISBN: 3319586300 ISBN-13(EAN): 9783319586304
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017.

The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature research on correlated models of automata. The topics include aspects and features of such models: dynamics; topological, ergodic, and algebraic aspects; algorithmic and complexity issues; emergent properties; formal languages; symbolic dynamics; tilings; models of parallelism and distributed systems; timing schemes; synchronous versus asynchronous models; phenomenological descriptions; scientific modelling; practical applications.

Algorithms and Discrete Applied Mathematics

Автор: Daya Gaur; N.S. Narayanaswamy
Название: Algorithms and Discrete Applied Mathematics
ISBN: 3319530062 ISBN-13(EAN): 9783319530062
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017. They deal with the following areas: algorithms, graph theory, codes, polyhedral combinatorics, computational geometry, and discrete geometry.

Algorithms and Discrete Applied Mathematics

Автор: Sathish Govindarajan; Anil Maheshwari
Название: Algorithms and Discrete Applied Mathematics
ISBN: 331929220X ISBN-13(EAN): 9783319292205
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book collects the refereed proceedingsof the Second International Conference on Algorithms and Discrete AppliedMathematics, CALDAM 2016, held in Thiruvananthapuram, India, in February 2016.

On the Device-Independent Approach to Quantum Physics

Автор: Jean-Daniel Bancal
Название: On the Device-Independent Approach to Quantum Physics
ISBN: 3319377531 ISBN-13(EAN): 9783319377537
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explores the nonlocality of multipartite systems. It explains and demonstrates robust entanglement detection as well as disproves alternative models for quantum nonlocality.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия