User Tools

Site Tools


exam

This is an old revision of the document!


Table of Contents

Exam Questions

The idea of this page is to collect questions which might be asked in the exams. Whenever you review the slides or work on exercises, just put anything here which might be asked.

I guess it will be most easy for the moderating group to put questions about the topic they present here, too.

Please try to maintain categories of useful size, so each gets its own edit button.

General

:?: Please give a short overview over the lecture.

:?: What's the most important thing that needs to be proven when defining types in a HOL theory ?

  • Proof that the newly introduced term of type has at least one element inside. Formally

:?: Why is it important that the new types defined in HOL are non-empty?

  • (need help here)

:?: How are the elements True and False introduced in HOL?

  • Since there should always be an infinite set in U whose elements and power sets are also fully contained in U, there's a guarantee that there will be a set with two elements and that set is going to represent the values True and False 1)

Calculi

:?: Why do we need calculi.

:?: Please explain the following properties: Soundness (Correctness), Completeness, …

:?: What are the advantages/disadvantages of the Hilbert calculus compared to the Gentzen calculus.

1)
Did I miss something?
exam.1305643674.txt.gz · Last modified: 2011/05/17 16:47 by 188.107.132.144