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

Q: Please give a short overview over the lecture.

Calculi

Q: Why do we need calculi.

Q: Please explain the following properties: Soundness, Correctness, Completenes,…

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

exam.1304616632.txt.gz · Last modified: 2011/05/05 19:30 by 178.26.58.169