Delftse Foundations of Computation (Record no. 20007)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01652nam a2200361 4500 |
| 001 - CONTROL NUMBER | |
| control field | OTLid0000644 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MnU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20201105133349.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d s |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 181202s2018 mnu o 0 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MnU |
| Language of cataloging | eng |
| Transcribing agency | MnU |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Hugtenburg, Stefan |
| Relator term | author |
| 245 00 - TITLE STATEMENT | |
| Title | Delftse Foundations of Computation |
| Statement of responsibility, etc. | Stefan Hugtenburg |
| 264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Name of producer, publisher, distributor, manufacturer | Open Textbook Library |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Name of producer, publisher, distributor, manufacturer | TU Delft Open |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource |
| 490 0# - SERIES STATEMENT | |
| Series statement | Open textbook library. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Chapter 1: Introduction -- Chapter 2: Logic -- Chapter 3: Proof -- Chapter 4: Sets, Functions, and Relations -- Chapter 5: Looking Beyond |
| 520 0# - SUMMARY, ETC. | |
| Summary, etc. | Delftse Foundations of Computation is a textbook for a one quarter 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. |
| 542 1# - INFORMATION RELATING TO COPYRIGHT STATUS | |
| Copyright statement | Attribution-NonCommercial-ShareAlike |
| 546 ## - LANGUAGE NOTE | |
| Language note | In English. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on online resource |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer Science |
| Form subdivision | Textbooks |
| 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 | Open Textbook Library |
| Relator term | distributor |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://open.umn.edu/opentextbooks/textbooks/644">https://open.umn.edu/opentextbooks/textbooks/644</a> |
| Public note | Access online version |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Shelving location | Date acquired | Total Checkouts | Full call number | Date last seen | Uniform Resource Identifier | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Digital Library | Online Access | 05.11.2020 | QA76 | 05.11.2020 | https://open.umn.edu/opentextbooks/textbooks/644 | 05.11.2020 | eBook |