| 000 -LEADER |
|---|
| fixed length control field |
03098nam a22003137a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250526091605.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
250408b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781774698303 [hardbound] |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
University of Cebu-Banilad |
| Transcribing agency |
University of Cebu-Banilad |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Discrete mathematics for computer science / |
| Statement of responsibility, etc |
edited by Prof. Pomde N.P. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Burlington, ON : |
| Name of publisher, distributor, etc |
Arcler Press, |
| Date of publication, distribution, etc |
c2024. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
ix, 223 pages : |
| Other physical details |
color illustrations ; |
| 336 ## - CONTENT TYPE |
|---|
| Source |
rdacontent |
| Content type term |
text |
| 337 ## - MEDIA TYPE |
|---|
| Source |
rdamedia |
| Media type term |
unmediated |
| 338 ## - CARRIER TYPE |
|---|
| Source |
rdacarrier |
| Carrier type |
volume |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Contents: Chapter 1 Mathematical logic and proofs -- Chapter 2 Basic mathematics on the real numbers -- Chapter 3 Fundamental mathematical objects -- Chapter 4 Modular arithmetic and polynomials -- Chapter 5 Mathematical functions -- Chapter 6 Linear algebra in mathematics -- Chapter 7 Mathematical graphs -- Chapter 8 Mathematical counting and combinatorics -- Chapter 9 Discrete probability in mathematics -- Chapter 10 Recurrence relations. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
"This book discusses the role of proofs in mathematics and computer science. In mathematics, a proof involves validating a proposition through logical deductions from axioms. Computer scientists focus on demonstrating program accuracy, given the increasing error susceptibility of software. A community of specialists aims to enhance program precision, extending to verifying computer processor chips for leading manufacturers. Creating mathematical models to affirm program validity is an active study area. A proof, in this context, involves a sequence of logical deductions from axioms and established statements, leading to the desired proposition. While crafting proofs may seem daunting, standard templates offer a framework. Some templates can be interconnected, providing both high-level structure and detailed guidance. The Principle of Mathematical Induction is applied to validate algorithms without computer reliance. Sets underpin modern mathematics and software engineering, introduced with language and typical tasks. Primary set operations' understanding enables proof techniques for functions, relations, and graphs, validating algorithms for specific tasks. The book delves into language describing element collections and sets, providing proof templates for comprehension and construction. The book covers common set operations, introduces additional proof templates, and addresses numbering elements and the Principle of Mathematical Induction. This exploration deepens the understanding of mathematical proofs and their role in computer science applications." --Provided by the publisher |
| 521 ## - TARGET AUDIENCE NOTE |
|---|
| Target audience note |
Adult |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Deans/Chairperson |
Brigoli, Darlyne |
| Department |
College of Computer Engineering |
| Subject Category |
Computer Engineering |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
Text in English |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
N.P, Pomde, |
| Relator term |
editor. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Type of record |
Book |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| Encoded by |
adryann[new] |
| Date encoded |
04/08/2025 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| Encoded by |
Janna [edited] |
| Date encoded |
04/10/2025 |
