Introduction to Mathematical Logic, Mendelson Elliott
Старое издание
Автор: Herbert Enderton Название: A Mathematical Introduction to Logic, ISBN: 0122384520 ISBN-13(EAN): 9780122384523 Издательство: Elsevier Science Рейтинг: Цена: 93290.00 T Наличие на складе: Поставка под заказ. Описание: Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 99270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.
Автор: Solow Название: How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition ISBN: 1118164024 ISBN-13(EAN): 9781118164020 Издательство: Wiley Рейтинг: Цена: 80200.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs.
Автор: Eccles Название: An Introduction to Mathematical Reasoning ISBN: 0521597188 ISBN-13(EAN): 9780521597180 Издательство: Cambridge Academ Рейтинг: Цена: 38010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book introduces the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. Over 250 problems include questions to interest and challenge the most able student and plenty of routine exercises to help familiarize the reader with the basic ideas.
Автор: Roberts Название: Introduction to Mathematical Proofs, Second Edition ISBN: 1482246872 ISBN-13(EAN): 9781482246872 Издательство: Taylor&Francis Рейтинг: Цена: 102080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Introduction to Mathematical Proofs helps students develop the necessary skills to write clear, correct, and concise proofs.
Unlike similar textbooks, this one begins with logic since it is the underlying language of mathematics and the basis of reasoned arguments. The text then discusses deductive mathematical systems and the systems of natural numbers, integers, rational numbers, and real numbers.
It also covers elementary topics in set theory, explores various properties of relations and functions, and proves several theorems using induction. The final chapters introduce the concept of cardinalities of sets and the concepts and proofs of real analysis and group theory. In the appendix, the author includes some basic guidelines to follow when writing proofs.
This new edition includes more than 125 new exercises in sections titled More Challenging Exercises. Also, numerous examples illustrate in detail how to write proofs and show how to solve problems. These examples can serve as models for students to emulate when solving exercises.
Several biographical sketches and historical comments have been included to enrich and enliven the text. Written in a conversational style, yet maintaining the proper level of mathematical rigor, this accessible book teaches students to reason logically, read proofs critically, and write valid mathematical proofs. It prepares them to succeed in more advanced mathematics courses, such as abstract algebra and analysis.
Автор: Church, Alonzo Название: Introduction to mathematical logic ISBN: 0691029067 ISBN-13(EAN): 9780691029061 Издательство: Wiley Рейтинг: Цена: 86590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church`s contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.
Автор: Walicki Michal Название: Introduction to Mathematical Logic ISBN: 981471996X ISBN-13(EAN): 9789814719964 Издательство: World Scientific Publishing Рейтинг: Цена: 42240.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
Автор: Walicki Michal Название: Introduction to Mathematical Logic (Extended Edition) ISBN: 9814719951 ISBN-13(EAN): 9789814719957 Издательство: World Scientific Publishing Рейтинг: Цена: 74970.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
