You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Bernd Günter Lafer ac80bc648a
Fork notice
10 months ago
.vscode VS Code settings 10 months ago
1_propositional_logic fixed another typo for included question 1 year ago
2_natural_deduction_prop_logic Flipped a statement for practical set one 1 year ago
3_equivalence_checking added chapter three source 1 year ago
4_sat_solvers added solutions for chapter4 (ass2) 11 months ago
5_bdds release solutions for assignment 3 11 months ago
6_predicate_logic renamed files to fit chapter number 11 months ago
7_natural_deduction_fol added chapter 7 11 months ago
8_symbolic_encoding adding chapter eight 11 months ago
9_smt added source files for chapter 9 10 months ago
util added chapter nine 10 months ago
.drone.yml compile and release chapter nine 10 months ago
.gitignore init gitignore 1 year ago
Makefile added scripts for compiling 1 year ago Fork notice 10 months ago
compile compile and release chapter nine 10 months ago
main.tex One line to compile them all 10 months ago
no_solution.tex init base latex source 1 year ago
simple.tex added simple wrapper for testing 1 year ago
solution_boilerplate.tex init base latex source 1 year ago

Questionnaire for Logic and Computability

This fork is modified to always compile the entire PDF.
Please send your submissions to upstream.

! Version SS22 !

How to use this questionnaire

This questionnaire should help you study for the final lecture exam for Logic and Computability. It comes in three different fashions:

  • The basic questionnaire with the list of possible questions for the exam,
  • the same questionnaire with additional space to fill in your solutions with a pen and
  • the questions with all currently available solutions.

The questionnaire comes with three different tags for each question:

  • [Lecture]: Questions that will be solved during the lecture on Friday. Solutions will be provided by us after the lecture.
  • [Practical]: Questions part of the assignments of the practicals. Solutions will be provided by us after the corresponding practicals.
  • [Self-Assessement]: Questions for self-assessment.

We allow and encourage you to discuss and post solutions for the [Self-Assessement]-questions. We will carry together all of the solutions such that you will have a rich set of questions and solutions for your studies at the end of the semester.

You can find the current version of the questionnaire in the Releases tab of this repository.


You do not need to build the questionnaire locally. All versions will be released here.

In case you want to contribute or adapt the questionnaire to you liking you first have to clone this repository:

git clone

Install the dependencies:

sudo apt-get install latexmk texlive-luatex texlive-latex-recommended

This is currently not exhaustive, i.e. there might be other packages needed.

Feel free to open a PR with dependencies for other distros.

The whole questionnaire can now be built using the shipped shell script:


We support different <version>s: 'blank', solution, spacing and all. Compiling with the -b option will burst all sections into individual files. This respects the version you may define.

Run ./compile -h to print the help message:

A shell wrapper for this questionnaire using latexmk.
Currently this wrapper supports compiling of the whole script and a burst mode,
as well as three different <version>s: 'blank', solution, spacing and all which will compile all three in one run.

Usage: ./compile <flags> <version>
 -b     Compile in burst mode, i.e. each chapter into a individual file.
 -d     Print LuaLaTeX output to terminal.
 -h     Print this help message and exit.


If you want to contribute your solutions for questions tagged with [Self-Assessement] you are very welcome to open a pull request or send us your solution files via email.

A handy way to split up LaTeX source code is to use the \input{...} statement.

For a simple way to compile your solutions while writing them up, we have provided a separate LaTeX main file called simple.tex which uses the same packages as the main file for the questionnaire. In order to only compile your solution put them into a separate my_solution.tex file and compile them with lualatex simple.

Note that every solution needs to have its own solution file. If you want to contribute using a PR please stick to the naming convention, i.e. suffix a _sol to the question you're answering in that file. E.g.:

X_chapter/theory_questions/1_1_topic_self will have its solution in X_chapter/theory_questions/1_1_topic_self_sol.

           {question_file_with_solutions} <-- your file name goes here
         {solution} <-- your file name goes here

If you send us your solutions we will take care of that. Please be sure to name the input files according to the question you have answered.