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

A First Journey through Logic, Martin Hils, Francois Loeser


Варианты приобретения
Цена: 49330.00T
Кол-во:
 о цене
Наличие: Невозможна поставка.

в Мои желания

Автор: Martin Hils, Francois Loeser
Название:  A First Journey through Logic
ISBN: 9781470452728
Издательство: Mare Nostrum (Eurospan)
Классификация:

ISBN-10: 1470452723
Обложка/Формат: Paperback
Страницы: 195
Вес: 0.24 кг.
Дата издания: 30.10.2019
Серия: Student mathematical library
Язык: English
Размер: 147 x 219 x 8
Читательская аудитория: Professional and scholarly
Ключевые слова: Mathematical logic
Рейтинг:
Поставляется из: Англии
Описание: The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Godels incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights—outside of logic when possible—either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest.
Дополнительное описание: Mathematical logic


Lambda Calculus with Types

Автор: Barendregt
Название: Lambda Calculus with Types
ISBN: 0521766141 ISBN-13(EAN): 9780521766142
Издательство: Cambridge Academ
Рейтинг:
Цена: 85530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.

First-Order Logic and Automated Theorem Proving

Автор: Melvin Fitting
Название: First-Order Logic and Automated Theorem Proving
ISBN: 1461275156 ISBN-13(EAN): 9781461275152
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

Metamathematics of First-Order Arithmetic

Автор: Petr Hajek
Название: Metamathematics of First-Order Arithmetic
ISBN: 1107168414 ISBN-13(EAN): 9781107168411
Издательство: Cambridge Academ
Рейтинг:
Цена: 111620.00 T
Наличие на складе: Есть
Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.

A First Course in Mathematical Logic and Set Theory

Автор: Michael L. O?€?Leary
Название: A First Course in Mathematical Logic and Set Theory
ISBN: 0470905883 ISBN-13(EAN): 9780470905883
Издательство: Wiley
Рейтинг:
Цена: 102380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Rather than teach mathematics and the structure of proofssimultaneously, this book first introduces logic as the foundationof proofs and then demonstrates how logic applies to mathematicaltopics. This method ensures that readers gain a firmunderstanding of how logic interacts with mathematics and empowersthem to solve more complex problems.

First Order Categorical Logic

Автор: M. Makkai; G.E. Reyes
Название: First Order Categorical Logic
ISBN: 3540084398 ISBN-13(EAN): 9783540084396
Издательство: Springer
Рейтинг:
Цена: 37220.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

A First Course in Logic

Автор: Lawson
Название: A First Course in Logic
ISBN: 0815386648 ISBN-13(EAN): 9780815386643
Издательство: Taylor&Francis
Рейтинг:
Цена: 163330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic.

Categorical Logic and Type Theory,141

Автор: B. Jacobs
Название: Categorical Logic and Type Theory,141
ISBN: 0444508538 ISBN-13(EAN): 9780444508539
Издательство: Elsevier Science
Рейтинг:
Цена: 111170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Sheaves in Geometry and Logic

Автор: MacLane
Название: Sheaves in Geometry and Logic
ISBN: 0387977104 ISBN-13(EAN): 9780387977102
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sheaves also appear in logic as carriers for models of set theory. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.

An Introduction to Proof through Real Analysis

Автор: Madden
Название: An Introduction to Proof through Real Analysis
ISBN: 1119314720 ISBN-13(EAN): 9781119314721
Издательство: Wiley
Рейтинг:
Цена: 91820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

An engaging and accessible introduction to mathematical proof incorporating ideas from real analysis

A mathematical proof is an inferential argument for a mathematical statement. Since the time of the ancient Greek mathematicians, the proof has been a cornerstone of the science of mathematics. The goal of this book is to help students learn to follow and understand the function and structure of mathematical proof and to produce proofs of their own.

An Introduction to Proof through Real Analysis is based on course material developed and refined over thirty years by Professor Daniel J. Madden and was designed to function as a complete text for both first proofs and first analysis courses. Written in an engaging and accessible narrative style, this book systematically covers the basic techniques of proof writing, beginning with real numbers and progressing to logic, set theory, topology, and continuity. The book proceeds from natural numbers to rational numbers in a familiar way, and justifies the need for a rigorous definition of real numbers. The mathematical climax of the story it tells is the Intermediate Value Theorem, which justifies the notion that the real numbers are sufficient for solving all geometric problems.

- Concentrates solely on designing proofs by placing instruction on proof writing on top of discussions of specific mathematical subjects

- Departs from traditional guides to proofs by incorporating elements of both real analysis and algebraic representation

- Written in an engaging narrative style to tell the story of proof and its meaning, function, and construction

- Uses a particular mathematical idea as the focus of each type of proof presented

- Developed from material that has been class-tested and fine-tuned over thirty years in university introductory courses

An Introduction to Proof through Real Analysis is the ideal introductory text to proofs for second and third-year undergraduate mathematics students, especially those who have completed a calculus sequence, students learning real analysis for the first time, and those learning proofs for the first time.

Daniel J. Madden, PhD, is an Associate Professor of Mathematics at The University of Arizona, Tucson, Arizona, USA. He has taught a junior level course introducing students to the idea of a rigorous proof based on real analysis almost every semester since 1990. Dr. Madden is the winner of the 2015 Southwest Section of the Mathematical Association of America Distinguished Teacher Award.

Jason A. Aubrey, PhD, is Assistant Professor of Mathematics and Director, Mathematics Center of the University of Arizona.


Making Up Your Own Mind: Thinking Effectively Through Creative Puzzle-Solving

Автор: Burger Edward
Название: Making Up Your Own Mind: Thinking Effectively Through Creative Puzzle-Solving
ISBN: 0691182787 ISBN-13(EAN): 9780691182780
Издательство: Wiley
Рейтинг:
Цена: 17940.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: To help readers become better at solving real-world problems, this enlightening, entertaining, and inspiring book teaches simple, effective thinking techniques. The goal is not to quickly solve each challenge but to come up with as many different ways of thinking about it as possible.

Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Автор: Smullyan Raymond
Название: Reflections: The Magic, Music And Mathematics Of Raymond Smullyan
ISBN: 9814663190 ISBN-13(EAN): 9789814663199
Издательство: World Scientific Publishing
Рейтинг:
Цена: 25350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an exciting if not rambling account of events of Raymond Smullyan`s four lives - as a mathematical logician, musician, magician, and author - together with thoughts that come to his mind as he recalls them.


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