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
6 months ago
.vscode VS Code settings 6 months ago
1_propositional_logic fixed another typo for included question 8 months ago
2_natural_deduction_prop_logic Flipped a statement for practical set one 8 months ago
3_equivalence_checking added chapter three source 8 months ago
4_sat_solvers added solutions for chapter4 (ass2) 7 months ago
5_bdds release solutions for assignment 3 7 months ago
6_predicate_logic renamed files to fit chapter number 7 months ago
7_natural_deduction_fol added chapter 7 7 months ago
8_symbolic_encoding adding chapter eight 6 months ago
9_smt added source files for chapter 9 6 months ago
util added chapter nine 6 months ago
.drone.yml compile and release chapter nine 6 months ago
.gitignore init gitignore 9 months ago
Makefile added scripts for compiling 9 months ago
README.md Fork notice 6 months ago
compile compile and release chapter nine 6 months ago
main.tex One line to compile them all 6 months ago
no_solution.tex init base latex source 9 months ago
simple.tex added simple wrapper for testing 9 months ago
solution_boilerplate.tex init base latex source 9 months ago

README.md

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.

Building

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 https://git.pranger.xyz/sp/LAC-Questionnaire.git

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:

./compile

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>
Flags:
 -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.

Contributing

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.

\mcquestion{question}
           {question_file_with_solutions} <-- your file name goes here
\question{question}
         {solution} <-- your file name goes here
         {Xcm}

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.