Logic and Sets

 
Vakcode:
X_401090
Periode:
Periode 4
Credits:
6.0
Voertaal:
Engels
Faculteit:
Faculteit der Exacte Wetenschappen
Coördinator:
dr. W. Kager
Examinator:
dr. W. Kager
Docenten:
dr. W. Kager
Lesmethode(n):
Hoorcollege, Werkcollege, Deeltoets extra zaalcapaciteit
Niveau:
100

Doel vak

Introduction to the basic elements of logic and mathematics that are
instrumental in computer science.

Inhoud vak

Mathematical subjects covered in the course include: sets, relations,
orderings, equivalence relations, functions, mathematical induction. The
logic part focuses in the first place on propositional logic: truth
tables, boolean operators, functional completeness, logical puzzles,
SAT-solving, logic circuits. In addition the student will learn to use
formulas of predicate logic to express mathematical properties and
sentences from natural language.

Onderwijsvorm

Lectures and exercise sessions.

Toetsvorm

Two midterm exams and one written final exam.

Doelgroep

1CS, 1LI, 1IMM

© Copyright Vrije Universiteit Amsterdam
asnDCcreatorasvVUAmsterdam asnDCdateasv2016 asnstudyguideasvmodule asnDCidentifierasv50744399 asnDCtitleasvLogicandSets asnperiodasv140 asnperiodasv asncreditsasv6p0 asnvoertaalasvE asnfacultyasv50000044 asnDCcoverageasvdrWKager