LEADER 00000nam  2200445Ii 4500 
001    bcotR000333 
003    OCoLC 
005    20200401154447.0 
006    m        u         
007    cr cn|---uuuuu 
008    200304s2019    ne a    ob    001 0 eng d 
035    (OCoLC)1143007127 
040    K6U|beng|erda|cK6U 
050  4 QA76|b.H84 2019eb 
100 1  Hugtenburg, Stefan,|eauthor. 
245 10 Delftse foundations of computation /|cStefan Hugtenburg 
       and Neil Yorke-Smith. 
250    First TU Delft edition (TUD-1.1, August 2019). 
264  1 Delft, The Netherlands :|bDelft University of Technology,
       |c2019. 
264  2 [Victoria] :|bBCcampus, BC Open Textbook Project. 
300    1 online resources (ix, 175 pages) :|billustrations (some 
       colour) 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
504    Includes bibliographical references (page 157) and index. 
505 0  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    "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. 
542    |fThis work is licensed under the Creative Commons 
       Attribution-NonCommercial-ShareAlike License. 
588    This bibliographic record is available under the Creative 
       Commons CC0 "No Rights Reserved" license. 
588    Description based on online resource; title from pdf title
       page (viewed March 4, 2020). 
650  0 Computer science. 
655  0 Electronic books. 
700 1  Yorke-Smith, Neil,|eauthor. 
710 2  Technische Universiteit Delft,|eissuing body. 
710 2  BC Open Textbook Project,|edistributor. 
710 2  BCcampus. 
914    bcotR000333