Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Sets, Logic and Maths for Computing [[electronic resource] /] / by David Makinson
| Sets, Logic and Maths for Computing [[electronic resource] /] / by David Makinson |
| Autore | Makinson David |
| Edizione | [3rd ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (408 pages) |
| Disciplina | 004.0151 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Computer science—Mathematics
Mathematical logic Computer mathematics Discrete mathematics Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Computational Science and Engineering Discrete Mathematics Mathematical Logic and Foundations |
| ISBN | 3-030-42218-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Sets -- Collecting Things Together: Sets -- Comparing Things: Relations -- Associating One Item with Another: Functions -- Recycling Outputs as Inputs: Induction and Recursion -- Part II: Math -- Counting Things: Combinatorics -- Weighing the Odds: Probability -- Squirrel Math: Trees -- Part III: Logic -- Yea and Nay: Propositional Logic -- Something about Everything: Quantificational Logic -- Just Supposing: Proof and Consequence -- Sticking to the Point: Relevance in Logic. |
| Record Nr. | UNISA-996465468503316 |
Makinson David
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Sets, Logic and Maths for Computing / / by David Makinson
| Sets, Logic and Maths for Computing / / by David Makinson |
| Autore | Makinson David <1941-> |
| Edizione | [3rd ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (408 pages) |
| Disciplina | 004.0151 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Machine theory Mathematics - Data processing Logic, Symbolic and mathematical Discrete Mathematics in Computer Science Formal Languages and Automata Theory Computational Science and Engineering Discrete Mathematics Mathematical Logic and Foundations |
| ISBN | 3-030-42218-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Sets -- Collecting Things Together: Sets -- Comparing Things: Relations -- Associating One Item with Another: Functions -- Recycling Outputs as Inputs: Induction and Recursion -- Part II: Math -- Counting Things: Combinatorics -- Weighing the Odds: Probability -- Squirrel Math: Trees -- Part III: Logic -- Yea and Nay: Propositional Logic -- Something about Everything: Quantificational Logic -- Just Supposing: Proof and Consequence -- Sticking to the Point: Relevance in Logic. |
| Record Nr. | UNINA-9910409668503321 |
|
Makinson David <1941->
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||