Information on the course

Applied Logic (2ITX0)


This is the information about the 5ects elective course Applied Logic 2ITX0.

The course grew out from the earlier course 2IS80 Fundamentals of Informatics. As it has a big overlap with 2IS80, it is not allowed to have 2IS80 and 2ITX0 in the same program.

The lecturers are


Goals:
In this course, you learn

Required background for this course is Logic and Set Theory, and some programming skills.

Course format:
The format of the course consists of three ingredients: Assessment:
The course is concluded by a written examination that counts for 55 %. It is a 'closed book' examination: on this examination using books and/or notes is not allowed. The grade for this examination should be at least 5 in order to pass for the course.
The material for the examination consists of the sets of slides provided below

Apart from that there are three assignments that should be handed in electronically by every student individually, and count for 15 % each. The deadlines for these assignments are November 29, December 13 and January 10.

To download:

general course introduction.

slides on SAT/SMT.

Exercises: Practice set 1.

syllabus of Fundamentals of Informatics, from which Chapter 4 covers the material on Information Theory.

slides on program correctness.


Lectures and topics:

date lecturer topic material
Wednesday, November 13 Hans Zantema Introduction, SAT solving
Friday, November 15 Hans Zantema SAT/SMT solving
Wednesday, November 20 Hans Zantema SAT/SMT solving
Friday, November 22 Hans Zantema SAT/SMT solving
Wednesday, November 27 Tom Verhoeff Information Theory
Friday, November 29 Tom Verhoeff Information Theory
Wednesday, December 4 Tom Verhoeff Information Theory
Friday, December 6 Tom Verhoeff Information Theory
Wednesday, December 11 Hans Zantema Program Correctness
Friday, December 13 Hans Zantema Program Correctness
Wednesday, December 18 Hans Zantema Program Correctness
Friday, December 20 Hans Zantema Program Correctness
Wednesday, January 8 Course recapitulation




Last change: November 7, 2019