國立虎尾科技大學 |

Language: English

Back

Proofs 101 : = an introduction to fo...

Kirtland, Joseph.

Proofs 101 : = an introduction to formal mathematics /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proofs 101 :/ Joseph Kirtland.
Reminder of title:	an introduction to formal mathematics /
Author:	Kirtland, Joseph.
Published:	Boca Raton :CRC Press, : c2021.,
Description:	xix, 176 p. :ill. ; : 24 cm.;
Notes:	"A Chapman & Hall book"--Cover.
Subject:	Proof theory. -
ISBN:	9780367536930

Proofs 101 : = an introduction to formal mathematics /
Kirtland, Joseph.

Proofs 101 :an introduction to formal mathematics /Joseph Kirtland. - 1st ed. - Boca Raton :CRC Press,c2021. - xix, 176 p. :ill. ;24 cm.

"A Chapman & Hall book"--Cover.

Includes bibliographical references (p. 171-172) and index.

Logic -- Proof techniques -- Sets -- Proof by mathematical induction -- Relations -- Functions -- Cardinality of sets -- Conclusion -- Hints and solutions.

"Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and Linear Algebra. It prepares students for the proofs they will need to analyse and write, the axiomatic nature of mathematics, and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses A balanced variety of easy, moderate, and difficult exercises"--

ISBN: 9780367536930

LCCN: 2020027997Subjects--Topical Terms:

579943
Proof theory.

LC Class. No.: QA9.54 / .K57 2020

Dewey Class. No.: 511.3/6

Proofs 101 : = an introduction to formal mathematics /
LDR:01800cam a2200265 a 4500 001 1044295
005 20211208120246.0
008 211220s2021 flua b 001 0 eng
010 $a 2020027997
020 $a 9780367536930
020 $a 9780367536817 (pbk.) : $c NT1677
020 $a 9781003082927 (ebk.)
035 $a 21616046
040 $a LBSOR/DLC $b eng $c DLC $d NFU
041 0 # $a eng
042 $a pcc
050 0 0 $a QA9.54 $b .K57 2020
082 0 0 $a 511.3/6 $2 23
100 1 $a Kirtland, Joseph. $3 1345933
245 1 0 $a Proofs 101 : $b an introduction to formal mathematics / $c Joseph Kirtland.
250 $a 1st ed.
260 # $a Boca Raton : $b CRC Press, $c c2021.
300 $a xix, 176 p. : $b ill. ; $c 24 cm.
500 $a "A Chapman & Hall book"--Cover.
504 $a Includes bibliographical references (p. 171-172) and index.
505 0 # $a Logic -- Proof techniques -- Sets -- Proof by mathematical induction -- Relations -- Functions -- Cardinality of sets -- Conclusion -- Hints and solutions.
520 # $a "Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and Linear Algebra. It prepares students for the proofs they will need to analyse and write, the axiomatic nature of mathematics, and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses A balanced variety of easy, moderate, and difficult exercises"-- $c Provided by publisher.
650 # 0 $a Proof theory. $3 579943
650 # 0 $a Logic, Symbolic and mathematical. $3 527823