Delftse foundations of computation
Record details
-
Physical Description:
1 online resources (ix, 175 pages) : illustrations (some colour)
remote - Edition: First TU Delft edition (TUD-1.1, August 2019).
- Publisher: Delft, The Netherlands : Delft University of Technology, 2019.
- Distributor: [Victoria] : BCcampus
Content descriptions
Bibliography, etc. Note: | Includes bibliographical references (page 157) and index. |
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. |
Information Relating to Copyright Status: | This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License. |
Source of Description Note: | This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license. Description based on online resource; title from pdf title page (viewed March 4, 2020). |
Search for related items by subject
Subject: | Computer science |