國立虎尾科技大學 |

Theoremus = A Student's Guide to Mathematical Proofs /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Theoremus/ by Lito Perez Cruz.
Reminder of title:	A Student's Guide to Mathematical Proofs /
Author:	Cruz, Lito Perez.
Description:	XV, 133 p. 30 illus., 15 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer science—Mathematics. -
Online resource:	https://doi.org/10.1007/978-3-030-68375-7
ISBN:	9783030683757

Theoremus = A Student's Guide to Mathematical Proofs /
Cruz, Lito Perez.

TheoremusA Student's Guide to Mathematical Proofs /[electronic resource] :by Lito Perez Cruz. - 1st ed. 2021. - XV, 133 p. 30 illus., 15 illus. in color.online resource.

Part I:The Basics -- Introduction -- Theorems and Proofs -- Types of Theorems -- Logical Foundations of Proofs -- Types of Proofs Techniques -- Part II: An Application -- Formal System for PL -- Formal System for FOL -- Part III: Advanced Topics -- You Do the Maths.

A compact and easily accessible book, it guides the reader in unravelling the apparent mysteries found in doing mathematical proofs. Simply written, it introduces the art and science of proving mathematical theorems and propositions and equips students with the skill required to tackle the task of proving mathematical assertions. Theoremus - A Student's Guide to Mathematical Proofs is divided into two parts. Part 1 provides a grounding in the notion of mathematical assertions, arguments and fallacies and Part 2, presents lessons learned in action by applying them into the study of logic itself. The book supplies plenty of examples and figures, gives some historical background on personalities that gave rise to the topic and provides reflective problems to try and solve. The author aims to provide the reader with the confidence to take a deep dive into some more advanced work in mathematics or logic.

ISBN: 9783030683757

Standard No.: 10.1007/978-3-030-68375-7doiSubjects--Topical Terms:

1253519
Computer science—Mathematics.

LC Class. No.: QA76.9.M35

Dewey Class. No.: 004.0151

Theoremus = A Student's Guide to Mathematical Proofs /
LDR:02551nam a22004095i 4500 001 1054710
003 DE-He213
005 20211124155709.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030683757 $9 978-3-030-68375-7
024 7 $a 10.1007/978-3-030-68375-7 $2 doi
035 $a 978-3-030-68375-7
050 4 $a QA76.9.M35
072 7 $a UYA $2 bicssc
072 7 $a COM018000 $2 bisacsh
072 7 $a UYA $2 thema
072 7 $a UYAM $2 thema
082 0 4 $a 004.0151 $2 23
100 1 $a Cruz, Lito Perez. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1359839
245 1 0 $a Theoremus $h [electronic resource] : $b A Student's Guide to Mathematical Proofs / $c by Lito Perez Cruz.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XV, 133 p. 30 illus., 15 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Part I:The Basics -- Introduction -- Theorems and Proofs -- Types of Theorems -- Logical Foundations of Proofs -- Types of Proofs Techniques -- Part II: An Application -- Formal System for PL -- Formal System for FOL -- Part III: Advanced Topics -- You Do the Maths.
520 $a A compact and easily accessible book, it guides the reader in unravelling the apparent mysteries found in doing mathematical proofs. Simply written, it introduces the art and science of proving mathematical theorems and propositions and equips students with the skill required to tackle the task of proving mathematical assertions. Theoremus - A Student's Guide to Mathematical Proofs is divided into two parts. Part 1 provides a grounding in the notion of mathematical assertions, arguments and fallacies and Part 2, presents lessons learned in action by applying them into the study of logic itself. The book supplies plenty of examples and figures, gives some historical background on personalities that gave rise to the topic and provides reflective problems to try and solve. The author aims to provide the reader with the confidence to take a deep dive into some more advanced work in mathematics or logic.
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Mathematics of Computing. $3 669457
650 2 4 $a Mathematical Logic and Foundations. $3 669393
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030683740
776 0 8 $i Printed edition: $z 9783030683764
776 0 8 $i Printed edition: $z 9783030683771
856 4 0 $u https://doi.org/10.1007/978-3-030-68375-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)