Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography

Ana sayfa
Matematik
Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography

Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography

Yazar	: Yves Nievergelt
Yayınevi	: Birkhäuser
ISBN	: 9780817642495
Baskı yılı	: 2001
Sayfa sayısı	: 436
Ağırlık	: 0.95 kg
Edisyon	: 1
Stok durumu	: Var Stok detayları
Kargoya teslim	: Aynı gün kargo

This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a substantial impact on everyday life (loans and mortgages, bar codes, public-key cryptography). A first college-level introduction to logic, proofs, sets, number theory, and graph theory, and an excellent self-study reference and resource for instructors.

	Preface
	Outline
A	Theory	1
	Boolean Algebraic Logic	3
	Logical Formulae	5
	Logical Truth and Connectives	14
	Tautologies and Contradictions	21
	Other Methods of Proof	32
	Synthesis of Logical Formulae	36
	Other Connectives and Applications	41
	Synthesis by Karnaugh Tables	46
	An Application to Circuits	52
	Projects	53
	Logic and Deductive Reasoning	55
	Propositional Calculus	56
	Classical Implicational Calculus	62
	Proofs by Contraposition	67
	Other Connectives	71
	Other Forms of Deductive Reasoning	78
	Predicate Calculus	82
	Inference with Quantifiers	88
	Further Issues in Logic	96
	Projects	96
	Set Theory	97
	Sets and Subsets	98
	Pairing, Power, and Separation	104
	Unions and Intersections of Sets	110
	Cartesian Products and Relations	124
	Mathematical Functions	134
	Composite and Inverse Functions	142
	Equivalence Relations	147
	More...

Axess
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	415.00 TL
2 ay	214.76 TL	429.53 TL
3 ay	145.94 TL	437.83 TL
6 ay	77.81 TL	466.88 TL
9 ay	55.33 TL	498.00 TL
12 ay	44.79 TL	537.43 TL

cardFinans
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	415.00 TL
2 ay	214.76 TL	429.53 TL
3 ay	145.94 TL	437.83 TL
6 ay	77.81 TL	466.88 TL
9 ay	55.33 TL	498.00 TL
12 ay	44.79 TL	537.43 TL

Bonus
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	415.00 TL
2 ay	214.76 TL	429.53 TL
3 ay	145.94 TL	437.83 TL
6 ay	77.81 TL	466.88 TL
9 ay	55.33 TL	498.00 TL
12 ay	44.79 TL	537.43 TL

World
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	415.00 TL
2 ay	214.76 TL	429.53 TL
3 ay	145.94 TL	437.83 TL
6 ay	77.81 TL	466.88 TL
9 ay	55.33 TL	498.00 TL
12 ay	44.79 TL	537.43 TL

Maximum
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	415.00 TL
2 ay	214.76 TL	429.53 TL
3 ay	145.94 TL	437.83 TL
6 ay	77.81 TL	466.88 TL
9 ay	55.33 TL	498.00 TL
12 ay	44.79 TL	537.43 TL

Paraf
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	415.00 TL
2 ay	214.76 TL	429.53 TL
3 ay	145.94 TL	437.83 TL
6 ay	77.81 TL	466.88 TL
9 ay	55.33 TL	498.00 TL
12 ay	44.79 TL	537.43 TL