Delftse Foundations of Computation

Show simple item record

dc.contributor.author	Hugtenburg, Stefan
dc.contributor.author	Yorke-Smith, Neil
dc.date.accessioned	2019-06-13T05:52:13Z
dc.date.available	2019-06-13T05:52:13Z
dc.date.issued	2018
dc.identifier.isbn	9789463660839
dc.identifier.uri	http://oer.just.edu.jo/xmlui/handle/123456789/266
dc.identifier.uri	https://open.umn.edu/opentextbooks/textbooks/delftse-foundations-of-computation
dc.description	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. Authors Stefan Hugtenburg holds a MSc in Computer Science from the Delft University of Technology, where he now teaches in the undergraduate Computer Science and Engineering programme. He is involved in all courses of the Algorithmics track in the curriculum, starting with this book and the course Reasoning & Logic, up until the final year course Complexity Theory. Neil Yorke-Smith is an Associate Professor of Algorithmics in the Faculty of Electrical Engineering, Mathematics and Computer Science at the Delft University of Technology. His research focuses on intelligent decision making in complex socio-technical situations, with a particular current interest in agent-based methodologies and behavioural factors in automated planning and scheduling. He teaches Reasoning & Logic and graduate courses in Artificial Intelligence.	en_US
dc.language.iso	en_US	en_US
dc.publisher	TU Delft Open	en_US
dc.rights	Attribution-NonCommercial-ShareAlike 4.0 International	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-sa/4.0/	*
dc.title	Delftse Foundations of Computation	en_US
dc.type	Book	en_US