| 청구기호 |
QA76.9.M35 |
| 판사항 |
1st ed. 2021.
|
| 형태사항 |
XVI, 336 p. 169 illus. online resource.
|
| 총서명 |
Undergraduate Topics in Computer Science, 2197-1781
|
| 언어 |
English |
| 내용 |
Preface -- Part I: Fundamentals of Discrete Mathematics -- Logic -- Proofs -- Algorithms -- Set Theory -- Relations and Functions -- Sequences, Induction and Recursion -- Introduction to Number Theory -- Counting and Probability -- Boolean Algebra and Combinational Circuits -- Introduction to the Theory of Computation -- Part II: Graph Theory -- Introduction to Graphs -- Trees and Traversals -- Subgraphs -- Connectivity, Network Flows and Shortest Paths -- Graph Applications -- A: -- Pseudocode Conventions -- Index.
|
| 주제 |
Computer science—Mathematics.
Discrete mathematics.
Graph theory.
Engineering mathematics.
Machine theory.
Proof theory.
Discrete Mathematics in Computer Science.
Graph Theory.
Engineering Mathematics.
Formal Languages and Automata Theory.
Proof Theory and Constructive Mathematics.
|
| 보유판 및 특별호 저록 |
Springer Nature eBook
Printed edition: 9783030611149
Printed edition: 9783030611163
|
| ISBN |
9783030611156 |
| 기타 표준번호 |
10.1007/978-3-030-61115-6 |
| QR CODE |
|
