Can I read A Mathematical Foundation for Computer Science on EtoBox?

A Mathematical Foundation for Computer Science by David Mix Barrington is a nonfiction available to read on EtoBox.

What is A Mathematical Foundation for Computer Science about?

Chapter 1: Sets, Propositions, and Predicates 1.1 Sets 1.2 Strings and String Operations 1.3 Excursion: What is a Proof? 1.4 Propositions and Boolean Operations 1.5 Set Operations and Propositions About Sets 1.6 Truth-Table Proofs 1. 7 Rules for Propositional Proofs 1.8 Propositional Proof Strategies 1. 9 Excursion: A Murder Mystery 1.10 Predicates 1.11 Excursion: Translating Predicates Chapter 2: Quantifiers and Predicate Calculus 2.1 Relations 2.2 Excursion: Relational Databases 2.3 Quantifiers 2.4 Excursion: Translating Quantifiers 2.5 Operations on Languages 2.6 Proofs With Quantifiers 2 .7 Excursion: Practicing Proofs 2.8 Properties of Binary Relations 2.9 Functions 2.10 Partial Orders 2.11 Equivalence Relations Chapter 3: Number Theory 3.1 Divisibility and Primes 3.2 Excursion: Playing With Numbers 3.3 Modular Arithmetic 3.4 There are Infinitely Many Primes 3.5 The Chinese Remainder Theorem 3.6 The Fundamental Theorem of Arithmetic 3.7 Excursion: Expressing Predicates in Number Theory 3.8 The Ring of Congruence Classes 3.9 Finite Fields and Modular Exponentiation 3.10 Excursion: Certificates of Primality 3 .11 The RSA Cryptosystem Chapter 4: Recursion and Proof by Induction 4

Who reads A Mathematical Foundation for Computer Science?

Author

David Mix Barrington

Publisher

Kendall Hunt Publishing Company

Published

2019

Language

EN

ISBN

9781792437601

Category

nonfiction