Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Sets, logic and maths for computing, Makinson, David


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

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

Автор: Makinson, David
Название:  Sets, logic and maths for computing
ISBN: 9783030422172
Издательство: Springer
Классификация:



ISBN-10: 3030422178
Обложка/Формат: Paperback
Страницы: 398
Вес: 0.63 кг.
Дата издания: 20.05.2020
Серия: Undergraduate topics in computer science
Язык: English
Издание: 3rd ed. 2020
Иллюстрации: 36 illustrations, black and white; xviii, 399 p. 36 illus.
Размер: 155 x 233 x 28
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduate students need to enter the world of computer and information sciences. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. In ten chapters on these topics, the book guides the student through essential concepts and techniques.

The extensively revised second edition provides further clarification of matters that typically give rise to difficulty in the classroom and restructures the chapters on logic to emphasize the role of consequence relations and higher-level rules, as well as including more exercises and solutions.

Topics and features: teaches finite mathematics as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear away confusions; provides numerous exercises, with selected solutions, to test and deepen the readers understanding.

This clearly-written text/reference is a must-read for first-year undergraduate students of computing. Assuming only minimal mathematical background, it is ideal for both the classroom and independent study.



Type Theory and Formal Proof

Автор: Nederpelt
Название: Type Theory and Formal Proof
ISBN: 110703650X ISBN-13(EAN): 9781107036505
Издательство: Cambridge Academ
Рейтинг:
Цена: 70740.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

Logic and Algebraic Structures in Quantum Computing

Автор: Chubb
Название: Logic and Algebraic Structures in Quantum Computing
ISBN: 110703339X ISBN-13(EAN): 9781107033399
Издательство: Cambridge Academ
Рейтинг:
Цена: 141510.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this international cross-disciplinary collaboration, leading experts explore connections across their respective fields. The book offers an insight into the fundamental questions in quantum theory and logic, which will appeal to many researchers and graduate students including logicians, mathematicians, computer scientists, and physicists.

Quantitative Logic And Soft Computing - Proceedings Of The Ql&Sc 2012

Автор: Li Yongming Et Al
Название: Quantitative Logic And Soft Computing - Proceedings Of The Ql&Sc 2012
ISBN: 9814401528 ISBN-13(EAN): 9789814401524
Издательство: World Scientific Publishing
Рейтинг:
Цена: 242880.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic and more. This book provides an introduction to fuzzy reasoning and soft computing.

Program Logics for Certified Compilers

Автор: Appel
Название: Program Logics for Certified Compilers
ISBN: 110704801X ISBN-13(EAN): 9781107048010
Издательство: Cambridge Academ
Рейтинг:
Цена: 87650.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Автор: Saleem Mohammed Ridha Taha
Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ISBN: 3319234781 ISBN-13(EAN): 9783319234786
Издательство: Springer
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.

Digital Logic for Computing

Автор: John Seiffertt
Название: Digital Logic for Computing
ISBN: 331956837X ISBN-13(EAN): 9783319568379
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book provides a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems.

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Автор: Saleem Mohammed Ridha Taha
Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ISBN: 3319373838 ISBN-13(EAN): 9783319373836
Издательство: Springer
Рейтинг:
Цена: 95770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.

Fuzzy Logic and Soft Computing

Автор: Guoqing Chen; Mingsheng Ying; Kai-Yuan Cai
Название: Fuzzy Logic and Soft Computing
ISBN: 1461373999 ISBN-13(EAN): 9781461373995
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Computing Highly Oscillatory Integrals

Автор: Alfredo Dea?o, Daan Huybrechs, Arieh Iserles
Название: Computing Highly Oscillatory Integrals
ISBN: 1611975115 ISBN-13(EAN): 9781611975116
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 70230.00 T
Наличие на складе: Невозможна поставка.
Описание: Highly oscillatory phenomena range across numerous areas in science and engineering and their computation represents a difficult challenge. A case in point is integrals of rapidly oscillating functions in one or more variables. The quadrature of such integrals has been historically considered very demanding. Research in the past 15 years (in which the authors played a major role) resulted in a range of very effective and affordable algorithms for highly oscillatory quadrature. This is the only monograph bringing together the new body of ideas in this area in its entirety.The starting point is that approximations need to be analyzed using asymptotic methods rather than by more standard polynomial expansions. As often happens in computational mathematics, once a phenomenon is understood from a mathematical standpoint, effective algorithms follow. As reviewed in this monograph, we now have at our disposal a number of very effective quadrature methods for highly oscillatory integrals—Filon-type and Levin-type methods, methods based on steepest descent, and complex-valued Gaussian quadrature. Their understanding calls for a fairly varied mathematical toolbox—from classical numerical analysis, approximation theory, and theory of orthogonal polynomials all the way to asymptotic analysis—yet this understanding is the cornerstone of efficient algorithms.

Hajnal Andrйka and Istvбn Nйmeti on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic

Автор: Madarбsz Judit, Szйkely Gergely
Название: Hajnal Andrйka and Istvбn Nйmeti on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic
ISBN: 3030641864 ISBN-13(EAN): 9783030641863
Издательство: Springer
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Part I. Computer Science, Machine Intelligence, Logic of Programs

Dannert, K. M., Graedel, E.: Semiring provenance for guarded logics.

Diaconescu, R.: Implicit Partiality of Signature Morphisms in Institution Theory.

Gottlob, G., Pieris, A.: An Overview of Query-Answering and Reasoning with Datalog+/-.

Pratt, V.: Action axioms, algebraically.

Pratt-Hartmann, I.: Adding Guarded Constructions to the (Relational) Syllogistic.

Tucker, J.: tba

Part II . Algebraic Logic, Algebra, Logic

Benthem, J.: tba

Duentsch, I., Dzik, W., Orlowska, E.: Decomposing the discriminator in the semilattice of modal operators.

Goldblatt, R.: Generalising Grzegorczyks logic by bounding cluster size.

Hirsch-Hodkinson-Jackson: Undecidable decision problems for binary relations.

Jipsen, P.: relation algebras, residuated lattices and algebraic logic

Maddux, R.D.: On canonical relativized relation and cylindric set algebras.

Plotkin, B., Plotkin, E.: Algebraic logic and logic geometry defined in universal algebra.

Pratt, V: Universal algebra as a foreign language.

Sayed-Ahmed, T.: A brief history of Tarskian algebraic logic as enhanced by the outstanding contributions of Andreka and Nemeti.

Part III. Relativity Theory, spacetime, methodology of science

Dewar, N.: Freeing structuralism from model theory.

Friedman, H.: Foundational thinking.

Formica, G., Friend, M.: In the footsteps of Hilbert: the logical foundations of theories in physics

Halvorson, H.: The network of theories.

Manchak, J.B.: Internal and external properties of spacetime.

Weatherall: Why not categorical equivalence?

Wuthrich, C.: Time travelling in emergent spacetime.


A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

Автор: Nourani Cyrus F.
Название: A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos
ISBN: 1926895924 ISBN-13(EAN): 9781926895925
Издательство: Taylor&Francis
Рейтинг:
Цена: 122490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.


Rough Sets and Current Trends in Computing

Автор: Chien-Chung Chan; Jerzy W. Grzymala-Busse; Wojciec
Название: Rough Sets and Current Trends in Computing
ISBN: 3540884238 ISBN-13(EAN): 9783540884231
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing, RSCTC 2008, held in Akron, OH, USA, in October 2008. This book presents the papers that are organized in topical sections on logical and mathematical foundations, data analysis, data mining, and decision support systems.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия