Delftse Foundations of Computation

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 co...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteurs: Hugtenburg, Stefan (Auteur), Yorke-Smith, Neil (Auteur)
Formaat: Elektronisch E-boek
Taal:Engels
Gepubliceerd in: [Place of publication not identified] TU Delft Open [2018]
Editie:2nd Edition
Reeks:Open textbook library.
Onderwerpen:
Online toegang:Access online version
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Inhoudsopgave:
  • 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