MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02997nam a2200433Ii 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
bcotR000333 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210215102219.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m u |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn|---uuuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
200304s2019 ne a ob 001 0 eng d |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1143007127 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
K6U |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
K6U |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76 |
| Item number |
.H84 2019eb |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hugtenburg, Stefan, |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Delftse foundations of computation / |
| Statement of responsibility, etc. |
Stefan Hugtenburg and Neil Yorke-Smith. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
First TU Delft edition (TUD-1.1, August 2019). |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
Delft University of Technology, |
| 264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
BCcampus, BC Open Textbook Project |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resources (ix, 175 pages) : |
| Other physical details |
illustrations (some colour) |
| 500 ## - GENERAL NOTE |
|---|
| General note |
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references (page 157) and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1. Introduction -- 2. Logic. Propositional logic ; Boolean algebra ; Application: logic circuits ; Predicate logic ; Deduction -- 3. Proof. A little historical background ; Mathematical proof ; Proof by contradiction ; Mathematical induction ; Strong mathematical induction ; Application: recursion and induction ; Recursive definitions ; Invariants -- 4. Sets, Functions, and Relations. Basic concepts ; The Boolean algebra of sets ; Application: Programming with sets ; Functions ; Application: programming with functions ; Counting past infinity ; Relations ; Application: relational databases -- 5. Looking Beyond. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"Delftse Foundations of Computation is a textbook for an introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming"--BCcampus website. |
| 588 ## - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Description based on online resource; title from pdf title page (viewed March 4, 2020). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer science. |
| 655 #0 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Yorke-Smith, Neil, |
| Relator term |
author. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
Technische Universiteit Delft, |
| Relator term |
issuing body. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
BC Open Textbook Project, |
| Relator term |
distributor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
BCcampus. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
BC Open Textbook Project title homepage. |
| Uniform Resource Identifier |
<a href="https://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=888056f9-d689-4879-846a-6a0baae511ba&contributor=&keyword=&subject=">https://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=888056f9-d689-4879-846a-6a0baae511ba&contributor=&keyword=&subject=</a> |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
BC Open Textbook Project. |
| Uniform Resource Identifier |
<a href="http://solr.bccampus.ca:8001/bcc/file/888056f9-d689-4879-846a-6a0baae511ba/1/OTB245-01-Delftse-Foundations-of-Computation.pdf">http://solr.bccampus.ca:8001/bcc/file/888056f9-d689-4879-846a-6a0baae511ba/1/OTB245-01-Delftse-Foundations-of-Computation.pdf</a> |
