Delftse Foundations of Computation (Record no. 38866)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02731nam a2200385 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | OTLid0000644 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MnU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20241120064018.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m o d s |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr |
| 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 | 9789463665988 |
| 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 |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd Edition |
| 264 #2 - | |
| -- | Minneapolis, MN |
| -- | Open Textbook Library |
| 264 #1 - | |
| -- | [Place of publication not identified] |
| -- | TU Delft Open |
| -- | [2018] |
| 264 #4 - | |
| -- | ©2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 490 0# - SERIES STATEMENT | |
| Series statement | Open textbook library. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Chapter 1: Introduction and Learning Objectives -- Chapter 2: Logic -- Chapter 3: Proof -- Chapter 4: Sets, Functions, and Relations -- Chapter 5: Looking Beyond -- Selected Solutions -- Further Reading -- Index |
| 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 top-ics from propositional and predicate logic, proof techniques, discrete structures, 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. This book is derived from Foundations of Computation by Carol Critchlow and David Eck, Version 2.3 (Summer 2011), which is licensed under CC BYNC-SA 4.0. Critchlow and Eck are not associated with the TU Delft editions. This book also uses some material from Wikipedia (English) (en.wikipedia. org), which is licensed under CC BY-SA 3.0. The authors of the TU Delft editions are responsible for any errors, and welcome bug reports and suggestions by email or in person. Thanks to M. de Jong, T. Klos, I. van Kreveld, F. Mulder, H. Tonino, E. Walraven, and all students who reported bugs or provided exercise solutions. This work can be redistributed in unmodified form, or in modified form with proper attribution and under the same licence as the original, for noncommercial uses only, as specified by the Creative Commons Attribution-Noncommercial-ShareAlike 4.0 Licence (creativecommons.org/licenses/by-ncsa/4.0/). |
| 542 1# - | |
| -- | Attribution-NonCommercial-ShareAlike |
| 546 ## - LANGUAGE NOTE | |
| Language note | In English. |
| 588 0# - | |
| -- | Description based on online resource |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as 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 |
No items available.