logo-home
logo
  2. Universiteit Utrecht
  3. Logic For Computer Science (INFOB1LI)

Logic for Computer Science

Universiteit Utrecht (UU)

Here are the best resources to pass Logic for Computer Science. Find Logic for Computer Science study guides, notes, assignments, and much more.

Popular textbooks

Modelling Computing Systems

Modelling Computing Systems

Faron Moller, Georg Struth

8 documents

All 14 results

Sort by:

Summary everything from the course 'logic for computing science Summary everything from the course 'logic for computing science

  • Summary

    Summary everything from the course 'logic for computing science

  • -
    -
    1
    25
    December 2021
    2020/2021
  • This summary contains all the substance for the course of logic for computer science (informatica), from both the lectures and the book. The summary contains useful tables, for example, summarizing all the laws and all proofing strategies.
  • mmwaasdorp
    $10.94 More Info
Summary Logic for Computer Science (INFOB1LI) Summary Logic for Computer Science (INFOB1LI)

  • Summary

    Summary Logic for Computer Science (INFOB1LI)

  • Available in bundle
    -
    -
    4
    20
    September 2021
    2020/2021
    Available in bundle
  • All of the subjects discussed in the Logic for Computer Science (INFOB1LI) course, clearly summarized in a structured way. Based on lectures, lecture notes and the book Modelling Computing Systems - Mathematics for Computer Science (ISBN: 978-1-84800-321-7).
  • Suniht
    $10.45 More Info
Samenvattingen volledig 1e jaar Informatica

  • Package deal

    Samenvattingen volledig 1e jaar Informatica

  • -
    -
    -
    6
    September 2021
  • Samenvattingen van alle 6 vakken waar een samenvatting te gebruiken is van het eerste jaar Informatica op de UU.
  • Suniht
    $49.83 More Info
Summary 'logic' of the study of Computer Science, partly based on the book Modelling Computing Systems Summary 'logic' of the study of Computer Science, partly based on the book Modelling Computing Systems

  • Summary

    Summary 'logic' of the study of Computer Science, partly based on the book Modelling Computing Systems

  • -
    -
    1
    17
    May 2021
    2019/2020
  • Summary of the course “Logic for Computer Science” at Utrecht University, based on lectures and the book Modelling Computer Systems.
  • pactasuntservanda
    $6.76 More Info
Modelling Computing Systems Extra notities Faron Moller & Georg Struth

  • Summary

    Modelling Computing Systems Extra notities Faron Moller & Georg Struth

  • -
    -
    -
    6
    January 2021
    2020/2021
  • Logic for Computer Science/ Computer Technology Logic. Summary of the notes given by the teacher. This substance is tested next to the book Modelling Computing Systems for the exam. Given at Utrecht University.
  • luukvaa
    $4.30 More Info
Modelling Computing Systems Chapter 11 Faron Moller & Georg Struth Modelling Computing Systems Chapter 11 Faron Moller & Georg Struth

  • Summary

    Modelling Computing Systems Chapter 11 Faron Moller & Georg Struth

  • 1.0
    (1)
    1.0
    -
    5
    January 2021
    2020/2021
  • Logic for Computer Science/Logic for Computer Technology Chapter 11 Summary of the book Modelling Computing Systems written by Faron Moller and Georg Struth. Summary written in English. Using examples and pictures, the substance and theory are clarified. Given at Utrecht University.
  • luukvaa
    $4.30 More Info
Modelling Computing Systems Chapter 10 Faron Moller & Georg Struth Modelling Computing Systems Chapter 10 Faron Moller & Georg Struth

  • Summary

    Modelling Computing Systems Chapter 10 Faron Moller & Georg Struth

  • -
    -
    -
    7
    January 2021
    2020/2021
  • Logic for Computer Science/Logic for Computer Technology Chapter 10 Summary of the book Modelling Computing Systems written by Faron Moller and Georg Struth. Summary written in English. Using examples and pictures, the substance and theory are clarified. Given at Utrecht University.
  • luukvaa
    $4.30 More Info
Modelling Computing Systems Chapter 8 Faron Moller & Georg Struth Modelling Computing Systems Chapter 8 Faron Moller & Georg Struth

  • Summary

    Modelling Computing Systems Chapter 8 Faron Moller & Georg Struth

  • 3.0
    (1)
    3.0
    -
    7
    December 2020
    2020/2021
  • Logic for Computer Science/Logic for Computer Technology Chapter 8 Summary of the book Modelling Computing Systems written by Faron Moller and Georg Struth. Summary written in English. Using examples and pictures, the substance and theory are clarified. Given at Utrecht University.
  • luukvaa
    $4.30 More Info
Modelling Computing Systems Chapter 6 Faron Moller & Georg Struth Modelling Computing Systems Chapter 6 Faron Moller & Georg Struth

  • Summary

    Modelling Computing Systems Chapter 6 Faron Moller & Georg Struth

  • -
    -
    -
    7
    December 2020
    2020/2021
  • Logic for Computer Science/Logic for Computer Technology Chapter 6 Summary of the book Modelling Computing Systems written by Faron Moller and Georg Struth. Summary written in English. Using examples and pictures, the substance and theory are clarified. Given at Utrecht University.
  • luukvaa
    $4.30 More Info
Want to regain your expenses?
How much did you already spend on Stuvia? Imagine there are plenty more of you out there paying for study notes, but this time YOU are the seller. Ka-ching!
Learn more Get started