000			02997nam a2200433Ii 4500
001			bcotR000333
003			OCoLC
005			20210215102219.0
006			m u
007			cr cn|---uuuuu
008			200304s2019 ne a ob 001 0 eng d
035			_a(OCoLC)1143007127
040			_aK6U _beng _erda _cK6U
050		4	_aQA76 _b.H84 2019eb
100	1		_aHugtenburg, Stefan, _eauthor.
245	1	0	_aDelftse foundations of computation / _cStefan Hugtenburg and Neil Yorke-Smith.
250			_aFirst TU Delft edition (TUD-1.1, August 2019).
264		1	_bDelft University of Technology,
264		2	_bBCcampus, BC Open Textbook Project
300			_a1 online resources (ix, 175 pages) : _billustrations (some colour)
500			_aThis work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License.
500			_aThis bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license.
504			_aIncludes bibliographical references (page 157) and index.
505	0		_a1. 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			_a"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			_aDescription based on online resource; title from pdf title page (viewed March 4, 2020).
650		0	_aComputer science.
655		0	_aElectronic books.
700	1		_aYorke-Smith, Neil, _eauthor.
710	2		_aTechnische Universiteit Delft, _eissuing body.
710	2		_aBC Open Textbook Project, _edistributor.
710	2		_aBCcampus.
856	4	0	_3BC Open Textbook Project title homepage. _uhttps://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=888056f9-d689-4879-846a-6a0baae511ba&contributor=&keyword=&subject=
856	4	0	_3BC Open Textbook Project. _uhttp://solr.bccampus.ca:8001/bcc/file/888056f9-d689-4879-846a-6a0baae511ba/1/OTB245-01-Delftse-Foundations-of-Computation.pdf
999			_c28470 _d28470