عنوان

An introduction to the language of mathematics /

شابک

3030006409

شابک

3030006417

شابک

9783030006402

شابک

9783030006419

شابک اشتباه

9783030006402

عنوان اصلي

An introduction to the language of mathematics /

نام عام مواد

[Book]

نام نخستين پديدآور

Frédéric Mynard.

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

2018.

نام خاص و کميت اثر

1 online resource (xii, 185 pages) :

ساير جزييات

illustrations (some color)

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

Chapter 1- The language of logic and set-theory -- Chapter 2- On proofs and writing mathematics -- Chapter 3- Relations -- Chapter 4- Cardinality -- Appendix A- Complements -- Appendix B- Solutions to exercises in the text -- Index -- Bibliography.

بدون عنوان

0

متن يادداشت

This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction of the formal language of logic and set theory and develops the basics with examples, exercises with solutions and exercises without. It then moves to a discussion of proof structure and basic proof techniques, including proofs by induction with extensive examples. An in-depth treatment of relations, particularly equivalence and order relations completes the exposition of the basic language of mathematics. The last chapter treats infinite cardinalities. An appendix gives some complement on induction and order, and another provides full solutions of the in-text exercises. The primary audience is undergraduate mathematics major, but independent readers interested in mathematics can also use the book for self-study.--

منبع سفارش / آدرس اشتراک

Springer Nature

شماره انبار

com.springer.onix.9783030006419

شماره استاندارد بين المللي کتاب و موسيقي

9783030006402

شماره استاندارد بين المللي کتاب و موسيقي

9783030006426

موضوع مستند نشده

Proof theory.

موضوع مستند نشده

Mathematical logic.

موضوع مستند نشده

Mathematics-- Logic.

موضوع مستند نشده

Proof theory.

موضوع مستند نشده

MAT018000

موضوع مستند نشده

PBCD

موضوع مستند نشده

PBCD

شماره

ويراست

شماره رده

مستند نام اشخاص تاييد نشده

Mynard, Frédéric,1973-

تاريخ عمليات

20200823072026.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y