Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Jongsma, Calvin
|
| Titolo: |
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
|
| Pubblicazione: | Cham, : Springer, 2019 |
| Titolo uniforme: | Introduction to Discrete Mathematics via Logic and Proof |
| Descrizione fisica: | xx, 482 p. : ill. ; 24 cm |
| Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
| 05-XX - Combinatorics [MSC 2020] | |
| 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] | |
| 05Cxx - Graph theory [MSC 2020] | |
| 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] | |
| 03Bxx - General logic [MSC 2020] | |
| 06E30 - Boolean functions [MSC 2020] | |
| Soggetto non controllato: | Boolean algebra |
| Mathematical induction | |
| Peano arithmetic | |
| Predicate logic | |
| Propositional logic | |
| Sentential logic | |
| Set Theory | |
| Titolo autorizzato: | Introduction to Discrete Mathematics via Logic and Proof |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0126931 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-3-030-25358-5 |
| Opac: | Controlla la disponibilità qui |
Serie:
Undergraduate texts in mathematics Berlin [etc.] . -Springer